LI2014: Semántica de la lógica proposicional (2)
En la primera parte de la clase de hoy del curso de Lógica Informática se ha demostrado la equivalencia de los siguientes problemas
- decidir si una fórmula es consecuencia lógica de un conjunto finito de fórmulas,
- decidir si una fórmula es una tautología,
- decidir si una fórmula es insatisfacible y
- decidir si un conjunto de fórmulas es inconsistente.
Como aplicación se ha visto la decisión de la corrección de un argumento y la resolución de rompecabezas lógicos.
También, se ha explicado cómo se puede usar en la resolución de los anteriores problemas el Gateway to Logic.
En la segunda parte de la clase se han comentado las soluciones de los ejercicios de la 1ª relación y se han propuesto los de la 2ª relación.
Las transparencias de esta clase son las páginas 31-34 del tema 1