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