|
Từ điển Oxford Learners Wordfinder Dictionary
formal logic
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (Freq. 1) • Syn: symbolic logic, mathematical 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
|
|
|
|