Está en la página 1de 2

Lgica proposicional

Smbolo Nombre se lee como Categora lgica proposicional, teora de rejas disyuncin lgica o unin en una reja o,

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

Lgica de predicados
Smbolo Nombre cuantificador existencial n N: n + 5 = 2 n se lee como existe por lo menos un/os Categora lgica de predicados

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

Teora de conjuntos
Smbolo Nombre pertenencia de conjuntos se lee como en; est en; es elemento de; es miembro de; pertenece a Categora 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

N es subconjunto de teora de conjuntos

subconjunto

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

Nmeros
Smbolo Nombre nmeros naturales N se lee como Categora nmeros

N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente. {|a| : a Z} = N nmeros enteros Z significa: {...,3,2,1,0,1,2,3,4,...} {a : |a| N} = Z nmeros racionales Q significa: {p/q : p, q Z, q 0} 3.14 Q; Q Q nmeros Z nmeros

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

nmeros

R significa: {lim n an : n N: an Q, el lmite existe} C nmeros

rdenes parciales
Smbolo Nombre comparacin x 1 x x se lee como es menor o igual a, es mayor o igual a Categora rdenes parciales

x y significa: x es menor o igual a y; x y significa: x es mayor o igual a y