Objectifs – acquis d’apprentissage
Prouver une formule de la logique des propositions et des prédicats du premier ordre.
Prérequis
Algèbre de Boole à deux éléments. Notions élémentaires sur les ensembles.
Contenu pédagogique
Donner des bases concernant la logique classique, à travers les logiques propositionnelle et du premier ordre.
Logique propositionnelle : syntaxe, sémantique, système formel, aspects algorithmiques, représentation des connaissances en logique propositionnelle.
Logique du premier ordre : syntaxe, sémantique, système formel, aspects algorithmiques, représentation des connaissances en logique du premier ordre.