Elementos de lógica formal [texto impreso] / Calixto Badesa ; Ignasi Jané ; Ramón Jansana  . -  2a. ed. . - Barcelona : Ediciones Ariel, 2007 . - 381 p. ; 24 cm.
ISBN : 978-84-344-8777-2
Idioma : Español (spa)

Clasificación:	Logic Mathematical logic
Clasificación:	16 Lógica
Nota de contenido:	Prólogo, Introducción -- Primera parte. Nociones de Teoría de Conjuntos: 1. El concepto de conjunto: El principio de extensionalidad. La relación de inclusión. El principio de separación; 2. Operaciones de conjunto: Las operaciones básicas. Complementación. El conjunto potencia. Uniones e intersecciones generalizadas. Sobre la existencia de conjuntos; 3. Relaciones: Introducción. Pares ordenados. Relaciones. clases de relaciones. Relaciones de equivalencia y particiones. Relaciones de orden. Suma y producto de órdenes lineales. Relaciones entre más de dos objetos; 4. Funciones: El concepto de función. Biyectabilidad. Isomorfismo. Operaciones en un conjunto; 5. Conjuntos finitos e infinitos: Los números naturales. El orden de los números naturales. Conjuntos finitos. Conjuntos infinitos -- Segunda parte. Lógica Proposicional: 6. Sintaxis de los lenguajes proposicionales: Introducción. El lenguaje de la lógica proposicional. Inducción para fórmulas; 7. Semántica de los lenguajes proposicionales: verdad con una asignación. Tautologías y contradicciones. El método de las tablas de verdad; 8. Equivalencia lógica: El concepto de equivalencia lógica. Eliminabilidad de conectivas; 9. Consecuencia lógica: Satisfacibilidad. Consecuencias lógicas; 10. Formas normales: De tablas de verdad a fórmulas. Formas normales. Sistemas completos de conectivas; 11. Lógica proposicional y lenguaje natural: Simbolización. Ejemplos de argumentación -- Tercera parte. Sintaxis de los lenguajes de primer orden: Introducción. Lenguajes de primer orden; 13. Semántica de los lenguajes de primer orden: Estructuras. Conceptos fundamentales. Simbolización. Verdad en una estructura: Definición. Conjuntos definibles en una estructura; 14. Verdad, equivalencia y consecuencia lógica: Verdad lógica. Equivalencia lógica. Consecuencia lógica; 15. Lógica de primer orden con símbolos funcionales: Introducción. Sintaxis. Semántica; 16. Cálculo deductivo: Introducción. El cálculo dedauctivo. Reglas derivadas. Algunos principios de deducibilidad; 17. Teorías y Modelos: Introducción y preliminares. El teorema de corrección. Conjuntos consistentes maximales. Teorías de Henkin y modelos canónicos. El teorema de completud. Aplicaciones. Teorías y axiomas. Definición de símbolos - Apéndices: Soluciones a los ejercicios señalados; Alfabeto griego