propositional logic | sense examples, Usage and Definition from wordnet dictionary online

Noun propositional logic has 1 sense

propositional logic, propositional calculus - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
--₁ is a kind of symbolic logic, mathematical logic, formal logic