You are on page 1of 5

Smbolo Nombre se lee como Categora

igualdad igual a todos


x = y significa: x e y son nombres diferentes que hacen referencia a un mismo objeto o ente.
1 + 2 = 6 3



definicin se define como todos
x := y o x y significa: x se define como otro nombre para y (notar, sin embargo, que puede tambin
significar otras cosas, como congruencia)
P : Q significa: P se define como lgicamente equivalente a Q
cosh x := (1/2)(exp x + exp (x)); A XOR B : (A B) (A B)
Aritmtica y lgebra[editar editar cdigo]
Smbolo Nombre se lee como Categora

adicin ms aritmtica y lgebra
4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.
43 + 65 = 108; 2 + 7 = 9

sustraccin menos aritmtica
9 4 = 5 significa que si 4 es restado de 9, el resultado ser 5. El smbolo 'menos' tambin se utiliza para
denotar que un nmero es negativo. Por ejemplo, 5 + (3) = 2 significa que si 'cinco' y 'menos tres' son
sumados, el resultado es 'dos'.
87 36 = 51



multiplicacin por aritmtica
7 6 = 42 significa que si se cuenta siete veces seis, el resultado ser 42.
4 6 = 24 4 * 6 = 24 4 6 = 24



divisin entre, dividido por aritmtica
significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo ser de
tamao siete.


sumatoria suma sobre ... desde ... hasta ... de aritmtica

k=1
n
a
k
significa: a
1
+ a
2
+ ... + a
n

k=1
4
k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30

productorio producto sobre... desde ... hasta ... de aritmtica

k=1
n
a
k
significa: a
1
a
2
a
n

