LÓGICA MATEMÁTICA 

Es la disciplina que estudia 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 que participan en el análisis de argumentos planteados. 


Dentro de la misma, se complementa también de la heurística para resolver problemas y es muy útil en matemáticas. 


Suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.