Noun: propositional calculus
- A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
"propositional calculus deals with simple statements that are either true or false";
- propositional logic
Type of: formal logic, mathematical logic, symbolic logic
Encyclopedia: Propositional calculus