| Símbolo
|
Nombre
|
se lee como
|
Categoría
|
|
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
|
|
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
|
|
cuantificador existencial con marca de unicidad
|
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
|