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