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