Cuantificador
De Wikipedia, la enciclopedia libre
En Teoría de conjuntos, un cuantificador se utiliza para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad. Existen dos tipos de cuantificadores, cuyas características resumimos en la siguiente tabla:
| Nombre | Notación | Se lee |
|---|---|---|
| cuantificador universal |  |
Para todo x... |
| cuantificador existencial |  |
Existe por lo menos un x... |
Las declaraciones cuantificadas se escriben en la forma 
que se leen "para todo x, es verdad que p" y "existe por lo menos un y tal que q es verdad".
- El cuantificador universal, representado por
. Este cuantificador se emplea para afirmar que todos los elementos de un conjunto cumplen con determinada propiedad. Se escribe
. (1)
La proposición (1) suele usarse como la equivalente de
- El cuantificador existencial se usa para indicar que al menos un elemento de un conjunto
cumple con una propiedad. Se escribe
. (2)
La proposición (2) suele interpretarse como la equivalente de la proposición
Se definen:
