Word

formal logic, n.
freq. cnt. 1

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
<noun.cognition> freq. cnt.: 1 freq. cnt.: 1

formal logic mathematical logic symbolic logic

semantic pointers

hypernym

logic, logical system, system of logic

hyponym

Boolean logic, Boolean algebra propositional logic, propositional calculus predicate calculus, functional calculus modal logic fuzzy logic