English noun: propositional calculus | |||
1. | propositional calculus (cognition) a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them | ||
Synonyms | propositional logic | ||
Broader (hypernym) | formal logic, mathematical logic, symbolic logic | ||