calculus of logic
Definitions
A formal system for expressing and reasoning about logical propositions, often using symbols and rules of inference.
The branch of logic concerned with formal calculi, such as propositional or predicate calculus.
Examples
The calculus of logic helps formalize valid reasoning.
She studied the calculus of logic in her philosophy course.