lógica matemática

Sustantivo

rama de las matemáticas que estudia principios de razonamiento y estructura lógica formal.
La lógica matemática es fundamental en la teoría de la computación.

synonyms: lógica formal, lógica proposicional