propositional calculus

noun

Definition of propositional calculus

: the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only

called also sentential calculus

— compare predicate calculus

First Known Use of propositional calculus

1903, in the meaning defined above

Keep scrolling for more