Usuario:Gwenmarley/ejercicio9

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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)