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.
No hay comentarios:
Publicar un comentario