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.
|
|
|
Words linked to "Mathematical logic" : modal logic, functional calculus, propositional logic, Boolean logic, propositional calculus, system of logic, logical system, logic, predicate calculus, Boolean algebra, fuzzy logic |
Copyright © 2024 e-Free Translation.com |