Schema della sezione
-
Data 11/10/2018 Titolo Logica del Primo Ordine: Motivazioni e Sintassi Argomenti - Limiti del Calcolo Proposizionale
- Sintassi della Logica del Primo Ordine: Alfabeto, Grammatica, Termini, Formule
- Occorrenze legate e libere di variabili; Formule aperte e chiuse
Materiale didattico - [LP1], Sezioni 8 e 8.1 [pag 29-33]
- [LMB-INF], Capitolo 4, "Logica dei Predicati", pag 50-53.
Lucidi LPP-2018-06.pdf