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