Usuario:Gwenmarley/ejercicio11

B. 5. Demostrar: X≠Y

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