Engelsk navneord: mathematical logic |
1. | mathematical logic (om erkendelse) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity |
|
| Termer med samme betydning (synonymer) | formal logic, symbolic logic |
|
| Mindre specifikke termer | logic, logical system, system of logic |
|
| Mere specifikke termer | Boolean algebra, Boolean logic, functional calculus, fuzzy logic, modal logic, predicate calculus, propositional calculus, propositional logic |
|