1. Definicin de condicionalPostulado de la conmutatividadPostulado de distributividadPostulado de contradiccinIdentidadDefinicin de condicionalLey de MorganTeorema de la asociatividadPostulado del tercer excluidoTeorema de De MorganTeorema de la contradiccinNegacin de expresiones cuantif.Por lo tanto la proposicin dada es una Tautologia

2. Teorema de silogismo hipotticoDefinicin de condicional

Postulado del tercer excluidoPor lo tanto la proposicin dada es una Contradiccin

3. Postulado de la conmutatividadPostulado de distributividadPostulado de la contradiccinIdentidad: Contradiccin

4. Definicin de condicionalPostulado de la conmutatividadPostulado de distributividadPostulado del tercer excluidoTeorema de la tautologaDefinicin de condicionalTeorema de De MorganIdentidad: Tautologia5. Definicin de condicionalPostulado de conmutatividadPostulado de distributividadPostulado de contradiccinIdentidad: ContradiccinDefinicin de condicionalTeorema de De MorganPostulado de asociatividadPostulado del tercer excluidoTeorema de la tautologaLo cual indica que no todo x es verdadero, o que existe algn x que es falso