Usuario:Gwenmarley/ejercicio6

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

A. 6. Demostrar: ¬A

  (1) A → B                      (premisa)
  (2) B → C                      (premisa)
  (3) C → D                      (premisa)
  (4) ¬D                         (premisa) 
  (5) ¬C                         (modus tollens 3,4)
  (6) ¬B                         (modus tollens 2,5)
  (7) ¬A                         (modus tollens 1,6)