lógica simbólica, lógica booleana

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity: propositional calculus, modal logic, propositional logic, predicate calculus, logic, Boolean logic, fuzzy logic, functional calculus, Boolean algebra, logical system, system of logic, formal logic, mathematical logic