propositional calculus - English Synonyms Dictionary