Prefacio: 1. Conceptos básicos de la lógica. p.1.-- Primera Parte: . La lógica proposicional. 2. Introducción a la lógica proposicional. p.31.-- 3. Semántica del lenguaje LP. p. 57.-- 4. Árboles de verdad de LP. p.83.-- 5. Deducción natural en LP. p. 109.-- Segunda Parte: Lo lógica del primer orden. 6. Introducción a la lógica de predicados. p.147.-- 7. Semántica del lenguaje LC. p.212.-- 8. Árboles de verdad de LC. p. 263.-- 9. Deducción natural en LC. p.296.-- Tercera Parte: La lógica modal proposicional. 10. Introducción a la lógica modal. p.331.-- 11. árboles de verda modales. p.356.-- 12. Deducción natural modal. p.375