Synonyms/Hypernyms (Ordered by Estimated Frequency) of noun propositional_calculus

1 sense of propositional calculus

Sense 1
propositional logic, propositional calculus -- (a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them)
       => symbolic logic, mathematical logic, formal logic -- (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)