MATHEMATICAL LOGIC I
Learning outcomes of the course unit
Learning of the basic elements of first-order predicate Logic.
Course contents summary
A calculus of sequents for the classical propositional logic. First-order languages and predicate natural deduction.
Semantics. Non-contradictory sets and satisfiable sets of formulas. Various equivalent formulations of the completeness theorem and the various classical metatheorems as its corollaries.
 H. Enderton, A Mathematical Introduction to Logic, Academic Press 1972.
 W. S. HATCHER, Fondamenti della matematica, Boringhieri 1973.
 E. Mendelson, Introduzione alla logica matematica, Boringhieri 1972.
 C. Reggiani & M. Servi, Lezioni di Logica Matematica, 1, Libreria S. Croce 2002.
Oral lectures plus assignment of exercises to carry out that will then be corrected during the laboratory hours by the students in turns.