Usuario:Penarete/ejercicio 4

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

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)