 propositional_logic |
||
| 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_calculus | |
| Related terms: | symbolic_logic | |
| Similar spelling: |
propositional_calculus prepositional_object prepositional_phrase |
|
