CUANTIFICADORES

En lógica, teoría de conjuntos y matemáticas en general, los cuantificadores son símbolos utilizados para indicar cuántos  elementos de un conjunto dado cumplen con cierta propiedad.
Existen muchos tipos de cuantificadores, pero quizás los más estudiados y utilizados:

1.Cuantificador universal
Para todo x, y....

2.Cuantificador existencial.
Existe al menos un x, y...

3.Cuantificador existencial único
Existe exactamente un x, y...

4.Negación del cuantificador existencial
No existe ningún x, y...