Lina Natalia Torres Garcia 2116979

INFERENCIA LÓGICA

1. Si esta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza

de familia. Si el hermano de la madre es el cabeza de familia, entonces el padre no
tiene autoridad. Esta es una sociedad matriarcal. Por tanto, el padre no tiene
autoridad.

M: Esta es una sociedad matriarcal

S: El hermano de la madre es el cabeza de familia
H: El padre tiene autoridad

Demostrar ¬H

(1) M→S P
(2) S → ¬H P
(3) M P
(4) S PP 1,2
(5) ¬H PP 2,4

2. 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.

R: Esta roca es una roca ígnea

S: Es una roca sedimentaria
G: Esta roca es granito

Demostrar R

(1) RVS P
(2) G P
(3) G → ¬S P
(4) ¬S PP 2,3
(5) R TP 1,4

3. Si Juan es más alto que Pedro, entonces María es más baja que Juana. María no es más
baja que Juana. Si Juan y Luis tienen la misma estatura, entonces Juan es más alto que
Pedro. Por tanto, Juan y Luis no tienen la misma estatura.

J: Juan es más alto que Pedro

N: María es más baja que Juana
M: Juan y Luis tienen la misma estatura

Demostrar ¬M

(1) J → N P
 (2) ¬N P
(3) M→J P
(4) ¬J TT 1,2
(5) ¬M TT 3,4

4. Si A ganó la carrera, entonces o B fue el segundo o C fue el segundo. Si B fue el

segundo, entonces A no ganó la carrera. Si D fue el segundo, entonces C no fue el
segundo. A ganó la carrera. Entonces, D no fue el segundo.

H: A ganó la carrera
D: B fue el segundo
E: C fue el segundo
F: D fue el segundo

Demostrar ¬F

(1) H → (D V E) P
(2) D → ¬H P
(3) F → ¬E P
(4) H P
(5) DVE PP 1,2
(6) ¬D TT 2,4
(7) E TP 5,6
(8) ¬F TT 3,7

5. 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.

R: El reloj está adelantado

M: Juan llegó antes de las diez
L: Juan vio partir el coche de Andrés
S: Andrés dice la verdad
Y: Andrés estaba en el edificio en el momento del crimen

Demostrar Y

(1) R → (M & L) P
(2) S → ¬L P
(3) SVY P
(4) R P
(5) M&L PP 1,4
(6) L S5
(7) ¬S TT 2,6
(8) Y TP 3,7

6. Demostrar Q
 (1) S → (P V Q) P
(2) S P
(3) ¬P P
(4) PVQ PP 1,2
(5) Q TP 3,4

7. Demostrar R

(1) S → ¬T P
(2) T P
(3) ¬S → R P
(4) ¬S TT 1,2
(5) R PP 3,4

8. Demostrar S & T

(1) P&R P
(2) P→S P
(3) R→T P
(4) P S1
(5) R S1
(6) S PP 2,4
(7) T PP 3,5
(8) S&T A 6,7

9. Demostrar ¬S

(1) T→R P
(2) R→ ¬S P
(3) T P
(4) R PP 1,2
(5) ¬S PP 2,4

10. Demostrar T

(1) P→S P
(2) ¬S P
(3) ¬P → T P
(4) ¬P TT 1,2
(5) T PP 3,4

11. Demostrar S & T

(1) P→S P
(2) P→T P
(3) P P
(4) S PP 1,3
 (5) T PP 2,3
(6) S & T A 4,5

12. Demostrar S

(1) PVQ P
(2) ¬Q P
(3) P→S P
(4) P TP 1,2
(5) S PP 3,4

13. Demostrar S

(1) T→R P
(2) ¬R P
(3) TVS P
(4) ¬T TT 1,2
(5) S TP 3,4

14. Demostrar ¬T

(1) P → S P
(2) P & Q P
(3) (S & R) → ¬T P
(4) Q → R P
(5) P S2
(6) Q S2
(7) S PP 1,5
(8) R PP 4,6
(9) S & R A 7,8
(10) ¬T PP 3,9

15. Demostrar ¬R

(1) S V ¬R P
(2) T → ¬S P
(3) T P
(4) ¬¬S TT 2,3
(5) S DN4
(6) ¬R PT 1,5

16. Demostrar S

(1) P → (Q & R) P
(2) P P
(3) T → ¬Q P
(4) TVS P
(5) Q&R PP 1,2
 (6) Q S5
(7) ¬T TT 3,6
(8) S TP 4,7

