expresión que liga variables. "(∃...)", el cuantificador existencial, "(∀..."), el cuantificador universal.
(Haack, 1978).
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:
Cuantificador universal:
∀ x, y...
Para todo x, y...
Cuantificador existencial:
∃ x, y...
Existe al menos un x, y...
Cuantificador existencial único:
∃! x, y...
Existe exactamente un x, y...
Negación del cuantificador existencial:
∄ x, y...
No existe ningún x, y...
(Wikipedia).