First-order logic

This course aims to introduce first-order logic, also known as predicate calculus.

In particular, we will cover the following concepts:

1. Syntax of terms and formulas.

2. Interpretations, models.

3. Formal proofs in the calculation of sequents.

4. Prenex forms, Skolem forms, normal forms.

5. Unification, resolution.

6. Introduction to Prolog.

7. Completeness Theorem (classical sequent calculus and resolution calculus for the

   (classic models).

8. An Informal Introduction to the Undecidability and Incompleteness of Arithmetic.