k=1
4
(k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360
Lgica proposicional[editar editar cdigo]
Smbolo Nombre se lee como Categora


implicacin material o en un solo
sentido
implica; si .. entonces; por lo
tanto
lgica proposicional
A B significa: si A es verdadero entonces B es verdadero tambin; si B es verdadero entonces nada se
dice sobre A.
puede significar lo mismo que , o puede ser usado para denotar funciones, como se indica ms
abajo.
x = 2 x = 4 es verdadera, pero 4 = x x = 2 es, en general, falso (ya que x podra ser 2)


doble implicacin si y slo si; sii, syss
1
lgica proposicional
A B significa: A es verdadera si B es verdadera y A es falsa si B es falsa.
x + 5 = y + 2 x + 3 = y

conjuncin lgica o interseccin en
unareja
y
lgica proposicional, teora de
rejas
la proposicin A B es verdadera si A y B son ambas verdaderas; de otra manera es falsa.
n < 4 n > 2 n = 3 cuando n es un nmero natural

disyuncin lgica o unin en una reja o,
lgica proposicional, teora de
rejas
la proposicin A B es verdadera si A o B (o ambas) son verdaderas; si ambas son falsas, la proposicin
es falsa.
n 4 n 2 n 3 cuando n es un nmero natural


negacin lgica no lgica proposicional
la proposicin A es verdadera si y slo si A es falsa.
una barra colocada sobre otro operador es equivalente a un colocado a la izquierda.
(A B) (A) (B); x S (x S)
Lgica de predicados[editar editar cdigo]
Smbolo Nombre se lee como Categora

cuantificador universal
para todos; para cualquier; para
cada
lgica de
predicados
x : P(x) significa: P(x) es verdadera para cualquier x
n N: n n

cuantificador existencial existe por lo menos un/os
lgica de
predicados
x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
n N: n + 5 = 2n

cuantificador existencial con marca de
unicidad
existe un/os nico/s
lgica de
predicados
! x : P(x) significa: existe un nico x tal que P(x) es verdadera.
! n N: n + 1 = 2


reluz tal que
lgica de
predicados
x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
n N: n + 5 = 2n
Teora de conjuntos[editar editar cdigo]
Smbolo Nombre se lee como Categora

delimitadores de conjunto el conjunto de ...
teora de
conjuntos
{a,b,c} significa: el conjunto consistente de a, b, y c
N = {0,1,2,...}


notacin constructora de
conjuntos
el conjunto de los elementos ... tales que ...
teora de
conjuntos
{x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es verdadera. {x | P(x)} es lo mismo que
{x : P(x)}.
{n N : n < 20} = {0,1,2,3,4}


conjunto vaco conjunto vaco
teora de
conjuntos
{} significa: el conjunto que no tiene elementos; es la misma cosa.
{n N : 1 < n < 4} = {}


pertenencia de conjuntos
en; est en; es elemento de; es miembro de;
pertenece a
teora de
conjuntos
a S significa: a es elemento del conjunto S; a S significa: a no es elemento del conjunto S
(1/2)
1
N; 2
1
N


subconjunto es subconjunto de
teora de
conjuntos
A B significa: cada elemento de A es tambin elemento de B
A B significa: A B pero A B
A B A; Q R

unin de conjuntos la unin de ... y ...; unin
teora de
conjuntos
A B significa: el conjunto que contiene todos los elementos de A y tambin todos aquellos de B, pero
ningn otro.
A B A B = B

interseccin de conjuntos la interseccin de ... y ...; interseccin
teora de
conjuntos
A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en comn.
{x R : x = 1} N = {1}

complemento de un conjunto menos; sin
teora de
conjuntos
A \ B significa: el conjunto que contiene todos aquellos elementos de A que no se encuentran en B
{1,2,3,4} \ {3,4,5,6} = {1,2}
Funciones[editar editar cdigo]
Smbolo Nombre se lee como Categora



aplicacin de funcin; agrupamiento de funciones
para aplicacin de funcin: f(x) significa: el valor de la funcin f sobre el elemento x
para agrupamiento: realizar primero las operaciones dentro del parntesis.
Si f(x) := x, entonces f(3) = 3 = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) = 8/2 = 4

mapeo funcional de ... a funciones
f: X Y significa: la funcin f mapea el conjunto X al conjunto Y
Considrese la funcin f: Z N definida por f(x) = x
Nmeros[editar editar cdigo]
Smbolo Nombre se lee como Categora

nmeros naturales N nmeros
N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente.
{|a| : a Z} = N

nmeros enteros Z nmeros
Z significa: {...,3,2,1,0,1,2,3,4,...}
{a : |a| N} = Z

nmeros racionales Q nmeros
Q significa: {p/q : p, q Z, q 0}
3.14 Q; Q

nmeros reales R nmeros
R significa: {lim
n
a
n
: n N: a
n
Q, el lmite existe}
R; (1) R

nmeros complejos C nmeros
C significa: {a + bi : a, b R}
i = (1) C

raz cuadrada la raz cuadrada de; la principal raz cuadrada de nmeros reales
x significa: el nmero positivo cuyo cuadrado es x
(x) = |x|

infinito infinito nmeros
es un elemento de la recta real extendida mayor que todos los nmeros reales; ocurre
frecuentemente en lmites
lim
x0
1/|x| =

valor absoluto valor absoluto de nmeros
|x| significa: la distancia en la recta real (o en el plano complejo) entre x y [[zero], se le llama tambin
mdulo]
|a + bi | = (a + b)
rdenes parciales[editar editar cdigo]
Smbolo Nombre se lee como Categora


comparacin es menor a, es mayor a rdenes parciales
x < y significa: x es menor a y; x > y significa: x es mayor a y
3 < 4 5 > 4
Smbolo Nombre se lee como Categora


comparacin es menor o igual a, es mayor o igual a rdenes parciales
x y significa: x es menor o igual a y; x y significa: x es mayor o igual a y
x 1 x x
Geometra eucldea[editar editar cdigo]
Smbolo Nombre se lee como Categora

pi pi Geometra euclideana
significa: la razn de la circunferencia a su dimetro.
A = r es el rea de un crculo con radio r
Combinatoria[editar editar cdigo]
Smbolo Nombre se lee como Categora

factorial factorial combinatoria
n! es el producto 12...n
4! = 24
Anlisis funcional[editar editar cdigo]
Smbolo Nombre se lee como Categora

norma norma de; longitud de anlisis funcional
x es la norma del elemento x de un espacio vectorial normado
x+y x + y
Clculo[editar editar cdigo]
Smbolo Nombre se lee como Categora

integracin integral desde ... hasta ... de ... con respecto a ... clculo

a
b
f(x) dx significa: el rea, con signo, entre el eje-x y la grfica de la funcin f entre x = a y x = b

0
b
x dx = b/3; x dx = x/3

derivacin derivada de f; f prima clculo
f '(x) es la derivada de la funcin f en el punto x, esto es, la pendiente de la tangente en ese lugar.
Si f(x) = x, entonces f '(x) = 2x y f ' '(x) = 2

gradiente del, nabla, gradiente de clculo
f (x
1
, , x
n
) es el vector de derivadas parciales (df / dx
1
, , df / dx
n
)
Si f (x, y, z) = 3xy + z entonces f = (3y, 3x, 2z)

derivada parcial derivada parcial de clculo
Con f (x
1
, , x
n
), f/x
i
es la derivada de f con respecto a x
i
, con todas las otras variables mantenidas
constantes.
Si f(x, y) = xy, entonces f/x = 2xy
Ortogonalidad[editar editar cdigo]
Smbolo Nombre se lee como Categora

perpendicular es perpendicular a ortogonalidad
x y significa: x es perpendicular a y; o, ms generalmente, x es ortogonal a y.

lgebra matricial[editar editar cdigo]
Smbolo Nombre se lee como Categora

perpendicular traspuesta matrices y vectores
(a,b) con al lado o a modo de potencia significa que el vector se debe colocar no de izquierda a
derecha, sino de arriba a abajo. En numerosos trabajos de investigacin se utiliza esta sintaxis al no
poder representar en un documento vectores verticales.

Teora de rejas[editar editar cdigo]
Smbolo Nombre se lee como Categora

fondo el elemento fondo teora de rejas
x = significa: x es el elemento ms pequeo.