Title: Calcul des prédicats
Course: Test d'acceptation: Moodle 2.0

First-order logic is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic. First-order logic is distinguished from propositional logic by its use of quantifiers; each interpretation of first-order logic includes a domain of discourse over which the quantifiers range.

Les concepts fondamentaux

La méthodes des arbres en calcul des prédicats

La déduction naturelle en calcul des prédicats