propositional calculus - English Synonyms Dictionary

propositional calculus

n.
[1] propositional logic