Introduction - Valuations

Interprétation des termes et des formules atomiques

Interprétation de quantificateurs : exemples

Interprétation des formules : exemples

Schéma d'interprétation des formules de la logique du premier ordre

Interprétation des formules : valuations et occurrences libres des variables

Formules satisfiables, modèles, formules valides

Relation de conséquences, formules équivalentes

Formules valides vs. formules prouvables