La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido 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ísicas y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente, se usa en forma constante el razonamiento lógico para realizar cualquier actividad.
