Introducción a la lógica matemática

Tinoco del Valle, Jesús, Hernández Sastoque, Eric, Escorcia Caballero, Edgardo

• Editorial: Editorial Unimagdalena
• Año: 2023
• ISBN de la versión impresa:
  9789587466089
• ISBN del libro electrónico:
  9789587466096
• Categoría: Matemáticas
• Categoría: Lógica en matemáticas

El libro Introducción a la Lógica Matemática parte del reconocimiento de la importancia de la lógica, en el sentido de contribuir con el lector en mejorar sus procesos de argumentación en contextos tanto científicos como coloquiales. Entre los propósitos de este libro está el de servir de texto de consulta para asignaturas como Lógica Matemática o áreas a fines y de ayudar a las personas que se interesan por esta temática a evitar la excesiva axiomatización, de tal manera que les permita hacer uso racional de la duda. El contenido desarrollado en el libro se presenta en siete capítulos que tratan asuntos como la descripción de los sistemas axiomáticos en una ruta histórica de la evolución de la lógica, la relación de las proposiciones con el idioma y bases para una argumentación adecuada, los procesos de deducción proposicional y cuantificacional, estructura lógica de teoremas y métodos de demostración. Cada capítulo del libro inicia con una actividad exploratoria que le permitirá al lector valorar qué tanto conoce sobre el tema. Al final de los capítulos se proponen numerosas situaciones o ejercicios cuyo propósito es lograr un dominio conceptual y contribuir con el desarrollo de destrezas en los temas correspondientes.

Índice

• El desarrollo de la lógica matemática
• Los sistemas axiomáticos
• Proposiciones
• Interpretaciones oracionales
• La inferencia o deducción proposicional
• Teoremas y métodos de demostración
• Lógica cuantificacional
• El método de inducción matemática
• Apéndice