noun
- Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.
- synonyms: symbolic logic, formal logic
WordNet 3.0 © 2006 by Princeton University
| APA | WordNet. (2010). mathematical logic. Retrieved September 21, 2026, from http://smartdefine.org/mathematical_logic/definitions/1293979 |
| Chicago | WordNet. 2010. "mathematical logic" http://smartdefine.org/mathematical_logic/definitions/1293979 (accessed September 21, 2026). |
| Harvard | WordNet 2010, mathematical logic, Smart Define, viewed 21 September, 2026, <http://smartdefine.org/mathematical_logic/definitions/1293979>. |
| MLA | WordNet. "mathematical logic" 23 October 2010. Web. 21 September 2026. <http://smartdefine.org/mathematical_logic/definitions/1293979> |