Usuario:Gwenmarley/ejercicio10

B. 4. Demostrar: X≠0

   (1) X=Y → X=Z                (premisa)
   (2) X=Z → X=1                (premisa)
   (3) X=0 → X≠1                (premisa)
   (4) X=Y                       (premisa)
   (5) X=Z                       (modus ponens 1,4)
   (6) X=1                       (modus ponens 2,5)
   (7) X≠0                      (modus tollens 3,6)