Usuario:Penarete/ejercicio 3

A. En cada uno de los ejercicios siguientes se ha de demostrar que una proposicion es consecuencia lógica de las premisas dadas. Deducir la conclusión, escribiendo la abreviatura que corresponde a la regla que permite obtener cada linea, y cuando se empleen las lineas deducidas anteriormente, indicar el número de cada linea que ha sido utilizada al aplicar la regla.

1.

Demostrar:￢T

(1) R → ￢T ________ (Premisa)

(2) S → R __________ (Premisa)

(3) S _______________ (Premisa)

(4) R _______________ (Modus ponens 2,3)

(5) ￢T ______________ (Modus ponens 1,4)

2.

Demostrar: G

(1) ￢H → ￢J _______ (Premisa)

(2) ￢H ______________ (Premisa)

(3) ￢J → G __________ (Premisa)

(4) ￢J _______________ (Modus ponens 1,2)

(5) G _________________ (Modus ponens 3,4)

3.

Demostrar: C

(1) A → B ^ D _______ (Premisa)

(2) B ^ D → C ________ (Premisa)

(3) A _________________ (Premisa)

(4) B ^ D _____________ (Modus ponens 1,3)

(5) C _________________ (Modus ponens 2,4)

4.

Demostrar: M v N

(1) ￢J → M v N ______ Premisa

(2) F v G → ￢J ______ Premisa

(3) F v G _____________ Premisa

(4) ￢J ________________ Modus ponens 2,3

(5) M v N ______________ Modus ponens 1,4

5.

Demostrar: ￢S

(1) T _________________ Premisa

(2) T → ￢Q ___________ Premisa

(3) ￢Q → ￢S __________ Premisa

(4) ￢Q _________________ Modus ponens 1,2

(5) ￢S _________________ Modus ponens 3,4