loslos

conjunción lógica o intersección en una reja y lógica proposicional, teoría de rejas
la proposición 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 número natural
\vee
disyunción lógica o unión en una reja o, ó lógica proposicional, teoría de rejas
la proposición A ∨ B es verdadera si A o B (o ambas) son verdaderas; siambas son falsas, la proposición es falsa.
n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 cuando n es un número natural
\neg
/
negación lógica no lógica proposicional
la proposición ¬A es verdadera si y sólo 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)
Lógica de predicados[editar]

Símbolo Nombre se lee comoCategoría
\forall
cuantificador universal para todos; para cualquier; para cada lógica de predicados
∀ x : P(x) significa: P(x) es verdadera para cualquier x
∀ n ∈ N: n² ≥ n
\exists
cuantificador existencial existe por lo menos un/os lógica de predicados
∃ x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
∃ n ∈ N: n + 5 = 2n
\exists !
cuantificador existencial con marca deunicidad existe un/os único/s lógica de predicados
∃! x : P(x) significa: existe un único x tal que P(x) es verdadera.
∃! n ∈ N: n + 1 = 2
:
/
reluz tal que lógica de predicados
∃ x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
∃ n ∈ N: n + 5 = 2n
Teoría de conjuntos[editar]

Símbolo Nombre se lee como Categoría
\{ , \}
delimitadores de conjunto el conjunto de... teoría de conjuntos
{a,b,c} significa: el conjunto consistente de a, b, y c
N = {0,1,2,...}
\{ : \}
\{ | \}
notación constructora de conjuntos el conjunto de los elementos ... tales que ... teoría 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}
\emptyset
{}conjunto vacío conjunto vacío teoría de conjuntos
{} significa: el conjunto que no tiene elementos; ∅ es la misma cosa.
{n ∈ N : 1 < n² < 4} = {}
\in
\notin
pertenencia de conjuntos en; está en; es elemento de; es miembro de; pertenece a teoría 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
\subseteq \!
\subsetsubconjunto es subconjunto de teoría de conjuntos
A ⊆ B significa: cada elemento de A es también elemento de B
A ⊂ B significa: A ⊆ B pero A ≠ B
A ∩ B ⊆ A; Q ⊂ R
\cup
unión de conjuntos la unión de ... y ...; unión teoría de conjuntos
A ∪ B significa: el conjunto que contiene todos los elementos de A y también todos aquellos de B, pero ningún otro.
A ⊆ B ⇔ A ∪ B = B
\cap
intersección deconjuntos la intersección de ... y ...; intersección teoría de conjuntos
A ∩ B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en común.
{x ∈ R : x² = 1} ∩ N = {1}
\backslash
complemento de un conjunto menos; sin teoría 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]

Símbolo Nombre se lee como Categoría
\left(\ \right)
\left[\ \right]
\left\{\ \right\}
aplicación de función; agrupamiento de funciones
para aplicación de función: f(x) significa: el valor de la función f sobre el elemento x
para agrupamiento: realizar primero las operaciones dentro del paréntesis.
Si f(x) := x², entonces f(3) = 3² = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) =8/2 = 4
\textrm{f:}\ X \rightarrow Y
mapeo funcional de ... a funciones
f: X → Y significa: la función f mapea el conjunto X al conjunto Y
Considérese la función f: Z → N definida por f(x) = x²
Números[editar]

Símbolo Nombre se lee como Categoría
\mathbb N
números naturales N números
N significa: {1,2,3,...}, pero véase el artículo números naturales para una convención diferente....