{"id":5075,"date":"2015-10-01T18:31:16","date_gmt":"2015-10-01T16:31:16","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5075"},"modified":"2015-10-01T18:31:16","modified_gmt":"2015-10-01T16:31:16","slug":"li2015-semantica-de-la-logica-proposicional-y-deduccion-natural","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2015-semantica-de-la-logica-proposicional-y-deduccion-natural\/","title":{"rendered":"LI2015: Sem\u00e1ntica de la l\u00f3gica proposicional y deducci\u00f3n natural"},"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-15\">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>A continuaci\u00f3n, se ha comentado distintos <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li\/temas\/tema-1-tipos-problemas.pdf\">tipos de problemas<\/a> que se pueden plantear sobre la sintaxis y sem\u00e1ntica de la l\u00f3gica proposicional.<\/p>\n<p>Finalmente, se ha comenzado el estudio de los c\u00e1lculos deductivos (cuyo problema fundamental es dado un conjunto de f\u00f3rmulas S y una f\u00f3rmula F, decidir si F es deducible de S (en notaci\u00f3n, S \u22a2 F)). Adem\u00e1s, se requiere que los c\u00e1lculos sean adecuados y completos (es decir; que S \u22a7 F si, y s\u00f3lo si, S \u22a2 F).<\/p>\n<p>El primer c\u00e1lculo deductivo que estudiamos es el de deducci\u00f3n natural. 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>En la segunda parte de la clase se han comentado las soluciones de los ejercicios 26.1, 27.1, 28, 29.2, 30.1 del cap\u00edtulo 1 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li\/ejercicios\/ejercicios-LI-2015-16.pdf\">libro de ejercicios<\/a>. En la soluci\u00f3n del \u00faltimo, se ha explicado c\u00f3mo comprobar las formalizaciones usando <a href=\"http:\/\/bit.ly\/1OaEWBX\">APLI2<\/a>.<\/p>\n<p>Se propusieron para la pr\u00f3xima clase los ejercicios 32 a 37 del cap\u00edtulo 1 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li\/ejercicios\/ejercicios-LI-2015-16.pdf\">libro de ejercicios<\/a>.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1-5 del tema 2<\/p>\n<p><iframe loading=\"lazy\" src=\"\/\/www.slideshare.net\/slideshow\/embed_code\/key\/HssyNFKLTy0OxM\" width=\"425\" height=\"355\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" style=\"border:1px solid #CCC; border-width:1px; margin-bottom:5px; max-width: 100%;\" allowfullscreen> <\/iframe><\/p>\n<div style=\"margin-bottom:5px\">  <\/div>\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":[249],"tags":[309,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\/5075"}],"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=5075"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5075\/revisions"}],"predecessor-version":[{"id":5076,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5075\/revisions\/5076"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5075"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5075"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5075"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}