Section outline
-
Data 25/10/2018 Titolo Logica del Primo Ordine: Proof System Argomenti - Modelli
- Formule valide e soddisfacibili
- Conseguenza logica
- Sistemi di dimostrazione
- Correttezza e completezza
- Validità del risultato di una dimostrazione
- Teorema di Deduzione
- Esercizi su semantica di formule del primo ordine Interpretazione di un linguaggio del primo ordine
Materiale didattico - [LP1], pag 40-47
Lucidi LPP-2018-09.pdf