CUANTIFICADORES.

Cuantificadores Universales:

Para cualquier expresión de la forma: "para todo, todo,por cada cual" constituye en el lenguaje formal un cuantificador universal y se simboliza por medio de ∀

Cuantificadores Existencial:

Cualquier expresión de forma: "existe algún, al menos, por lo menos uno, vasta que uno" constituye el lenguaje formal un cuantificador existencial y se simboliza por medio de 

Ejemplo:

 ∀x, 3x + 5x = 8x

 x, x + 4 = 6