La lógica matemática utiliza métodos de razonamiento, proporciona reglas y técnicas para determinar si es o no valido un argumento dado.
El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas.
En esta sección se presenta un panorama genenal de la lógica y el razonamiento, desde la idea general de inferencia, la deducción formal en matemáticas y el uso para la justificación de conceptos matemáticos.
También se presenta una sección donde se incluyen problemas diversos de razonamiento que sirven para que el alumno desarrolle su habilidad de razonar.