{"id":5314,"date":"2016-02-18T19:02:57","date_gmt":"2016-02-18T18:02:57","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5314"},"modified":"2016-02-19T19:12:18","modified_gmt":"2016-02-19T18:12:18","slug":"lmf2016-semantica-de-la-logica-proposicional","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2016-semantica-de-la-logica-proposicional\/","title":{"rendered":"LMF2016: Sem\u00e1ntica de la l\u00f3gica proposicional"},"content":{"rendered":"<p>En la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-15\">L\u00f3gica matem\u00e1tica y fundamentos<\/a> se ha explicado la sem\u00e1ntica de la l\u00f3gica proposicional. Concretamente, los conceptos definidos son los valores de verdad, las funciones de verdad, las interpretaciones, 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 contingentes), 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<p>Otros conceptos definidos son equivalencia de f\u00f3rmulas, modelos de conjuntos de f\u00f3rmulas, conjuntos consistentes e inconsistentes y consecuencia l\u00f3gica.<\/p>\n<p>Se ha demostrado la equivalencia de los siguientes problemas<\/p>\n<ol>\n<li>decidir si una f\u00f3rmula es consecuencia l\u00f3gica de un conjunto finito de f\u00f3rmulas,<\/li>\n<li>decidir si una f\u00f3rmula es una tautolog\u00eda,<\/li>\n<li>decidir si una f\u00f3rmula es insatisfacible y<\/li>\n<li>decidir si un conjunto de f\u00f3rmulas es inconsistente.<\/li>\n<\/ol>\n<p>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 rompecabezas se ha explicado el uso del <a href=\"http:\/\/logik.phl.univie.ac.at\/~chris\/gateway\/formular-uk-zentral.html\">Gateway to Logic<\/a>.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 16-34 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-15\/temas\/tema-1.pdf\">tema 1<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy del curso L\u00f3gica matem\u00e1tica y fundamentos se ha explicado la sem\u00e1ntica de la l\u00f3gica proposicional. Concretamente, los conceptos definidos son los valores de verdad, las funciones de verdad, las interpretaciones, 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&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[256],"tags":[312,189],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5314"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=5314"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5314\/revisions"}],"predecessor-version":[{"id":5318,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5314\/revisions\/5318"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5314"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5314"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5314"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}