{"id":4479,"date":"2014-10-01T17:25:53","date_gmt":"2014-10-01T15:25:53","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=4479"},"modified":"2014-10-06T16:48:44","modified_gmt":"2014-10-06T14:48:44","slug":"li2014-semantica-de-la-logica-proposicional-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2014-semantica-de-la-logica-proposicional-2\/","title":{"rendered":"LI2014: Sem\u00e1ntica de la l\u00f3gica proposicional (2)"},"content":{"rendered":"<p>En la primera parte de la clase de hoy del curso de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-14\">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,<\/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.<\/p>\n<p>Tambi\u00e9n, se ha explicado c\u00f3mo se puede usar en la resoluci\u00f3n de los anteriores problemas el <a href=\"http:\/\/logik.phl.univie.ac.at\/~chris\/gateway\/formular-uk-zentral.html\">Gateway to Logic<\/a>.<\/p>\n<p>En la segunda parte de la clase se han comentado las soluciones de los ejercicios de la <a href=\"http:\/\/bit.ly\/1v0wauX\">1\u00aa relaci\u00f3n<\/a> y se han propuesto los de la <a href=\"http:\/\/bit.ly\/1pFXPLg\">2\u00aa relaci\u00f3n<\/a>.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 31-34 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-14\/temas\/tema-1.pdf\">tema 1<\/a><br \/>\n<!--more--><br \/>\n<div class=\"jetpack-video-wrapper\"><iframe src='https:\/\/www.slideshare.net\/slideshow\/embed_code\/6980175' width='1290' height='1057' sandbox=\"allow-popups allow-scripts allow-same-origin allow-presentation\" allowfullscreen webkitallowfullscreen mozallowfullscreen><\/iframe><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la primera parte de la clase de hoy del curso de 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&#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":[239],"tags":[306,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\/4479"}],"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=4479"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4479\/revisions"}],"predecessor-version":[{"id":4480,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4479\/revisions\/4480"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=4479"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=4479"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=4479"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}