noun
- A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them.
- synonyms: propositional calculus
WordNet 3.0 © 2006 by Princeton University
| APA | WordNet. (2010). propositional logic. Retrieved September 23, 2026, from http://smartdefine.org/propositional_logic/definitions/1215383 |
| Chicago | WordNet. 2010. "propositional logic" http://smartdefine.org/propositional_logic/definitions/1215383 (accessed September 23, 2026). |
| Harvard | WordNet 2010, propositional logic, Smart Define, viewed 23 September, 2026, <http://smartdefine.org/propositional_logic/definitions/1215383>. |
| MLA | WordNet. "propositional logic" 23 October 2010. Web. 23 September 2026. <http://smartdefine.org/propositional_logic/definitions/1215383> |