Genricos

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
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
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
una reja
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
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
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
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
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
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
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
Smbolo Nombre se lee como Categora

factorial factorial combinatoria
n! es el producto 12...n
4! = 24
Anlisis funcional
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
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
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
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
Smbolo Nombre se lee como Categora

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