propositional calculus

noun

, Logic.

1. sentential calculus.

propositional calculus

noun

1. See predicate calculus
   the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure Compare predicate calculus

Word History and Origins

Origin of propositional calculus¹

First recorded in 1900–05