Schema della sezione
-
- Dimostrazione di Tautologie
- Tabelle di verità
- Dimostrazioni per sostituzione
- Leggi del Calcolo Proposizionale
Dispense: [LP1], fino a pag 10; [LMB-INF] Sezione 1.4, "Dimostrazioni per sostituzione", pag 4-7, e sezione 3.2.1, "Interpretare le formule proposizionali", pag. 32-35.