cuantificador

En lógica formal, los cuantificadores son expresiones que indican 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:

• Cuantificador universal

Para todo x, y...

• Cuantificador existencial

Existe al menos un x, y...

• Cuantificador existencial único

Existe exactamente un x, y...

• Negación del cuantificador existencial

No existe ningún x, y...