propositional calculus

noun

, Logic.

1. sentential calculus.

propositional calculus

noun

1. 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

Example Sentences

I closed my eyes and went over the propositional calculus, trying to visualize the truth tables for conjunction, disjunction, equivalence, and material implication.

From Literature