lógica formal

Sustantivo

Rama de la lógica que estudia la validez de los razonamientos mediante sistemas formales y símbolos.
La lógica formal es fundamental en la filosofía y las matemáticas.

synonyms: lógica matemática, lógica simbólica