 propositional_calculus |
||
| 1. | [ noun ] (mathematics,logic) a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them | |
| Synonyms: | propositional_logic | |
| Related terms: | symbolic_logic | |
| Similar spelling: |
propositional_logic prepositional_phrase prepositional_object |
|
