¿Qué es?

La lógica matemática es la disciplina que se vale de métodos de análisis y razonamiento. Utilizando el lenguaje de las matemáticas como un lenguaje analítico. La lógica matemática nos ayuda a establecer criterios de verdad, equivalencias lógicas tales como el silogismo, hacer demostraciones de teoremas y es auxiliar en el análisis de argumentos planteados.