Corso di Logica - a.a.

2018/19 Esercizi - 1

1 Esercizio
Individuare fra quelle che seguono le formule ben formate (ffbf) usando le
regole di formazione e motivare le risposte per mezzo di una dimostrazione
(induttiva).

1. A

2. (A

3. (A)

4. (¬A)

5. (A → B)

6. A → (

7. (A → (B ∧ C)

8. ((P ∧ Q) → R)

9. ¬(A → B)

10. ¬A → B

11. (A ∧ B ∧ C)

12. A ∨ (B ∧ C ∨ D)))

13. P ¬ → W )

14. ((P ) → (Q))

1
 15. ¬(P ↔ (Q ∧ R))

16. (¬(Q ∧ ¬(B)) ∨ (D ↔ (G ∨ B)))

17. ¬¬¬¬¬¬¬¬¬P

18. ¬¬¬¬¬¬P → Q

2 Esercizio
Isolate l’ambito di applicazione delle occorrenze dei connettivi nelle ffbf del-
l’esercizio 1.

3 Esercizio
Nelle ffbf che seguono indicare l’ambito di applicazione di ciascun connettivo
e dire se si tratta di un connettivo principale o subordinato.

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

2. ((P ∨ Q) → Q)

3. (P ∨ (Q → P ))

4. (((P → Q) ∧ P ) → P )

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

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

4 Esercizio
Modificare le formule dell’esercizio precedente secondo le convenzioni per
eliminare le parentesi.

2
5 Esercizio
Indicare se le seguenti proposizioni sono vere o false:

1. 45 ∈ {x : x è un numero naturale minore di 37}

2. Roma ∈ {x : x è una capitale europea}

3. {Roma, Atene, Berlino} ∈ {x : x è una capitale europea}

4. {x : x è un numero dispari} ∈ {x : x è un numero naturale}

5. {0, 1, 2} ∈ {x : x è un numero naturale minore di 3}