Usuario:Gwenmarley/ejercicio4

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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)