Usuario:Gwenmarley/ejercicio4

A. 4. Demostrar: A

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