{"id":1228,"date":"2011-02-22T12:24:10","date_gmt":"2011-02-22T12:24:10","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1228"},"modified":"2011-02-23T05:24:37","modified_gmt":"2011-02-23T05:24:37","slug":"li2011-semantica-de-la-logica-proposicional-1","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-semantica-de-la-logica-proposicional-1\/","title":{"rendered":"LI2011: Sem\u00e1ntica de la l\u00f3gica proposicional (1)"},"content":{"rendered":"

En la clase de hoy del curso L\u00f3gica Inform\u00e1tica<\/a> se ha comenzado el estudio de la sem\u00e1ntica proposicional desde el punto de vista computacional; es decir, se ha ido definidendo los conceptos sem\u00e1nticos y comentando su posible implementaci\u00f3n.<\/p>\n

Los conceptos definidos son los valores de verdad, las funciones de verdad, las interprestaciones, el valor de verdad de las f\u00f3rmulas respectos de las interpretaciones, los modelos de f\u00f3rmulas, la clasificaci\u00f3n sem\u00e1ntica de f\u00f3rmulas (satisfacibles, insatisfacibles, tautolog\u00edas, contradictorias y contigentes), los problemas SAT y TAUT. Finalmente, se han visto dos algoritmos para la soluci\u00f3n de los problemas SAT y TAUT: tablas de verdad y m\u00e9todo de Quine.<\/p>\n

Como tarea pendientes se propone la resoluci\u00f3n de los ejercicios 11, 26, 32 y 33 del cap\u00edtulo 1 del libro de ejercicios<\/a>.\n<\/ul>\n

Las transparencias de esta clase son las p\u00e1ginas 14-25 del tema 1<\/a>
\n
\n