La lógica matemática, a menudo denominada lógica simbólica, es una rama de las matemáticas que utiliza símbolos y notaciones lógicas para representar conceptos relacionados con las matemáticas y otras ciencias. Se utilizan para crear cadenas lógicas que pueden ayudar a comprender mejor un problema, encontrar soluciones y explorar teorías. Se basa en el uso de axiomas (afirmaciones aceptadas como verdaderas sin pruebas) y reglas de inferencia (métodos de razonamiento con verdades aceptadas y pruebas lógicas).
La lógica matemática es un lenguaje y tiene una definición formal. Su terminología incluye variables (símbolos que se utilizan para representar objetos matemáticos como números o conjuntos), operaciones lógicas (símbolos de operaciones lógicas como y, o, no y si-entonces), funciones, relaciones y predicados. Este lenguaje puede utilizarse para expresar conceptos, condiciones y relaciones en matemáticas u otras ciencias. También puede utilizarse para describir el funcionamiento de los algoritmos informáticos.
La lógica matemática se aplica en entornos académicos para resolver problemas filosóficos y científicos. También se utiliza ampliamente en tecnología e informática para la programación y la ciberseguridad. Puede utilizarse para crear algoritmos informáticos que resuelvan problemas complejos, verificar la autenticidad de mensajes cifrados o identificar actividades maliciosas en las redes.
Los fundamentos de la lógica matemática siempre han sido la base de los avances actuales en informática, programación y ciberseguridad. Es un tema de estudio tanto en entornos académicos como prácticos, y es la base de una serie de métodos y técnicas en esos campos. Dada su importancia, la lógica matemática sigue siendo un tema de estudio habitual tanto en los programas de matemáticas como en los relacionados con la informática.