ELEMENTOS DE LÓGICA FORMAL

ÍNDICE: Primera parte NOCIONES DE TEORÍA DE CONJUNTOS Capítulo 1. El concepto de conjunto Capítulo 2. Operaciones con conjuntos Capítulo 3. Relaciones Capítulo 4. Funciones Capítulo 5. Conjuntos ?nitos e in?nitos Segunda parte ´ LÓGICA PROPOSICIONAL Capítulo 6. Sintaxis de los lenguajes proposicionales Capítulo 7. Semántica de los lenguajes proposicionales Capítulo 8. Equivalencia lógica Capítulo 9. Consecuencia lógica Capítulo 10. Formas normales Capítulo 11. Lógica proposicional y lenguaje natural Tercera parte ´ LÓGICA DE PRIMER ORDEN Capítulo 12. Sintaxis de los lenguajes de primer orden Capítulo 13. Semántica de los lenguajes de primer orden Capítulo 14. Verdad, equivalencia y consecuencia lógica Capítulo 15. Lógica de primer orden con símbolos funcionales Capítulo 16. Cálculo deductivo Capítulo 17. Teorías y modelos Apéndice A. Soluciones a los ejercicios señalados Apéndice B. Alfabeto griego Índice de materias Introducción 2ª NUEVA EDICIÓN. Elementos de lógica formal es un manual de introducción a la lógica, escrito especialmente para estudiantes de filosofía, pero también para aquellas personas con formación humanística interesadas en materias que requieran conocimientos lógicos