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)