propositional calculus Syllabification: (prop·o·si·tion·al cal·cu·lus)Definition of propositional calculus noun the branch of symbolic logic that deals with propositions and the relations between them, without examination of their content. propositional calculus in other Oxford dictionaries Definition of propositional calculus in the British & World English dictionary