/ English Dictionary |
PROPOSITIONAL CALCULUS
Pronunciation (US): | (GB): |
I. (noun)
Sense 1
Meaning:
A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Synonyms:
propositional calculus; propositional logic
Classified under:
Nouns denoting cognitive processes and contents
Hypernyms ("propositional calculus" is a kind of...):
formal logic; mathematical logic; symbolic logic (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)