Resultado de búsqueda
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, 1 es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
La lógica matemática es un método de razonamiento que sirve para poder contar con reglas y técnicas adecuadas para así poder conocer si un argumento que ha sido proporcionado tiene validez o no. En el campo de las matemáticas, la lógica sirve principalmente para poder demostrar los teoremas.
La lógica matemática es una rama de la matemática que se ocupa del estudio de los principios y métodos utilizados en el razonamiento válido y la inferencia lógica. Utiliza herramientas y conceptos formales para analizar y estructurar argumentos de manera que se garantice la validez de las conclusiones.
25 de ene. de 2021 · La lógica matemática es la ciencia que estudia el razonamiento, a través de proposiciones que se evalúan únicamente de dos maneras: verdadero o falso. Se parte de una o varias afirmaciones, llamadas “premisas”, y de ellas se obtienen otras afirmaciones, que constituyen la “conclusión”.
En la sección 3 nos centramos en la matemática como tema de la lógica matemática; particularmente en la estructura de la aritmética (números naturales con la sucesión, suma y multiplicación) y en las posibilidades de representación y axiomatización en un lenguaje de primer orden.
una idea clara de qué es eso de la lógica matemática y quiere obtenerla de este libro, podrá hacerlo, pero no meramente leyendo esta introducción, sino leyendo varios capítulos, y aun si los lee todos, deberá tener presente que el alcance de la lógica matemática va mucho más allá de lo que se recoge aquí.
Prólogo: Atocha Aliseda Llera | Instituto de Investigaciones Filosóficas | UNAM. Revisor pedagógico: Francisco Gabriel Ruiz Sosa.