Introducción a la lógica moderna / Andrés Páez ; diseño de carátula Az Estudio ; collage Alejandra Rodríguez ; diseño y diagramación Editer Estrategias Educativas Ltda.

Prefacio, xiii -- 1. Conceptos básicos de la lógica, 1 -- Primera parte. La lógica proposicional -- 2. Introducción a la lógica proposicional, 31 -- 3. Semántica del lenguaje LP, 57 -- 4. Árboles de verdad de LP, 84 -- 5. Deducción natural en LP, 109 -- Segunda parte. La lógica de primer orden -- 6. Introducción a la lógica de predicados, 147 -- 7. Semántica del lenguaje LC, 212 -- 8. Árboles de verdad de LC, 263 -- 9. Deducción natural en LC, 296 -- Tercera parte. La lógica modal proposicional -- 10. Introducción a la lógica modal, 331 -- 11. Árboles de verdad modales, 356 -- 12. Deducción natural modal, 375 -- Apéndice. Respuestas a los ejercicios pares, 389 -- Bibliografía, 523.

Es un libro de texto dedicado al estudio de la lógica simbólica elemental. No presupone familiaridad alguna con la lógica, las matemáticas o la filosofía, y se ha hecho un esfuerzo deliberado por adaptarlo a los intereses de estudiantes provenientes de las más diversas disciplinas. Al mismo tiempo, los conceptos centrales son expuestos de una manera precisa y rigurosa, sin ocultar los detalles y problemas técnicos y filosóficos que hacen de la lógica un área de estudio interesante en sí misma. El libro está dividido en tres partes. La primera se ocupa de la lógica proposicional, la segunda de la lógica de primer orden y la tercera de la lógica modal proposicional. Los tres temas se estudian semánticamente utilizando árboles de verdad, y sintácticamente a través de sistemas de deducción natural. Al final de cada sección hay numerosos ejercicios de práctica, la mitad de los cuales son resueltos en el apéndice. El texto está diseñado para un curso de un año de duración y permite gran flexibilidad en el diseño del mismo.