LI2011: Semántica de la lógica proposicional (1)

En la clase de hoy del curso Lógica Informática se ha comenzado 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 los valores de verdad, las funciones de verdad, las interprestaciones, el valor de verdad de las fórmulas respectos de las interpretaciones, los modelos de fórmulas, la clasificación semántica de fórmulas (satisfacibles, insatisfacibles, tautologías, contradictorias y contigentes), los problemas SAT y TAUT. Finalmente, se han visto dos algoritmos para la solución de los problemas SAT y TAUT: tablas de verdad y método de Quine.

Como tarea pendientes se propone la resolución de los ejercicios 11, 26, 32 y 33 del capítulo 1 del libro de ejercicios.

Las transparencias de esta clase son las páginas 14-25 del tema 1