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

Álgebra Proposicional  

           [¬(p v q) v q] ^ [ ¬(p v q) v p] 

        [(¬p ^ ¬q) v q] ^ [(¬p ^ ¬q) v p] 

[(¬p v q) ^ (¬q v q)] ^ [(¬p v p) ^ (¬q v p)] 

      [(¬p v q) 1] ^ [1 ^ (¬q v p) ] 

 [(¬p ^ 1) v (q ^ 1)] ^ [(1 ^ ¬q) v (1 v p)] 

                  (¬p v q) ^ (¬q v p) 

                   (p ⇒ q) ^ (q  ⇒ p) 

                         (p  ⇒ p) 

                        ¬p  v p 

                              1