Lógica formal

¿Por qué algunos razonamientos son necesariamente válidos, mientras que otros, aunque parezcan convincentes, contienen errores ocultos? ¿Y por qué incluso las teorías matemáticas más poderosas encuentran límites que no pueden superar? La lógica es mucho más que un conjunto de símbolos y reglas: es el lenguaje del pensamiento riguroso y una de las bases fundamentales de las matemáticas, la informática y la filosofía. Este libro ofrece una introducción clara y sistemática a la lógica formal moderna. Desde la lógica proposicional y la lógica de predicados hasta la lógica modal y diversas lógicas no clásicas, el lector descubrirá cómo analizar argumentos, construir demostraciones y comprender los principios que hacen posible el razonamiento formal. Junto a temas clásicos como equivalencias, formas normales y resolución, se presentan métodos de razonamiento automático y los célebres teoremas de incompletitud de Gödel, que revelan los límites inherentes de todo sistema formal suficientemente potente. Con numerosos ejemplos y ejercicios, esta obra es ideal para estudiantes, docentes y cualquier persona interesada en desarrollar un pensamiento más claro, preciso y crítico. Una invitación a descubrir la lógica no solo como una herramienta, sino como una de las ideas más profundas e influyentes de la historia del conocimiento.