propositional calculus propositional • propositional logic · · · Info · Definitions · Synonyms · Characters · · propositional calculus · · Text Common · · Latin · · Scripts 22 · · Length 8 · · Syllables Definitions · · · (noun) a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them. Synonyms: propositional logic, propositional calculus. · · Noun Definition 1 Synonyms · · · propositional logic · · Synonym 1 Characters · · space U+0020 a latin small letter a U+0061 c latin small letter c U+0063 i latin small letter i U+0069 l latin small letter l U+006C n latin small letter n U+006E o latin small letter o U+006F p latin small letter p U+0070 r latin small letter r U+0072 s latin small letter s U+0073 t latin small letter t U+0074 u latin small letter u U+0075