Contenus :

·        Syntaxe et sémantique de la logique propositionnelle

·        Équivalences logiques et formes normales (CNF, DNF)

·        Règles d'inférence : modus ponens, modus tollens, résolution

·        Algorithme de résolution pour la logique propositionnelle

·        Systèmes de preuve et déduction naturelle

Objectifs pédagogiques :

·        Formaliser des énoncés du langage naturel en logique propositionnelle

·        Appliquer les règles d'inférence pour démontrer des théorèmes

·        Comprendre le principe de la résolution et l'utiliser pour prouver la validité d'un raisonnement

Analyser les limites de la logique propositionnelle