Usuario:Gwenmarley/ejercicio17

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

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)