Descripción
Lógica para principiantes
Resumen del libro
Este manual está diseñado específicamente para quienes se inician en el estudio de la lógica, ya sea desde la filosofía o la informática. Con un enfoque moderno y accesible, la obra combina una sólida base teórica con numerosos ejemplos prácticos y ejercicios. Su principal valor reside en presentar técnicas de demostración sencillas y eficaces, como los diagramas de Venn y los tableaux semánticos, facilitando la comprensión de la lógica proposicional y de primer orden. Incluye, además, un CD interactivo con más de 2.000 ejercicios resueltos para un aprendizaje autónomo y eficaz.
¿De qué trata?
El libro ofrece una introducción completa y sistemática a la lógica, poniendo un énfasis especial en la semántica. A lo largo de sus páginas, el lector aprenderá a manejar herramientas fundamentales como los diagramas de Venn para la lógica de predicados monarios, los tableaux semánticos, y los cálculos de resolución y deducción natural, tanto para la lógica proposicional como para la de primer orden. La obra se estructura de forma progresiva, partiendo de los conceptos más básicos hasta alcanzar un nivel de comprensión que permite abordar los teoremas habituales de la metalógica. Todo ello se complementa con apéndices que incluyen un glosario de términos, un índice analítico y notas históricas sobre los fundamentos de la lógica en el siglo XX.
Temas principales
- Lógica proposicional y de primer orden.
- Semántica lógica y técnicas de interpretación.
- Métodos de prueba: diagramas de Venn, tableaux semánticos, deducción natural y resolución.
- Lógica de predicados monarios.
- Metalógica y teoremas fundamentales.
¿Para quién está recomendado?
Está dirigido a estudiantes universitarios de los primeros cursos de las facultades de Filosofía e Informática, así como a cualquier persona interesada en adentrarse en el razonamiento formal y la lógica matemática desde una base sólida y práctica. Es especialmente útil para quienes buscan un enfoque interdisciplinar y accesible.
Qué aporta este libro
- Proporciona técnicas de demostración claras y aplicables, facilitando la resolución de problemas lógicos.
- Ofrece un CD interactivo con más de 2.000 ejercicios y soluciones para un aprendizaje autónomo y reforzado.
- Presenta un enfoque moderno que integra la lógica con aplicaciones en filosofía e informática.
- Incluye materiales de apoyo como glosario, índice analítico y notas históricas para una comprensión completa.
Ficha técnica
- Autor: Manzano, María; Huertas, Antonia
- Editorial: Alianza Editorial
- Idioma: Español
- Tema: FILOSOFIA: LOGICA
- Colección: ALIANZA UNIVERSIDAD
- Encuadernación: Bolsillo
- Fecha de edición: febrero de 2004
- Número de páginas: 440
- Peso: 200 g
Valoración editorial
Este manual destaca por su equilibrio entre rigor académico y accesibilidad pedagógica. La inclusión de un CD interactivo con una amplia batería de ejercicios lo convierte en una herramienta didáctica excepcional para el autoaprendizaje. Es una opción recomendable para estudiantes que necesitan una base sólida y práctica en lógica, tanto en el ámbito filosófico como en el informático, gracias a su enfoque interdisciplinar y a la claridad de sus explicaciones.