Corso di Logica - a.a.

2018/19
Esercizi - 5

1 Esercizio
Dimostrate la validità delle seguenti sequenze che si trovano nel Lemmon con
gli alberi, poi provatele utilizzando la deduzione naturale:

1. (Cap.)1. (§) 2. 1 (a) (p. 22)

2. 1.2.1(c)

3. 1.3.1 (b) (p. 31)

4. 1.3.1 (d) 1.3.1 (e)

5. 1.4.1 (a) (p. 37)

6. 1.4.1 (b)

7. 1.5.1 (a) (p. 45)

2 Esercizio
Lemmon, pp. 22-23: esercizi 1 e 2.

3 Esercizio
Lemmon, pp. 31-32: esercizi 1 e 2.

1
4 Esercizio
Lemmon, p. 37: esercizio 1.

5 Esercizio
Lemmon, p. 45: esercizio 1.

6 Esercizio
Dimostrate le seguenti sequenze:

1. P ∧ Q ` P ∨ Q

2. P → (Q ∧ R) ` (P → Q) ∧ (P → R)

3. (P → Q), (P → R), P ` Q ∧ R

4. P → (Q ∧ R) ` (P ∧ Q) ↔ (P ∧ R)

5. ¬P → ¬Q, ¬P, R ∨ ¬R ` ¬Q ∨ R

6. P ` ¬(¬P ∧ Q)

7. ¬(P ∧ ¬Q), P ` Q

8. P ↔ Q, Q ↔ R ` P ↔ R

9. P ↔ Q ` ¬P ↔ ¬Q

10. ¬P ∨ Q ` ¬(P ∧ ¬Q)

11. P → Q, P → ¬Q ` ¬P

12. (P → Q) ∧ (P → R) ` P → (Q ∧ R)

13. P → Q ` P ∧ R → Q ∧ R

14. P → Q ` P ∨ R → Q ∨ R

15. ¬P → P ` P

2
 16. ¬P ` P → Q

17. P ∧ Q ` P → Q

18. ¬P ` (P → Q) ↔ ¬P

19. P ∧ Q a` ¬(P → ¬Q)

20. P ∨ (Q ∨ R) ` Q ∨ (P ∨ R)

21. (¬A → ¬B) ∧ (¬B → B) ` A

22. ¬E ∨ G, ¬E → G ` G

23. P ∧ (Q ∨ R) a` (P ∧ Q) ∨ (P ∧ R)

24. ¬A ∧ ¬B ` A ↔ B

25. P → (Q → (R → S)) ` R → (P → (Q → S))

26. P ` (¬(Q → R) → ¬P ) → (¬R → ¬Q)

27. Q → R ` (P ∨ Q) → (P ∨ R)

28. P → Q ` ¬P ∨ Q

29. P ∨ Q, (Q → R) ∧ (¬P ∨ S), ((Q ∧ R) → T ` T ∨ S

30. P ∧ Q → R ∨ S ` (P → R) ∨ (Q → S)

31. P ∨ Q → R ∧ S ` (P → R) ∧ (Q → S)

32. D → E, E → (Z ∧ W ), ¬Z ∨ ¬W ` ¬D

33. (W → S) ∧ ¬M, (¬W → H) ∨ M, (¬S → H) → K ` K

34. ((K ∧ J) ∨ I) ∨ ¬Y, Y ∧ ((I ∨ K) → F ) ` F ∨ N

35. F → (G → H), ¬I → (F ∨ H), F → G ` I ∨ H

7 Esercizio
Lemmon, p. 69-70: esercizi 1 e 3.

3
8 Esercizio
Dimostrate i seguenti teoremi:

1. ` P → P

2. ` P → (Q → (P ∧ Q))

3. ` ¬(P ↔ ¬P )

4. ` (P → Q) → (¬Q → ¬P )

5. ` (P ∧ Q) ∨ (¬P ∨ ¬Q)

6. ` Q → (P ∨ ¬P )

7. ` (P ∧ ¬P ) → Q

8. ` ¬(P ∧ ¬(Q → P ))

9. ` (P → (Q ∧ R)) → (P → R)

10. ` (P → ¬Q) → ¬(P ∧ Q)

11. ` ((P ∨ Q) ∧ ¬(P ∧ Q)) → (Q ↔ ¬P )

12. ` ¬(P ↔ Q) ↔ (¬P ↔ Q)

13. ` P → (P ∨ Q)

14. ` (P → Q) ∨ (Q → P )

15. ` (P → ¬P ) → ¬P

16. ` (P → (Q → R)) ↔ (Q → (P → R))

17. ` (P → Q) ∧ (P → ¬Q) → ¬P

18. ` (P → Q) → ((P → (Q → R)) → (P → R))

19. ` ((P → Q) → (P → R)) → ((P → (Q → R))

20. ` ((P → Q) → P ) → P

21. ` (P ↔ Q) ∧ (R ↔ S) → (P ∨ R ↔ Q ∨ S)

4
22. ` ((P → Q) → Q) ↔ ((Q → P ) → P )

23. ` (P → (Q ∧ R)) → ((P ∧ Q) ↔ (P ∧ R))

24. ` (P → (Q ∧ R)) ↔ ((¬Q ∨ ¬R) → ¬P )

25. ` (P → (Q ↔ R)) ↔ (P → ((¬Q ∨ R) ∧ (¬R ∨ Q))

26. ` (P ∧ Q) ↔ ¬(¬P ∨ ¬Q)

27. ` (P ∨ Q) ↔ ¬(¬P ∧ ¬Q)

28. ` (P ∧ Q) ↔ ¬(P → ¬Q)

29. ` (P ∨ Q) ↔ ¬P → Q

30. ` P ↔ ((P ∧ Q) ∨ (P ∧ ¬Q))

31. ` ¬(P → Q) ↔ (P ∧ ¬Q)

32. ` (P ↔ Q) ↔ ((P ∧ Q) ∨ (¬P ∧ ¬Q))

33. ` ¬(P ↔ Q) ↔ ((¬P ∧ Q) ∨ (P ∧ ¬Q))

34. ` (P ∧ ¬P ) ↔ (Q ∧ ¬Q)

35. ` (P ∨ ¬P ) ↔ (Q ∨ ¬Q)