{"id":5693,"date":"2017-02-14T15:26:50","date_gmt":"2017-02-14T14:26:50","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5693"},"modified":"2017-02-15T05:30:09","modified_gmt":"2017-02-15T04:30:09","slug":"lmf2017-sintaxis-y-semantica-de-la-logica-proposicional-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-sintaxis-y-semantica-de-la-logica-proposicional-2\/","title":{"rendered":"LMF2017: Sintaxis y sem\u00e1ntica de la l\u00f3gica proposicional (2)"},"content":{"rendered":"<p>En la primera parte de la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-16\">L\u00f3gica matem\u00e1tica y fundamentos<\/a> se ha continuado el estudio de la sem\u00e1ntica de la l\u00f3gica proposicional.<\/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 30-34 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-16\/temas\/tema-1.pdf\">tema 1<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la primera parte de la clase de hoy del curso L\u00f3gica matem\u00e1tica y fundamentos se ha continuado el estudio de la sem\u00e1ntica de la l\u00f3gica proposicional. Se ha demostrado la equivalencia de los siguientes problemas decidir si una f\u00f3rmula es consecuencia l\u00f3gica de un conjunto finito de f\u00f3rmulas, decidir si una f\u00f3rmula es una&#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":[264],"tags":[315,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\/5693"}],"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=5693"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5693\/revisions"}],"predecessor-version":[{"id":5695,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5693\/revisions\/5695"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5693"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5693"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5693"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}