DEMOSTRACIÓN DE INFERENCIAS

Parte A : Demostrar las siguientes inferencias

1. O esta roca es una roca ígnea o es una roca sedimentaria. Esta roca es granito. Si esta roca es granito entonces no es una roca sedimentaria. Por tanto, esta roca es una roca ígnea.

2. Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el coche de Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés. O Andrés dice la verdad o estaba en el edificio en el momento del crimen. El reloj está adelantado. Por tanto, Andrés estaba en el edificio en el momento del crimen.

Parte B

1. Demostrar: ~T

(1) P ® S

(2) P Ù Q

(3) (S Ù R) ® ~T

(4) Q ® R

2. Demostrar: S

(1) P ® (Q Ù R)

(2) P

(3) T ® ~Q

(4) T S

Parte C

1. Demostrar: y > z

(1) x = y ® x = z

(2) x ¹ y ® x < z

(3) x < z v y > z

(4) y ¹ z Ù x ¹ z

2. Demostrar: x < 5

(1) x < y x = y

(2) x = y ® y ¹ 5

(3) (x < y Ù y = 5)® x < 5

(4) y = 5

3. Demostrar: ~(y > 7 x = y)

(1) x < 6

(2) (y > 7 x = y ) ® ~(y = 4 Ù x < y)

(3) y ¹ 4 ® x < 6

(4) x < 6 ® x < y

4. Demostrar: x > 6

(1) x > 5 ® (x = 6 x > 6)

(2) (x ¹ 5 Ù x < 5) ® x > 5

(3) x < 5 ® x ¹ 3 + 4

(4) x = 3 + 4 Ù x ¹ 6

(5) x = 3 + 4 ® x ¹ 5

Parte D

1. Demostrar: ~T ~P

(1) ~S ~R

(2) ~R ® ~T

(3) ~S ® P

(4) ~P

2. Demostrar:

...