Cuantificador

En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los más utilizados están:^[1]​

• Cuantificador universal

${\displaystyle \forall \,x,y\ldots }$

Para todo x, y...

• Cuantificador existencial

${\displaystyle \exists \,x,y\ldots }$

Existe al menos un x, y...

• Cuantificador existencial único

${\displaystyle \exists !\,x,y\ldots }$

Existe exactamente un x, y...

• Negación del cuantificador existencial

${\displaystyle \nexists \,x,y\ldots }$

No existe ningún x, y...

1. ↑ Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de las ciencias. Espsa. ISBN 84-239-7921-0.