دانلود کتاب Elementos de lógica formal

فهرست مطالب :

Índice
Prólogo
Introducción
PRIMERA PARTE:NOCIONES DE TEORÍA DE CONJUNTOS
CAPÍTULO 1. El concepto de conjunto
1. El principio de extensionalidad
2. La relación de inclusión
3. El principio de separación
4. Ejercicios
CAPÍTULO 2.Operaciones con conjuntos
1. Las operaciones básicas
2. Complementación
3. El conjunto potencia
4. Uniones e intersecciones generalizadas
5. Sobre la existencia de conjuntos
6. Ejercicios
CAPÍTULO 3. Relaciones
1. Introducción
2. Pares ordenados
3. Relaciones
4. Clases de relaciones
5. Relaciones de equivalencia y particiones
6. Relaciones de orden
7. Relaciones entre varios objetos
8. Ejercicios
CAPÍTULO 4. Funciones
1. El concepto de función
2. Biyectabilidad
3. Isomorfismo
4. Operaciones en un conjunto
5. Ejercicios
CAPÍTULO 5.Conjuntos finitos e infinitos
1. Los números naturales
2. El orden de los números naturales
3. Conjuntos finitos
4. Conjuntos infinitos
5. Ejercicios
SEGUNDA PARTE: LÓGICA PROPOSICIONAL
CAPÍTULO 6. Sintaxis de la lógica proposicional
1. Introducción
2. El lenguaje de la lógica proposicional
3. Subfórmulas
4. Ejercicios
CAPÍTULO 7. Semántica de la lógica proposicional
1. Verdad con una asignación
2. Tautologías y contradicciones
3. Tablas de verdad
4. Ejercicios
CAPÍTULO 8. Equivalencia lógica
1. El concepto de equivalencia lógica
2. Eliminación de conectivas
3. Ejercicios
CAPÍTULO 9. Consecuencia lógica
1. Satisfacibilidad
2. Consecuencia lógica
3. Ejercicios
CAPÍTULO 10. Formas normales
1. De tablas de verdad a fórmulas
2. Formas normales
3. Sistemas completos de conectivas
4. Ejercicios
CAPÍTULO 11. Lógica proposicional y lenguaje natural
1. Simbolización
2. Consecuencia y argumentación
3. Ejercicios
TERCERA PARTE: LÓGICA DE PRIMER ORDEN
CAPÍTULO 12. Sintaxis de los lenguajes de primer orden
1. Introducción
2. Los lenguajes de primer orden
3. Ejercicios
CAPÍTULO 13. Semántica de los lenguajes de primer orden
1. Estructuras
2. Verdad en una estructura
3. Simbolización
4. Ejercicios
CAPÍTULO 14. Verdad, equivalencia y consecuencia lógica
1. Verdad lógica
2. Equivalencia lógica
3. Consecuencia lógica
4. Ejercicios
CAPÍTULO 15. Lógica de primer orden con símbolos funcionales
1. Introducción
2. Sintaxis
3. Semántica
4. Ejercicios
CAPÍTULO 16. Cálculo deductivo
1. Introducción
2. El cálculo deductivo
3. Reglas derivadas
4. Algunos principios sobre deducibilidad
5. Ejercicios
CAPÍTULO 17. Teorías y modelos
1. Introducción y preliminares
2. El teorema de corrección
3. Conjuntos consistentes maximales
4. Teorías de Henkin y modelos canónicos
5. El teorema de completud
6. Aplicaciones
7. Teorías y axiomas
8. Definición de símbolos
9. Ejercicios
APÉNDICE A: SEMÁNTICA CON ASIGNACIONES
APÉNDICE B : ALFABETO GRIEGO
Índice de materias