propositional logic is a noun meaning "a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them". It carries one recorded sense.
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Definitions, synonyms and semantic relations for propositional logic come from Princeton University’s WordNet. Commonness is measured against a corpus of everyday English. Full sources and licences.