Usuario:Gwenmarley/ejercicio19
B. Deducir una conclusión de cada uno de los siguientes conjuntos de premisas usando el modus tollendo ponens.
1.
(1) ￢P V R (premisa) (2) ￢R (premisa) (3) ￢P (conjunción 1,2)
2.
(1) T V (P → Q) (premisa) (2) ￢T (premisa) (3) P → Q (conjunción 1,2)
3.
(1) ￢T V ￢R (premisa) (2) ￢￢R (premisa) (3) ￢T (conjunción 1,2)
4.
(1) P V Q (premisa) (2) ￢Q (premisa) (3) P (conjunción 1,2)
5.
(1) (S ^ T) V R (premisa) (2) ￢(S ^ T) (premisa) (3) R (conjunción 1,2)
6.
(1) (P ^ Q) V S (premisa) (2) ￢S (premisa) (3) (P ^ Q) (conjunción 1,2)
7.
(1) ￢Q V R (premisa) (2) ￢￢Q (premisa) (3) R (conjunción 1,2)
8.
(1) ￢T (premisa) (2) T V ￢S (premisa) (3) ￢S (conjunción 1,2)
9.
(1) ￢(P ^ Q) (premisa) (2) T V (P ^ Q) (premisa) (3) T (conjunción 1,2)
10.
(1) T V U (premisa) (2) ￢T (premisa) (3) U (conjunción 1,2)
11.
(1) S V ￢T (premisa) (2) T (premisa) (3) S (conjunción 1,2)
12.
(1) ￢(S ^ R) V T (premisa) (2) S ^ R (premisa) (3) T (conjunción 1,2)
13.
(1) ￢(P → Q) V R (premisa) (2) P → Q (premisa) (3) R (conjunción 1,2)