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