Usuario:Gwenmarley/ejercicio13

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

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)