Usuario:Gwenmarley/ejercicio17

B.5. Demostrar: ￢S ^ Q

  (1) ￢S → Q                     (premisa)
  (2) ￢(T ^ R)                    (premisa)
  (3) S → (T ^ R)                 (premisa)
  (4) ￢S                          (modus tollens 2,3)
  (5) Q                            (modus ponens 1,4)
  (6) ￢S ^ Q                      (regla de adjunción 4,5)