{"id":3732,"date":"2013-10-04T20:42:50","date_gmt":"2013-10-04T18:42:50","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3732"},"modified":"2013-10-04T21:03:20","modified_gmt":"2013-10-04T19:03:20","slug":"li2013-equivalencia-de-problemas-proposicionales-deduccion-natural","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2013-equivalencia-de-problemas-proposicionales-deduccion-natural\/","title":{"rendered":"LI2013: Equivalencia de problemas proposicionales. Deducci\u00f3n natural"},"content":{"rendered":"<p>En la primera parte de la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\">L\u00f3gica Inform\u00e1tica<\/a> 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,\n<li> decidir si una f\u00f3rmula es una tautolog\u00eda,\n<li> decidir si una f\u00f3rmula es insatisfacible y\n<li> decidir si un conjunto de f\u00f3rmulas es inconsistente.\n<\/ol>\n<p>En la segunda parte hemos comenzado el estudio de la deducci\u00f3n natural proposicional. Las reglas que se han visto en la clase de hoy son las de la conjunci\u00f3n y de la doble negaci\u00f3n. <\/p>\n<p>Adem\u00e1s, se ha comentado c\u00f3mo formalizar en Isabelle\/HOL la demostraci\u00f3n del primer ejemplo, presentado distintas demostraciones: detallada (que sea parecida a la mostrada en las transparencias), estructurada y autom\u00e1tica. El c\u00f3digo de las demostraciones se encuentran en la <a href=\"http:\/\/bit.ly\/16JvBN8\">teor\u00eda del tema 3<\/a>.<\/p>\n<p>Finalmente, se han comentado las soluciones de la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosLI2013G2\/index.php5\/Relaci%C3%B3n_3\">3\u00ba relaci\u00f3n de ejercicios<\/a>. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la primera parte de la clase de hoy del curso L\u00f3gica Inform\u00e1tica 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 tautolog\u00eda, decidir si una f\u00f3rmula es insatisfacible y decidir si un conjunto de f\u00f3rmulas&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","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":[223],"tags":[144,301,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\/3732"}],"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=3732"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3732\/revisions"}],"predecessor-version":[{"id":3735,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3732\/revisions\/3735"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3732"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3732"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3732"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}