CUANTIFICADORES

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 variables, también pueden ser cuantificadas. Los cuantificadores que típicamente se utilizan en lógica de predicados son:

El cuantificador universal; " indica que la fórmula bien formada, dentro de su alcance, es verdadera para todos los valores posibles de la variable que es cuantificada. Por ejemplo:
" X . . . .
Establece que "para todo X, es verdad que. . . "
El cuantificador existencial; $, indica que la fórmula bien formada, dentro de su alcance, es verdadera para algún valor o valores dentro del dominio. Por ejemplo: $ X. . . .

Es decir:

Universales (En lógica matemática, se usa el símbolo ): indica que algo es cierto “para todo”, indica que lo que se escribe a su derecha es verdadero para todo valor de la variable que lo acompañe.

Existencia (En lógica matemática, se usa el símbolo  ): antepuesto a una variable para decir que "existe" Indica que las funciones que  se escribe a su derecha se verifica, al menos considera un valor para la variable.