Ven 11 ottobre 2013 Calcolo proposizionale:
sintassi, semantica vero-funzionale, la procedura "semantic tableaux" da
Proof Search in logica classica, pp.1-9.
Settimana 2
Mer 16 ottobre 2013 Esercitazioni sulla procedura;
regole che preservano la validità e regole semanticamente invertibili.
Provabilità con il cut e senza cut. Il problema dell'identità
delle prove.
Ven 18 ottobre 2013 I sistemi di deduzione nello stile di Hilbert.
Dimostrazione del Teorema di Deduzione. Equivalenza dei sistemi di Genzen
(con il Cut) e sistemi di Hilbert.
Settimana 3
Mer 23 ottobre 2013Logica proposizionale nel trattamento di Bell and Machover.
Strong completeness for the propositional calculus.
Settimana 4
Mer 30 ottobre 2013
Uso del Lemma di Zorn nel teorema di completezza forte.
Correzione compito per casa, deduzione naturale e sistemi di Hilbert
(cenni).
Ven 1 novembre 2013 Festa religiosa.
Settimana 5
Mer 6 novembre 2013
Calcolo dei predicati. Basic semantic definition.
Ven 8 novembre 2013
Calcolo dei predicati. Substitution.