formal logic

Noun

1.

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 Synonyms: mathematical logic, symbolic logic

Boolean algebra, Boolean logic, functional calculus, fuzzy logic, logic, logical system, mathematical logic, modal logic, predicate calculus, propositional calculus, propositional logic, symbolic logic, system of logic