Loading page
propositional calculus has 1 distinct synonym spread across 1 of its 1 sense. Each sense below keeps its own list, because a synonym belongs to a meaning and not to a word: swapping one sense's substitute into another sense's sentence is how a thesaurus makes writing worse. WordNet records no antonym for it — antonymy is a relation between word forms rather than concepts, so it is deliberately sparse.
Counts are distinct word forms across every sense. A synonym that appears under three senses is counted once here and shown three times below, under each sense it belongs to.
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Synonyms, antonyms and the broader and narrower relations for propositional calculus come from Princeton University’s WordNet. Full sources and licences.