First-Order Logic

First-Order Logic, also called predicate logic or predicate calculus, extends propositional Logic with functions, relations, and quantification over individuals.

Recall our informal summary Predicate Logic Informally, as well as lecture06 on formal treatment of propositional logic. We next give such precise treatment to first-order logic. In future lectures we cover questions of automation for first-order logic.

Announcement: mathematical logic course (in French) this semester.