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, symbolic logic, propositional calculus, fuzzy logic, system of logic, propositional logic, predicate calculus, logic, logical system, functional calculus, formal logic, Boolean logic, Boolean algebra |
Copyright © 2024 Free Translator.org |