Schema della sezione
-
- Limiti del Calcolo Proposizionale
- Sintassi della Logica del Primo Ordine: Alfabeto, Grammatica, Termini, Formule
- Occorrenze legate e libere di variabili; Formule aperte e chiuse
Dispense: [LP1], Sezioni 8 e 8.1 [pag 27-31]. [LMB-INF] Capitolo 4, "Logica dei Predicati", pag 50-55, fino a Sezione 4.3.1 esclusa.
- Limiti del Calcolo Proposizionale