Engelsk substantiv: propositional calculus | |||
| 1. | propositional calculus (om erkjendelse) a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them | ||
| Ord med samme betydning (synonymer) | propositional logic | ||
| Mindre spesifikke uttrykk | formal logic, mathematical logic, symbolic logic | ||