Elementos de Lógica Simbólica

ELEMENTOS DE LÓGICA SIMBÓLICA......Page 1
Copyright......Page 4
Índice......Page 5
Nota Preliminar......Page 7
§ 1. ¿De qué se ocupa la lógica?......Page 9
§ 2. La lógica y lo "lógico"......Page 11
§ 3. ¿Qué es un razonamiento?......Page 12
§ 4. Razonamiento deductivo y no deductivo......Page 14
§ 5. ¿Qué es un razonamiento correcto?......Page 15
§ 6. Validez y verdad......Page 19
§ 7. El proceso de abstracción. Las formas lógicas......Page 20
Notas al capítulo 1......Page 22
§ 1. Proposiciones atómicas y moleculares. Conectivas......Page 23
§ 2. Tablas de verdad......Page 26
§ 3. Funciones de verdad. Extensionalidad de las conectivas......Page 30
§ 4. Conectivas lógicas y lenguaje usual......Page 32
§ 5. Simbolización......Page 38
§ 6. Tautología, contradicción y contingencia. Consistencia e inconsistencia. Tautología y ley lógica......Page 40
§ 7. Leyes de la lógica proposicional......Page 43
§ 8. Validez de razonamientos y tablas de verdad. Condicional asociado......Page 45
§ 9. Implicación, deducibilidad y equivalencia......Page 49
§ 10. El método demostrativo......Page 50
Notas al capítulo 2......Page 57
§ 1. Individuos y predicados......Page 60
§ 2. Función proposicional y cuantificación......Page 63
§ 3. Concepto de ley en lógica de funciones......Page 65
§ 4. Equivalencia y distribución de cuantificadores......Page 67
§ 5. Grado de un predicado. Los predicados poliádicos. La cuantificación múltiple......Page 69
§ 6. Leyes del movimiento de cuantificadores......Page 73
§ 7. Simbolización en lógica de funciones......Page 75
§ 8. La demostración. Reglas de generalización y ejemplificación......Page 78
§ 9. Tratamiento tradicional de las proposiciones categóricas. Inferencias inmediatas......Page 86
§ 10. Crítica moderna al cuadrado de oposición......Page 89
§ 11. Teoría clásica del silogismo; análisis moderno......Page 92
Notas al capítulo 3......Page 95
§ 1. Clases y propiedades......Page 97
§ 2. Clase y pertenencia......Page 98
§ 3. Clase universal y clase nula......Page 100
§ 4. Operaciones con clases......Page 101
§ 5. Relaciones entre clases......Page 105
§ 6. Inclusión y pertenencia......Page 106
§ 7. Proposiciones categóricas; simbolización y diagramas de Venn......Page 109
§ 8. Resolución de silogismos categóricos......Page 111
§ 9. Leyes de la lógica de clases......Page 117
§ 10. Método demostrativo en lógica de clases......Page 120
§11. Clases, proposiciones y álgebras de Boole......Page 122
Notas al capítulo 4......Page 123
§ 2. Referente y relato. Dominio, codominio y campo......Page 125
§ 3. Propiedades formales de las relaciones......Page 127
§ 4. Análisis de algunos tipos de relaciones; equivalencia, orden, sene......Page 131
§ 5. Vinculación entre propiedades de las relaciones......Page 133
§ 6. Univocidad y multivocidad de las relaciones. Funciones......Page 134
§ 7. Álgebra de relaciones......Page 136
§ 8. Método demostrativo en lógica de relaciones......Page 139
Notas al capítulo 5......Page 141
Índice de la carpeta de ejercicios......Page 142