mathematical logic

Từ điển Oxford Learners Wordfinder Dictionary

noun

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
• Syn:
symbolic logic, formal logic
• Hypernyms:
logic, logical system, system of logic
• Hyponyms:
Boolean logic, Boolean algebra, propositional logic, propositional calculus, predicate calculus,
functional calculus, modal logic, fuzzy logic