LI2011: Semántica de la lógica proposicional (2)
En la clase de hoy del curso Lógica Informática se ha completado el estudio de la semántica proposicional desde el punto de vista computacional; es decir, se ha ido definidendo los conceptos semánticos y comentando su posible implementación.
Los conceptos definidos son equivalencia de fórmulas, modelos de conjuntos de fórmulas, conjuntos consistentes e inconsistentes y consecuencia lógica.
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. En la solución del rompecabeza se ha explicado el uso del Gateway to Logic.
Se ha comentado las soluciones de los ejercicios 25, 32 y 33 del tema 1.
Como tarea pendientes se propone la resolución de los restantes ejercicios del tema 1 del libro de ejercicios.
Las transparencias de esta clase son las páginas 26-34 del tema 1