Introduction

Étapes pour l'interprétation d'une formule

Interprétation des termes

Interprétation des formules atomiques

Expression booléenne associée à une formule logique

Expressions booléennes

Interprétation d'une formule logique

Formule logiques et expressions booléennes

Formules satisfiables, formules insatisfiables, formules valides

Relation de conséquence sémantique

Formules logiquement équivalentes

Formules valides vs. formules prouvables