Usuario:Gwenmarley/ejercicio5

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)