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