CALIXTO BADESA / IGNACIO JANÉ / RAMÓN JANSANA
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 finitos e infinitos
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
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.