Engelsk navneord: formal logic |
1. | formal 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) | mathematical 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 |
|