17. Demostrar ¬Q

(1) T V ¬S P
(2) S P
(3) Q → ¬T P
(4) ¬T TT 1,2
(5) ¬Q TT 3,4

18. Demostrar Q V R

(1) S → ¬T P
(2) T P
(3) ¬S → (Q V R) P
(4) ¬S TT 1,2
(5) QVR PP 3,4

19. Demostrar S

(1) ¬T V R P
(2) T P
(3) ¬S → ¬R P
(4) ¬R TT 1,2
(5) ¬¬S TT 3,4

20. Demostrar ¬R

(1) Q&T P
(2) Q → ¬R P
(3) T → ¬R P
(4) Q S1
(5) ¬R PP 1,2

21. Demostrar y + 8 < 12

(1) x + 8 = 12 V x ≠ 4 P
(2) x=4 & y<x P
(3) x + 8 = 12 & y < x → y + 8 < 12 P
(4) x=4 S2
(5) y<x S2
(6) x + 8 = 12 PT 1,4
(7) x + 8 = 12 & y < x A 5,6
(8) y + 8 < 12 PP 3,7

22. Demostrar x < 4 & y <6

 (1) x+2<6 →x<4 P
(2) y < 6 V ¬ (x + y <10) P
(3) x + y < 10 & x + 2 < 6 P
(4) x+2<6 S3
(5) x + y < 10 S3
(6) x<4 PP 1,4
(7) y<6 PP 2,5
(8) x<4 & y<6 A 6,7

23. Demostrar x = 5 & x ≠ y

(1) x=y→x≠y+3 P
(2) x=y+3 V x+2=y P
(3) x+2≠y & x=5 P
(4) x=5 S3
(5) x+2≠y S3
(6) x=y+3 TP 2,5
(7) x≠y TT 1,6
(8) x=5 & x≠y A 4,7

24. Demostrar y > z

(1) x=y → x=z P

(2) x≠y →x<z P
(3) ¬ (x < z) V y > z P
(4) y≠z & x≠z P
(5) x≠z S4
(6) x≠y TT 1,5
(7) x<z PP 2,6
(8) y>z PP 3,7

25. Demostrar x < 5

(1) x<y V x=y P

(2) x=y → y≠5 P
(3) x<y & y=5→x<5 P
(4) y=5 P
(5) y=5→x<5 S3
(6) x<5 PP 4,5

26. Demostrar tan θ ≠ 0.577

(1) tan θ = 0.577 → sen θ = 0.500 & cos θ = 0.866 P

(2) sen θ = 0.500 & cos θ = 0.866 → cot θ = 1.732 P
(3) sec θ = 1.154 V cot θ ≠ 1.732 P
(4) sec θ ≠ 1.154 P
(5) cot θ ≠ 1.732 TP 3,4
(6) sen θ ≠ 0.500 & cos θ ≠ 0.866 TT 2,5
(7) tan θ ≠ 0.577 TT 1,6
27. Demostrar ¬ (y > 7 V x = y)

(1) x<6 P
(2) y > 7 V x = y → ¬ (y = 4 & x < y) P
(3) y ≠ 4 → ¬ (x < 6) P
(4) x<6 → x<y P
(5) ¬¬ y = 4 TT 1,3
(6) y =4 DN5
(7) x<y PP 1,4
(8) y =4 & x < y A 6,7
(9) ¬ (y > 7 V x = y) TT 2,8

28. Demostrar x > 6

(1) x > 5 → x = 6 V x > 6 P

(2) x ≠ 5 & ¬ (x<5) → x > 5 P
(3) x < 5 → x ≠ 3 + 4 P
(4) x = 3 + 4 & x ≠ 6 P
(5) x = 3 + 4 → x≠ 5 P
(6) x = 3 + 4 S4
(7) x ≠ 6 S4
(8) ¬ (x<5) TT 3,6
(9) x ≠ 5 PP 5,6
(10) x ≠ 5 & ¬ (x<5) A 7,8
(11) x>5 PP 2,10
(12) x=6 V x>6 PP 1,11
(13) x>6 TP 7, 12

29. Demostrar x = 4

(1) 3 x + 2 y = 18 & x + 4 y = 16 P
(2) x = 2 → 3 x + 2 y ≠ 18 P
(3) x=2 V y=3 P
(4) x≠4 → y≠3 P
(5) 3 x + 2 y = 18 S1
(6) x≠2 TT 2,5
(7) y=3 TP 3,6
(8) ¬¬x=4 TT 4,7
(9) x=4 DN8