formal logic

Từ điển WordNet v3.1 - WordNet 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 (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