{"id":1604,"date":"2011-10-05T10:57:25","date_gmt":"2011-10-05T10:57:25","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-12-semantica-de-la-logica-proposicional\/"},"modified":"2011-10-05T10:57:46","modified_gmt":"2011-10-05T10:57:46","slug":"li2011-12-semantica-de-la-logica-proposicional","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-12-semantica-de-la-logica-proposicional\/","title":{"rendered":"LI2011-12: Sem\u00e1ntica de la l\u00f3gica proposicional"},"content":{"rendered":"

En la clase de hoy del curso L\u00f3gica Inform\u00e1tica<\/a> se ha continuado 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

Hemos continuado con el estudio de la sem\u00e1ntica de una f\u00f3rmula planteando los problemas SAT y TAUT y presentando dos algoritmos para su soluci\u00f3n: tablas de verdad y m\u00e9todo de Quine.<\/p>\n

Adem\u00e1s, se han definidos los conceptos de equivalencia de f\u00f3rmulas, modelos de conjuntos de f\u00f3rmulas, conjuntos consistentes e inconsistentes y la relaci\u00f3n de consecuencia l\u00f3gica.<\/p>\n

Se ha visto la equivalencia de los siguientes problemas <\/p>\n

    \n
  1. decidir si una f\u00f3rmula es consecuencia l\u00f3gica de un conjunto finito de f\u00f3rmulas,\n
  2. decidir si una f\u00f3rmula es una tautolog\u00eda,\n
  3. decidir si una f\u00f3rmula es insatisfacible y\n
  4. decidir si un conjunto de f\u00f3rmulas es inconsistente.\n<\/ol>\n

    Como aplicaci\u00f3n se ha visto la decisi\u00f3n de la correcci\u00f3n de un argumento y la resoluci\u00f3n de rompecabezas l\u00f3gicos. <\/p>\n

    Como tarea pendientes se propone la resoluci\u00f3n de los ejercios 27 a 37 del cap\u00edtulo 1 del libro de ejercicios<\/a>.\n<\/ul>\n

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