{"id":5691,"date":"2017-02-08T17:24:31","date_gmt":"2017-02-08T16:24:31","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5691"},"modified":"2017-02-13T17:25:34","modified_gmt":"2017-02-13T16:25:34","slug":"lmf2017-sintaxis-y-semantica-de-la-logica-proposicional","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-sintaxis-y-semantica-de-la-logica-proposicional\/","title":{"rendered":"LMF2017: Sintaxis y sem\u00e1ntica de la l\u00f3gica proposicional"},"content":{"rendered":"<p>La clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-16\">L\u00f3gica matem\u00e1tica y fundamentos<\/a> ha tenido dos partes.<\/p>\n<p>En la primera parte se ha presentado un panorama de la l\u00f3gica y sus aplicaciones. Tambi\u00e9n se ha explicado c\u00f3mo formalizar en l\u00f3gica proposicional argumentos expresados en lenguaje natural. Para practicar con las formalizaciones se ha presentado <a href=\"http:\/\/bit.ly\/1PPACrt\">APLI2<\/a>.<\/p>\n<p>En la segunda parte 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>Otros conceptos definidos son equivalencia de f\u00f3rmulas, modelos de conjuntos de f\u00f3rmulas, conjuntos consistentes e inconsistentes y consecuencia l\u00f3gica.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1-30 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>La clase de hoy del curso L\u00f3gica matem\u00e1tica y fundamentos ha tenido dos partes. En la primera parte se ha presentado un panorama de la l\u00f3gica y sus aplicaciones. Tambi\u00e9n se ha explicado c\u00f3mo formalizar en l\u00f3gica proposicional argumentos expresados en lenguaje natural. Para practicar con las formalizaciones se ha presentado APLI2. En la segunda&#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\/5691"}],"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=5691"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5691\/revisions"}],"predecessor-version":[{"id":5692,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5691\/revisions\/5692"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5691"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5691"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5691"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}