Usuario:Gwenmarley/ejercicio5

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

A. 5. Demostrar: ¬S

  (1) P → Q                   (premisa)
  (2) Q → R                   (premisa)
  (3) S → ¬R                  (premisa)
  (4) P                        (premisa) 
  (5) Q                        (modus ponens 1,4)
  (6) R                        (modus ponens 2,5)
  (7) ¬S                      (modus tollens 3,6)