Demostrar: ¬ z →¬ x

1) z ∨(u ∧ y )
2) ¬w∨z
3) u→ y
4) ( u →¬ w ) →( x → z)

--------------------------------------------------------------------------------------------------------------

5) ( z ∨ u ) ∧( z ∨ y ) Propiedad distributiva. (1)

6) z ∨ y Simplificación. (5)

7) ¬ z → y Imp Material (6)

8) ¬ z →u Silogismo hipotético (3,7)

9) w→ z Imp Material (2)

10) ¬z→ ¬w Contraposición (9)

11) u → ¬w Silogismo hipotético (8,10)

12) x→ z Ponendo ponens (4,11)

13) ¬z→ ¬ x Contraposición (12)