Usuario:Penarete/ejercicio 4

Ejercicio 4

B. En cada uno de los siguientes grupos de premisas deducir una conlusión, cuando sea posible, por el modus ponendo ponens. Si la regla modus ponendo ponens no se puede aplicar a las premisas, indicarlo.

1.

(1) P ^ Q → R _____________ (Premisa)

(2) R ______________________ (Premisa)

(3) "No se puede utilizar el modus ponendo ponens".

2.

(1) Q → R v S _____________ (Premisa)

(2) Q ______________________ (Premisa)

(3) R v S __________________ (Modus ponens 1,2)

3.

(1) ￢￢R __________________ (Premisa)

(2) Q → ￢￢R _____________  (Premisa)

(3) "No se puede utilizar el modus ponendo ponens".

4.

(1) S ______________________ (Premisa)

(2) S → ￢P ________________ (Premisa)

(3) ￢P _____________________ (Modus ponens 1,2)

5.

(1) S → T ^ U ______________ (Premisa)

(2) T ^ U ___________________ (Premisa)

(3) "No se puede utilizar el modus ponendo ponens".

6.

(1) ￢￢P → Q ______________ (Premisa)

(2) ￢￢P ___________________ (Premisa)

(3) Q ______________ (Modus ponens 1,2)