Actividades matemáticas para desarrollo de procesos lógicos: razonar

Este no es un libro de lógica; sin embargo, pretende aportar a su aprendizaje mediante el planteamiento de tareas y de diversas alternativas para su abordaje. En unas actividades el estudiante está en condiciones de crear conocimiento matemático nuevo para él, como las descritas en los cinco primeros capítulos; otras son para estudiar y comparar propuestas matemáticas establecidas como las descritas en los capítulos restantes. Inicia con una discusión sobre el concepto de verdad, de argumentación, de razonamientos válidos para lograr una construcción intuitiva de las reglas de inferencia deductivas, pasando por razonamientos no demostrativos, los cuales permiten obtener informaciones nuevas que no están contenidas en las premisas; estas son las inferencias inductivas y las abductivas, donde se hacen inducciones y conjeturas a partir de observaciones particulares. Buscamos estructuras algebraicas estudiando las propiedades de las operaciones lógicas, las abstraemos y axiomatizamos; seguidamente, expresamos unas en términos de las otras, encontrando relaciones que nos servirán para explicar las verdades lógicas conocidas como tautologías y obtener otras estructuras algebraicas como los retículos.