Calendario delle lezioni del corso di Matematica Discreta: Logica 2015-2016 LEZIONE del 6/10/2015 Argomentazioni, mondi possibili, formule ben formate, tavole di verità. LEZIONE 13/10/2015 Definizione di interpretazione. Valutazione delle formule mediante le tavole di verità. Formule soddisfacibili, insoddisfacibili e tautologie. LEZIONE 20/10/2015 Esempi di formule Soddisfacibili, valide e insoddisfacibili. Teorema: P è una tautologia se e solo se NOT P è insoddisfacibile. Soddisfacibilità di un insieme di formule. Esempi. LEZIONE 27/10/2015 Conseguenza logica: Esempi Teorema: P è conseguenza logica di Gamma sse Gamma U {NOT P} è insoddisfacibile. Esempi. LEZIONE 3/11/2015 Esercitazione su soddisfacibilità e conseguenza logica ESONERO 13/11/2015 Esonero su Soddisfacibilità e Conseguenza Logica nel Calcolo Proposizionale LEZIONE 17/11/2015 Teorema di deduzione. Esempi. Equivalenza Semantica: Esempi di equivalenze (leggi di De Morgan, distribitività, associatività, commutatività, ecc.). Forma normale disgiuntiva. Definizione ed esempi. LEZIONE 24/11/2015 Forma Normale Disgiuntiva e Forma Normale Congiuntiva. Trasformazione di una formula in Forma Normale Congiuntiva e in Forma Normale Disgiuntiva. LEZIONE 1/12/2015 Algoritmo per costruire una formula in Forma Normale Disgiuntiva (o Congiuntiva) data una funzione di verità. Introduzione alla Deduzione Naturale. LEZIONE 15/12/2015 Deduzione Naturale: regiole per l'introduzione ed eliminazione della disgiunzione, della negazione e Reductio ad Absurdum. LEZIONE 22/12/2015 Il calcolo dei predicati: termini, formule atomiche, quantificatori esistenziali e universali. La nozione di Interpretazione nel calcolo dei predicati. LEZIONE 12/01/2016 Esempi ed esercizi sul calcolo dei predicati. LEZIONE 19/01/2016 Esercitazione sul calcolo dei predicati.