LES REGLES D’INFERÈNCIA. Exercicis.

Solucionari
Núm. 1. Demostrar: r Núm. 2. Demostrar: s Núm. 3. Demostrar: q
p→ r 1. p → s 1. t → q
p 2. q → p 2. - - t
r MP 1,2 3. q 3. q MP1,2
4. p MP 2,3
5. s MP 1,4

Núm. 4. Demostrar: - Núm. 5. Demostrar: - Núm. 6. Demostrar: - t

q 1. q → r s 1. s → q 1. q → r
2. – r 2. q → - t 2. t → - r
3. – q MT 1,2 3. - - t 3. q
4. – q MT 2,3 4. r MP 1,3
5. - s MT 1, 4 5. – t MT 2,4

Núm. 7. Demostrar: p Núm. 8. Demostrar: p ^ Núm. 9. Demostrar: p ^

1. p ^ q q 1. p q 1. p → q
2. p S,1 2. q 2. p
3. p ^ q Con 1,2 3. q MP1,2
4. p ^ q Con 2,3

Núm. 10. Demostrar: t Núm. 11. Demostrar: Núm. 12. Demostrar: t

1. q ^ r p 1. q V p 1. s → r
2. – t → - r 2. – q 2. s V t
3. r S,1 3. p SD1,2 3. – r
4. t MT 2,3 4. – s MT 1,3
5. t SD 2,4

Núm. 13. Demostrar: p Núm. 14. Demostrar: q → Núm. 15. Demostrar: t V

V r 1. p s 1. q → r s 1. p → s
2. p V r AD.1 2. r → s 2. p
3. q → s Tr 1,2 3. s MP1,2
4. s V t Ad. 3

Núm. 16. Demostrar: Núm. 16. Demostrar: -r Núm. 17. Demostrar: - -

-r 1. r → t (bis) 1. r → t p 1. r → p
2. t → q 2. t → q 2. – s V r
3. – q 3. – q 3. s
4. – t MT 2,3 4. r → q Tr.1,2 4. r SD 2,3
5. – r MT 1,4 5. – r MT 3,4 5. p MP 1,4
6. - - p DN, 5
18. Demostrar: p V t 19. Demostrar: p ^ q 20. Demostrar: - (p V q)

1. q V s 1. – (-p V – q) 1. – p
2. q → p 2. p ^ q DM, 1 2. – q
3. s → t 3. – p ^ - q Con 1,2
4. p V t Dil 1,2,3 4. – ( p V q) DM, 3

21. Demostrar: q V s 22. Demostrar: - ( q ^ - s) 23. Demostrar: p

1. – (- p V – q) 1. –q 1. q → p
2. p ^ q DM,1 2. – q V s Ad.1 2. – q → r
3. q S. 2 3. – (q ^ - s) DM 2 3. – r
4. q V s Ad. 3 4. q MT 2,3
5. p MP 1,4

24. Demostrar: - r 25. Demostrar: t ^ s 26. Demostrar: q V s

1. p V q 1. – ( - t V – q) 1. p → r
2. p → - r 2. – s → - q 2. r → q
3. – q 3. t ^ q DM, 1 3. p
4. p SD 1,3 4. q S, 3 4. p → q Tr 1,2
5. – r MP 2,4 5. s MT 2,4 5. q MP 3,4
6. t S, 3 6. q V s Ad. 5
7. t ^ s Con 4,6

27. Demostrar (p ^ s) ^ q 28. Demostrar : p V – q 29. Demostrar: r

1. – (- p ^ -s) 1. q ^ r 1. p ^ -t
2. p → r 2. s → - r 2. s → t
3. – q → p 3. – s → p 3. s V q
4. – r 4. r S,1 4. ( q ^ p) → r
5. – p MT 2,4 6. q MT 5. – s MT 2,5 5. – t S,1
3,5 7. p V s DM,1 8. 6. p MP 3,6 6. – s MT 2,5
(p V s) ^ q Con 7,6 7. p V – q Ad. 7 7. q SD 3,6
8. p S, 1
9. q ^ p Con 7,8
10. r MP 4,9

30. Demostrar: q 31. Demostrar: -r ^ -s 32. Demostrar p ^ q

1. – r → s 1. – p V – q 1. s → - r
2. s → (p ^ q) 2. – q → - r 2. r V t
3. r → t 3. – p → s 3. t → q
4. – t 4. – s 4. q → p
5. – r MT 3,4 5. p MT 3,4 5. s
6. s MP 1,5 6. – q SD. 1,3 6. – r MP 1,5
7. p ^ q MP 2,6 7. – r MP 2,6 7. t → p Tr. 3,4
8. q S,7 8. – r ^ - s Con 7,4 8. t S, 2
9. p MP 7,8
10. q MP 4,9
11. p ^ q Con 9,10
33. Demostrar: t 34. Demostrar: p 35. Demostrar: - - s

1. p V q 1. p ↔ s 1. r ↔ t
2. p → t 2. s 2. – t
3. q → - r 3. s → p Bi., 1 3. r V s
4. - - r 4. p MP 2,3 4. t → r Bi, ,1
5. t V r Dil. 1,2,3 5. – r MT 2,4
6. t SD 4,5 6. s SD 3,5
7. - - s DN 6

36. Demostrar: p V t 37. Demostrar: p 38. Demostrar: - t

1. q V s 1. s V t 1. t ↔ p
2. q → p 2. s → p 2. r ↔ p
3. s → t 3. t → - q 3. – r
4. p V t Dil 1,2,3 4. q 4. r → p Bi, 2
5. p V – q Dil. 1,2,3 6. 5. – p MT 3,4
p SD 4,5 6. t → p Bi, 1
7. – t MT 5,6