Usuario:Gwenmarley/ejercicio12

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

B. 6. Demostrar: X=0

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