Defenition of the word mathematical logic
-
Defenition of the word mathematical logic
- A subfield of mathematics with close connections to computer science and philosophical logic.
- any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Synonyms for the word mathematical logic
-
- formal logic
- symbolic logic
Hyponyms for the word mathematical logic
-
- Boolean algebra
- Boolean logic
- functional calculus
- fuzzy logic
- modal logic
- predicate calculus
- propositional calculus
- propositional logic
Hypernyms for the word mathematical logic
-
- logic
- logical system
- system of logic
See other words