Anh
propositional calculus
propositional logic
Đức
Aussagenlogik
propositionale Logik
Pháp
calcul des propositions
calcul propositionnel
logique de proposition
logique propositionnelle
Aussagenlogik,propositionale Logik /IT-TECH/
[DE] Aussagenlogik; propositionale Logik
[EN] propositional calculus; propositional logic
[FR] calcul des propositions; calcul propositionnel; logique de proposition; logique propositionnelle