Usuario:Gwenmarley/ejercicio9

B. 3. Demostrar: X=Y

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