Usuario:Gwenmarley/ejercicio6

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)