propositional calculus

Definitions of propositional calculus
1

n a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

Synonyms:
propositional logic
Type of:
formal logic, mathematical logic, symbolic logic
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

Sign up, it's free!

Whether you're a student, an educator, or a lifelong learner, Vocabulary.com can put you on the path to systematic vocabulary improvement.