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 valido un argumento dado. El razonamiento lógico se emplea en matemática 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 usamos en forma constante el razonamiento lógico para realizar cualquier actividad. Toda estructura matemática necesita tener un razonamiento válido a través de un lenguaje que sea de uso universal.
No hay comentarios:
Publicar un comentario