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, 36 - 11 = 25

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)

ad infinitum o sucesin matemtica se repite/progresin todos

0, 1, 2, 3, ... 18 y a1, a2, a3, ...a7 y a1, a2, a3, ...an se entiende que la progresin se extiende
hasta el nmero o valor indicado. En estos casos, 18, 7 y algn natural n respectivamente.

1, 2, 3, 4, ... y a1, a2, a3, ... y a1, a2, a3, ... se entiende que cada progresin se extiende
infinitamente1
2, 4, 6, 8, ... se entiende que hay un incremento progresivo segn el patrn hasta el infinito.
... 4, 3, 2, 1, 0, 1, 2, 3, 4, ... se entiende que decrementa progresivamente hacia la
izquierda y que aumenta progresivamente hacia la derecha, y se extiende infinitamente en
ambos sentidos.

3,14159265358979323846... se entiende que el valor del smbolo pi es aproximadamente

3,14159265358979323846 pero que los siguientes dgitos conocidos y desconocidos se
extienden hasta el infinito2 .

o se entiende como suma de fracciones peridicas.

se entiende como una matriz de progresin donde los elementos comienzan por la fila y
columna de subndice 1 y terminan en la fila de subndice 2324, y la columna de subndice 127.
 se entiende que el nmero ureo es igual 1 sumado la fraccin de 1 sobre la repeticin
infinita de la misma ecuacin.

x = 1 + 2 + 3 + ... + 54

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

36-5 = 31 significa que si 5 es restado de 36, el resultado ser 31. El smbolo 'menos' tambin
se utiliza para denotar que un nmero es negativo. Por ejemplo, 36 + (55) = 36-55 = -19
significa que si 'cinco' y 'menos tres' son sumados, el resultado es 'dos'.

36-5 = 31; 36-55=-19

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.

sumatorio suma sobre ... desde ... hasta ... de aritmtica

k=1n ak significa: a1 + a2 + ... + an

k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30
 productorio producto sobre... desde ... hasta ... de aritmtica

k=1n ak significa: a1a2an

k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360

Lgica proposicional[editar]
Smbolo Nombre se lee como Categora

implicacin material o en un solo implica; si .. entonces;

lgica proposicional
sentido por lo tanto

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, syss3 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 lgica proposicional, teora de

y
una reja 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

lgica proposicional, teora de

disyuncin lgica o unin en una reja o,
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 puesta sobre otro operador es equivalente a un puesto a la izquierda.

(A B) (A) (B); x S (x S)

Lgica de predicados
para todos; para cualquier; para lgica de
cuantificador universal
cada predicados

x : P(x) significa: P(x) es verdadera para cualquier x

n N: n n

lgica de
cuantificador existencial existe por lo menos un/os
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 lgica de

existe un/os nico/s
unicidad predicados

! x : P(x) significa: existe un nico x tal que P(x) es verdadera.

! n N: n + 1 = 2

lgica de
reluz tal que
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]
Smbolo Nombre se lee como Categora

teora de
delimitadores de conjunto el conjunto de ...
conjuntos

{a,b,c} significa: el conjunto que contiene a, b, y c

N = {0,1,2,...}
notacin constructora de teora de
el conjunto de los elementos ... tales que ...
conjuntos 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}

teora de
conjunto vaco conjunto vaco
conjuntos

{} significa: el conjunto que no tiene elementos; es la misma cosa.

{n N : 1 < n < 4} = {}

en; est en; es elemento de; es miembro de; teora de

pertenencia de conjuntos
pertenece a conjuntos

a S significa: a es elemento del conjunto S; a S significa: a no es elemento del conjunto S

(1/2)1 N; 21 N

teora de
subconjunto es subconjunto 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

teora de
unin de conjuntos la unin de ... y ...; unin
conjuntos

A B significa: el conjunto que contiene todos los elementos de A y tambin todos aquellos
de B, pero ningn otro.

AB AB=B

teora de
interseccin de conjuntos la interseccin de ... y ...; interseccin
conjuntos

A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en comn.

{x R : x = 1} N = {1}
 teora de
diferencia de conjuntos menos; sin
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}