Usuario:Gwenmarley/ejercicio8

B. 2. Demostrar: X≠0

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