Cuantificadores (de variables lógicas)

En la lógica de predicados, los cuantificadores son los símbolos correspondientes a "todos" (cuantificador universal) y "algunos" (cuantificador existencial). Respectivamente se simbolizan con $\forall{x}$, $\exists{x}$. Anteponiendo a la variable $x$ un cuantificador, $x$ queda cuantificada y es seguida por un predicado.