Usuario:Gwenmarley/ejercicio13

B. Probar que las conclusiones siguientes son consecuencia lógica de las premisas dadas. Dar la demostración completa:

1. Demostrar: ￢S

  (1) ￢R ^ T                  (premisa)
  (2) S → R                   (premisa)
  (3) ￢R                      (simplificación adjuntiva 1)
  (4) ￢S                      (modus tollens 2,3)