Usuario:Damaya59/ejercicio 2

De Wikilibros, la colección de libros de texto de contenido libre.

Demuestre que (p->q)^(∼p->q)->q es una contradiccion.

Solucion

(p->q)^(∼p->q)->q ≡(p->q)^(∼p->q)->q

                 ≡((∼p∨q)^(p∨q))->q   eliminacion de condicionales
                 ≡(∼(∼p∨q)^(p∨q))^q eliminacion de condicionales
                 ≡((p^∼q)∨(∼p^∼q))^q ley de DeMorgan
                 ≡(((p∨∼p)^(p∨∼q)^(∼q∨∼p)^(∼q∨∼q))^q distributiva
                 ≡((F)^(p∨∼q)^(∼q^∼p)∨(∼q))^q ley de contradiccion 
                 ≡((F))^q ley de contradiccion con las diferentes proposiciones
                 ≡(F) ley de contradiccion