{"id":1247,"date":"2011-02-25T12:05:54","date_gmt":"2011-02-25T12:05:54","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-semantica-de-la-logica-proposicional-2\/"},"modified":"2011-02-25T12:06:23","modified_gmt":"2011-02-25T12:06:23","slug":"li2011-semantica-de-la-logica-proposicional-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-semantica-de-la-logica-proposicional-2\/","title":{"rendered":"LI2011: Sem\u00e1ntica de la l\u00f3gica proposicional (2)"},"content":{"rendered":"

En la clase de hoy del curso L\u00f3gica Inform\u00e1tica<\/a> se ha completado 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 equivalencia de f\u00f3rmulas, modelos de conjuntos de f\u00f3rmulas, conjuntos consistentes e inconsistentes y consecuencia l\u00f3gica.<\/p>\n

Se ha demostrado 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. En la soluci\u00f3n del rompecabeza se ha explicado el uso del Gateway to Logic<\/a>.<\/p>\n

    Se ha comentado las soluciones de los ejercicios 25, 32 y 33 del tema 1.<\/p>\n

    Como tarea pendientes se propone la resoluci\u00f3n de los restantes ejercicios del tema 1 del libro de ejercicios<\/a>.\n<\/ul>\n

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