mathematical logic
| 1. |
(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: formal logic, symbolic logic |
|
Related Words: Boolean algebra, Boolean logic, functional calculus, fuzzy logic, logic, logical system, modal logic, predicate calculus, propositional calculus, propositional logic, system of logic |
|
|