A l’issue du cours, l’étudiant doit savoir faire la différence entre syntaxe et sémantique, savoir formaliser l’énoncé d’un problème et savoir utiliser la théorie des modèles ou la théorie de la démonstration pour montrer la satisfiabilité (non satisfiabilité) de cet énoncé. L’étudiant doit également maîtriser les propriétés de consistance et de complétude d’un système logique.