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