Introducción a la lógica matemática

Introducción a la lógica matemática é do autor Jesús Tinoco del Valle e tentar

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. 10