{"id":5297,"date":"2016-02-11T17:33:19","date_gmt":"2016-02-11T16:33:19","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5297"},"modified":"2016-02-19T19:10:32","modified_gmt":"2016-02-19T18:10:32","slug":"lmf2016-sintaxis-y-semantica-de-la-logica-proposicional","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2016-sintaxis-y-semantica-de-la-logica-proposicional\/","title":{"rendered":"LMF2016: 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-15\">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>Las transparencias de esta clase son las p\u00e1ginas 1-24 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-15\/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":[243],"tags":[312,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\/5297"}],"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=5297"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5297\/revisions"}],"predecessor-version":[{"id":5317,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5297\/revisions\/5317"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5297"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5297"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5297"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}