Usuario:Gwenmarley/ejercicio19

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

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)