Definitions for "PROPOSITIONAL CALCULUS"
The system of symbolic logic concerned only with relations between propositions as wholes, taking no account of their internal structure.
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
a formal, deduction system, or proof theory for reasoning with propositional formulas as symbolic logic