propositional calculus


noun Logic.

Origin of propositional calculus

First recorded in 1900–05

British Dictionary definitions for propositional calculus

propositional calculus

noun

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