Usuario:Gwenmarley/ejercicio2

A. 2. Demostrar: ￢A

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