propositional calculus

Noun

1.

propositional calculus - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them Synonyms: propositional logic

propositional calculus - propositional logic

formal logic, mathematical logic, propositional logic, symbolic logic