Corso di Logica - a.a.

2018/19
Esercizi - 2

1 Esercizio
• Definire una funzione di verità a due argomenti che dia valore ve-
ro quando i due argomenti non hanno lo stesso valore, e valore falso
altrimenti.

• Definire una funzione di verità a tre argomenti che dia valore vero
quando il secondo argomento ha valore vero, e valore falso altrimenti.

2 Esercizio
Fornire le tavole di verità delle seguenti ffbf.

1. (A ∨ ¬A) ∨ (A ∧ ¬A)

2. ¬A ∧ ¬(C ∧ ¬B)

3. ¬(C ∧ ¬B)

4. ¬(A ∧ ¬(C ∧ ¬B))

5. ¬(A ∨ ¬(C ∨ ¬B))

6. A ∧ (C ∧ ¬B)

7. A ∨ (B ∧ ¬A)

8. (A ∨ B) ∨ ¬(A ∨ B)

1
 9. A ∨ ¬(¬B ∧ C)

10. (A ∧ ¬B) ∧ ¬(C ∨ ¬D)

11. A ∧ ¬(B ∧ ¬(C ∨ ¬D))

12. (A → (B → C)) → (D → E)

13. (A → B) → (¬A → C)

14. ((A → B) → B) → B

15. (A ∧ B) ↔ (A ∨ ¬A)

16. (A ∧ B) ↔ (B ∧ ¬B)

3 Esercizio
Se A e B sono veri e C, D ed E sono falsi, qual è il valore di verità delle
seguenti ffbf?

1. (A ∨ D) → E

2. A ↔ (C ∨ B)

3. (E ∨ ¬D) → ¬A) → ((¬A ∧ ¬B) ∧ ((C ∧ D) ∧ E)

4. (A → (B → C)) → (D → E)

5. (A ∧ (C ∧ ¬B)) ∨ ((A ∨ D) → E)

6. ¬(C ∧ ¬B) ∧ ((A ∨ D) → E)

4 Esercizio
Calcolare la tavola di verità delle seguenti ffbf e stabilire quali sono tautolo-
giche, quali contraddittorie e quali contingenti:

1. P → P

2. P → ¬P

2
 3. ¬(P → P )

4. P ↔ ¬(P ∨ Q)

5. ¬((P → (Q ∧ R)) → (P → R))

6. A ∨ (B ∧ C) → A ∧ (B ∨ C)

7. ¬(B ∧ (C → (A ∧ C)))

8. (P ∨ Q) ∨ (¬P ∨ R)

9. (P ∧ Q) → (P ∨ Q)

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

11. (P ∧ Q) ∧ (¬P ∧ Q)

12. A ∧ (A ∨ B) ↔ A (prima legge di assorbimento)

13. A ∨ (A ∧ B) ↔ A (seconda legge di assorbimento)

14. A → (¬A → B) (seconda legge di Scoto)

15. (¬A → ¬B) → (B → A) (prima legge di contrapposizione)

16. (A → B) → (¬B → ¬A) (seconda legge di contrapposizione)

17. (A → ¬B) → (B → ¬A) (terza legge di contrapposizione)

18. (¬A → B) → (¬B → A) (quarta legge di contrapposizione)

19. ((A → B) → A) → A (legge di Peirce)

20. (A → B) ↔ ¬A ∨ B (legge di Filone Megarico)

21. (A → B) ↔ ¬(A ∧ ¬B) (legge di Crisippo)

22. (A → (B → C)) ↔ ((A → B) → (A → C)) (legge di Frege)

3
5 Esercizio
Quando seguenti ffbf sono vere? Dare la semantica.

1. P → P

2. P → ¬P

3. ¬(P → P )

4. P ↔ ¬(P ∨ Q)

5. ¬((P → (Q ∧ R)) → (P → R))

6. A ∨ (B ∧ C) → A ∧ (B ∨ C)

7. ¬(B ∧ (C → (A ∧ C)))

8. (P ∨ Q) ∨ (¬P ∨ R)

9. (P ∧ Q) → (P ∨ Q)

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

11. (P ∧ Q) ∧ (¬P ∧ Q)

12. (A → (B → C)) → (D → E)

13. (A → B) → (¬A → C)

14. ((A → B) → B) → B

15. (A ∧ B) ↔ (A ∨ ¬A)

16. (A ∧ B) ↔ (B ∧ ¬B)

17. (A → (B → C)) ↔ ((A → B) → (A → C))