Schema della sezione
-
Data 08/11/2018 Titolo Logica del Primo Ordine: Proof System (3) Argomenti - Linguaggio del Primo Ordine con Uguaglianza
- Regole di inferenza: Generalizzazione e Skolemizzazione
- Esempi di dimostrazioni con Skolemizzazione
- Esempio: formalizzare (non) continuità di una funzione sui reali
Materiale didattico - [LP1], pag 49-51
Lucidi LPP-2018-11.pdf