Usuario:Gwenmarley/ejercicio2

De Wikilibros, la colección de libros de texto de contenido libre.

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)