Home ▸ Appunti ▸ Logica

Appunti di logica matematica, branca della matematica che studia i sistemi formali.

1. Logica proposizionale: definizioni ed esempi

2. Operatori logici fondamentali

3. Altri operatori logici

4. Tavole di verità di espressioni logiche complesse

5. Proprietà elementari degli operatori logici

6. Le leggi di De Morgan

7. La Logica dei predicati: definizioni ed esempi

8. Logica dei predicati: la negazione

9. Logica deduttiva: definizioni e dimostrazioni

10. Logica deduttiva: esempi

11. Introduzione alla logica booleana