Notas
1-La lógica de enunciados y su lenguaje
- átomos (lenguaje de enunciado)
- Conectivas
- Convenciones para simplificar la notación de enunciados
- Cuestiones que trata la lógica
- Formalizar
- Lenguaje de enunciados
- Lenguaje formal
- Reglas para construir enunciados correctamente a partir de los elementos básicos
2-La Deducción natural
- Conclusión putativa
- Deducción natural
- Deducción
- El objetivo de la validación de razonamientos es dictaminar si la conclusión se desprende o no de las premisas, es decir, dictaminar si la aceptación de las premisas comporta, ineludiblemente, la aceptación de la conclusión.
- Notación de la aplicación de reglas para la deducción natural
- Planteamiento de la demostración mediante la obtención de la conclusión
- Planteamiento de la demostración por conducción de las premisas
- Proceso de demostración
- Regla de eliminación de la conjunción
- Regla de eliminación de la disyunción o prueba por casos
- Regla de eliminación de la implicación
- Regla de eliminación de la negación
- Regla de introducción de la conjunción
- Regla de Introducción de la implicación
- Regla de introducción de la negación
- Regla de iteración
- Regla de la introducción de la disyunción
- Reglas de inferencia
- Validar un razonamiento
3-Verdad y falsedad: alternativa y complemento de la deducción natural
- Antinomia
- Contingente (Lógica)
- Dos enunciados son deductivamente equivalentes, si y sólo si, sus tablas de verdad son idénticas.
- La deducción natural es un método de validación de razonamientos puramente sintáctico
- Razonamiento con premisas inconsistentes
- Tabla de verdad (Lógica)
- Tautología
- Valor de la verdad (Lógica)
4-El álgebra de enunciados
5-Resolución
- Cuando dos cláusulas uniliterales como A y ﹁A se resuelven una contra otra, la resolvente (contradicción) no contiene ningún literal. Por esta razón, con frecuencia se denomina cláusula vacía
- Cuando la regla de resolución se aplica a dos cláusulas se dice que éstas se resuelven entre ellas. Resolver una cláusula contra otra significa aplicarles la regla de resolución. A la cláusula resultante se le denomina resolvente.
- En el contexto del método de resolución es bastante habitual utilizar la palabra cláusula en lugar de la palabra disyunción. A cada uno de los disyuntandos de una cláusula se le denomina literal
- Estrategia del conjunto de apoyo
- Regla de subsunción
- Regla del literal puro
- Replanteamiento de la última decisión
- Resolución (Lógica)
- Resolución lineal