{"id":3746,"date":"2013-10-09T16:49:27","date_gmt":"2013-10-09T14:49:27","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3746"},"modified":"2013-10-09T16:54:27","modified_gmt":"2013-10-09T14:54:27","slug":"li2013-deduccion-natural-proposicional-1","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2013-deduccion-natural-proposicional-1\/","title":{"rendered":"LI2013: Deducci\u00f3n natural proposicional (1)"},"content":{"rendered":"<p>En la primera parte de la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\">L\u00f3gica Inform\u00e1tica<\/a> se ha empezado el estudio de la deducci\u00f3n natural proposicional.<\/p>\n<p>Teminado el estudio sem\u00e1ntico (cuyo problema fundamental es dado un conjunto de f\u00f3rmulas S y una f\u00f3rmula F, decidir si F es consecuencia de S (en notaci\u00f3n, S |= F)), comenzamos 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 |- F)). Adem\u00e1s, se requiere que los c\u00e1lculos sean adecuados y completos (es decir; que S |= F si, y s\u00f3lo si, S |- 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, de la doble negaci\u00f3n, de eliminaci\u00f3n del condicional, de modus tollens, de introducci\u00f3n del condicional y las de la disyunci\u00f3n.<\/p>\n<p>Finalmente, se ha mostrado c\u00f3mo editar demostraciones usando el sistema <a href=\"http:\/\/www.doc.ic.ac.uk\/pandora\/newpandora\">Pandora<\/a>.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1-12 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-11\/temas\/tema-2.pdf\">tema 2<\/a><br \/>\n<!--more--><br \/>\n<div class=\"jetpack-video-wrapper\"><iframe src='https:\/\/www.slideshare.net\/slideshow\/embed_code\/7104769' width='1290' height='1057' sandbox=\"allow-popups allow-scripts allow-same-origin allow-presentation\" allowfullscreen webkitallowfullscreen mozallowfullscreen><\/iframe><\/div><\/p>\n<p>Como tarea pendiente se propone la resoluci\u00f3n de los ejercicios de la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosLI2013G2\/index.php5\/Relaci%C3%B3n_5\">5\u00aa relaci\u00f3n<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la primera parte de la clase de hoy del curso L\u00f3gica Inform\u00e1tica se ha empezado el estudio de la deducci\u00f3n natural proposicional. Teminado el estudio sem\u00e1ntico (cuyo problema fundamental es dado un conjunto de f\u00f3rmulas S y una f\u00f3rmula F, decidir si F es consecuencia de S (en notaci\u00f3n, S |= F)), comenzamos el&#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":[223],"tags":[301,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\/3746"}],"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=3746"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3746\/revisions"}],"predecessor-version":[{"id":3748,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3746\/revisions\/3748"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3746"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3746"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3746"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}