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 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. Ciertamente se usa en forma constante el
razonamiento lógico para realizar cualquier actividad.
La lógica estudia la forma del
razonamiento, es una disciplina que por medio de reglas y técnicas determina si
un argumento es válido. La lógica es ampliamente aplicada en la Filosofía, Matemáticas, Computación, Física. En la
filosofía para determinar si un razonamiento es válido o no, ya que una frase
puede tener diferentes interpretaciones, sin embargo la lógica permite saber el
significado correcto. En las matemáticas para demostrar teoremas e inferir
resultados matemáticas que puedan ser aplicados en investigaciones.
