Logique des propositions

Définition

Logique dont les objets sont des énoncés construits par composition à partir d'énoncés de base, qui sont susceptibles d'être soit vrais, soit faux.

Français

logique des propositions

logique propositionnelle

Anglais

propositional logic

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary