{"id":6494,"date":"2019-02-14T21:43:59","date_gmt":"2019-02-14T20:43:59","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6494"},"modified":"2019-02-15T21:45:49","modified_gmt":"2019-02-15T20:45:49","slug":"lmf2018-sintaxis-y-semantica-de-la-logica-proposicional","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2018-sintaxis-y-semantica-de-la-logica-proposicional\/","title":{"rendered":"LMF2018: Sintaxis y 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-18\">L\u00f3gica matem\u00e1tica y fundamentos<\/a> se ha explicado la sintaxis de la l\u00f3gica proposicional insistiendo en el car\u00e1cter inductivo del tipo de datos de las f\u00f3rmulas proposicionales, del procedimiento de definiciones por recursi\u00f3n sobre las f\u00f3rmulas y de demostraci\u00f3n de propiedades por inducci\u00f3n sobre las f\u00f3rmulas.<\/p>\n<p>Finalmente, se ha iniciado el estudio de la sem\u00e1ntica de la l\u00f3gica proposicional definiendo los booleanos, las interpretaciones, las funciones de verdad de las conectivas y mostrando c\u00f3mo a partir de dichos conceptos se puede calcular el valor de verdad de una f\u00f3rmula respecto de una interpretaci\u00f3n.<\/p>\n<p>A partir de lo anterior se han estudiado 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>A continuaci\u00f3n se ha estudiado la equivalencia de f\u00f3rmulas.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1-26 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-18\/temas\/tema-1.pdf\">tema 1<\/a>.<\/p>\n<p>Se han propuesto como ejercios los de la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/LMF2019\/index.php\/R1\">1\u00aa relaci\u00f3n<\/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 sintaxis de la l\u00f3gica proposicional insistiendo en el car\u00e1cter inductivo del tipo de datos de las f\u00f3rmulas proposicionales, del procedimiento de definiciones por recursi\u00f3n sobre las f\u00f3rmulas y de demostraci\u00f3n de propiedades por inducci\u00f3n sobre las f\u00f3rmulas. Finalmente, se ha&#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":[268],"tags":[318,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\/6494"}],"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=6494"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6494\/revisions"}],"predecessor-version":[{"id":6496,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6494\/revisions\/6496"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6494"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6494"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6494"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}