Sie sind auf Seite 1von 5

raz cuadrada de x.

La matemtica se apoya en un lenguaje simblico formal, la notacin


matemtica, que sigue una serie de convenciones propias. Los
smbolos representan un concepto, una relacin una operacin, o
una frmula matemtica segn ciertas reglas. Estos smbolos no
deben considerarse abreviaturas, sino entidades con valor propio y
autnomo.
Algunos principios bsicos son:

Los smbolos de una letra se representan en letra cursiva: , etc.


Los smbolos de varias letras se representan en letra redonda: ,
etc.; en lugar de no debe escribirse , porque eso representara el
producto en lugar del logaritmo neperiano.

Segn la norma ISO 31 los operadores diferenciales y las


constantes matemticas universales (), tambin se escriben con letra
redonda: .[1]

ndice

Teora de conjuntosEditar
Artculos principales: Teora de conjuntos y lgebra.
Sean un elemento y conjuntos
Relaci
Notacin Se lee
n
pertenenci
x pertenece a A
a
inclusin A est contenido en B
A est contenido en B o es
igual que B
inclusin A contiene a B
A contiene a B o es igual
que B
Una barra cruzada sobre el smbolo niega el enunciado; por
ejemplo es "x no pertenece a A";
Conjuntos numricosEditar
La siguiente tabla recoge algunos ejemplos de smbolos que
utilizan blackboard bold. Se muestra el smbolo creado con LaTeX, el
carcter Unicode equivalente (podra no ser visible dependiendo del
navegador y los tipos de letra disponibles), y su significado habitual
en matemticas:

TeX Unicode Uso en matemticas

Nmeros

complejos
Cuaterniones
Nmeros

naturales
Nmeros primos
Nmeros

racionales
Nmeros reales
Esfera
Nmeros enteros
Conjuntos numricos especialesEditar
ExpresionesEditar
Relacin Notacin Se lee
igualdad x es igual a y
menor
x es menor que y
que
mayor que x es mayor que y
aproxima x es aproximadamente
do igual a y

Cuantificador Notacin Se lee

cuantificador para
universal todo x
Existe
cuantificador por lo
existencial menos
un x
cuantificador Existe
existencial con un nico
marca de unicidad x
x, tal
tal que o bien
que y
x, por lo
por lo tanto
tanto y
Ejemplo:

Teorema de Weierstrass:

"Sea f una funcin real continua en un intervalo real cerrado y


acotado [a, b], donde a es estrictamente menor que b.

Se tiene que:

La funcin f est acotada.

La funcin f alcanza un mximo y un mnimo en dicho intervalo,


no necesariamente nicos."

Este teorema se puede expresar con notacin matemtica de la


siguiente forma:

" ".
Lgica proposicional, lgebra de
BooleEditar
Artculos principales: Clculo lgico y Conectiva lgica.
Operadores bsicosEditar
Los operadores lgicos ms bsicos son la conjuncin,
la disyuncin, y la negacin.
Sean y dos proposiciones

Operacin Notacin Se lee

Negacin no 'p'

Conjuncin 'p' y 'q'


Disyuncin 'p' o 'q'
Los operadores bsicos se usan para formar declaraciones
atmicas. Las declaraciones atmicas dicen cual combinacin de pp
y qq es verdad.
ImplicacinEditar
Una combinacin muy til de los operadores matemticos es
la implicacin. Se escribe o como abreviatura de . La declaracin
" implica " es falsa siempre que sea verdad pero no necesariamente .
Si y , se escribe , que se lee " implica y es implicada por ", o bien " si
y slo si ".
Uno de los usos ms comunes de los operadores lgicos se encuentra
en la Programacin de Sistemas de Informacin, as como en la
generacin de circuitos elctricos, y en general en cualquier sistema
de toma de decisiones para la empresa o para la vida cotidiana, por
ejemplo:

Si salgo tarde de mi casa y no tengo vehculo, entonces llegar tarde


al trabajo.

Conjuncin: Salgo tarde no tengo vehculo llegar tarde al


trabajo.
Viajo en autobs o viajo en mi coche, no las dos cosas a la vez.
Disyuncin lgica: viajo en bus viajo en mi auto o lo uno o lo
otro.
Contradicciones del lenguaje
Si decimos: aqu no hay nadie y aplicamos literalmente la doble
negacin expresada en nuestro hablar cotidiano, entonces, podramos
entender que aqu hay alguien.
Negacin lgica: no hay nadie aqu hay alguien.
Si una empresa no produce nada, podramos entender que la
empresa produce algo.
Negacin lgica: no produce nada produce algo.
CuantificadoresEditar
Hasta ahora las declaraciones que podemos hacer no
dicen cundo son verdades. Para decirnos cundo una declaracin es
verdad, necesitamos los cuantificadores. Hay tres cuantificadores
bsicos: el cuantificador universal, el cuantificador existencial y
el cuantificador existencial con marca de unicidad. Aqu estn
los smbolos.

Nombre Notacin Se lee

cuantificador
Para todo x...
universal
cuantificador Existe por lo
existencial menos un x...
cuantificador existencial Existe un
con marca de unicidad nico x...
Las declaraciones cuantificadas se escriben en la forma que se leen
"para todo , es verdad que " y "existe por lo menos un tal que es
verdad".
Estos dos ltimos cuantificadores pueden usarse para lo mismo, ya
que dice lo mismo que dice . En palabras, decir "no es para
todo que es verdad" es igual que decir "existe tal que es falsa".
Teora de nmerosEditar
Artculo principal: Teora de nmeros

Anlisis matemticoEditar
Artculo principal: Anlisis matemtico
Anlisis realEditar
LmitesEditar
Para decir que el lmite de la funcin es cuando tiende a , se
escribe:
o bien .
Igualmente, para decir que la sucesin va a cuando tiende a la
infinidad, se escribe:
o bien .
DerivadasEditar
Derivadas ordinariasEditar
Se define la derivada de una funcin como el lmite del cociente del
cambio en la ordenada y la abscisa. Hay varias notaciones para
denotar la derivada de una funcin de una sola variable:
Las derivadas seran:

Derivadas parcialesEditar
Si la funcin depende de dos o ms variables, por ejemplo:

Las derivadas parciales respecto a cada una de las variables


independientes:

Vase tambinEditar
Anexo:Tabla de smbolos matemticos
Anexo:Constantes matemticas

Ayuda:Uso de TeX

NotasEditar

1. Aunque en ocasiones, es complicado adherirse a esta


regla. Considrese, por ej. que el TeX genera todas las letras
individuales en cursivas; para que aparezcan en redondas, hay que
efectuar el cambio de la fuente.