calcul des propositions,calcul propositionnel,logique de proposition,logique propositionnelle /IT-TECH/
[DE] Aussagenlogik; propositionale Logik
[EN] propositional calculus; propositional logic
[FR] calcul des propositions; calcul propositionnel; logique de proposition; logique propositionnelle