{"id":3752,"date":"2013-10-11T16:56:01","date_gmt":"2013-10-11T14:56:01","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3752"},"modified":"2013-10-12T11:57:24","modified_gmt":"2013-10-12T09:57:24","slug":"li2013-deduccion-natural-proposicional-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2013-deduccion-natural-proposicional-2\/","title":{"rendered":"LI2013: Deducci\u00f3n natural proposicional (2)"},"content":{"rendered":"<p>En la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\">L\u00f3gica Inform\u00e1tica<\/a> se ha completado el estudio de la deducci\u00f3n natural en l\u00f3gica proposicional.<\/p>\n<p>La reglas que se han visto en la clase son las de la negaci\u00f3n, las del bicondicional y las reglas derivadas (modus tollens, introducci\u00f3n de la doble negaci\u00f3n, reducci\u00f3n al absurdo y ley del tercio excluso).<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 13-28 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-13\/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>Adem\u00e1s, se han comentado las soluciones de los ejercicios de la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosLI2013G2\/index.php5\/Relaci\u00f3n_5\">relaci\u00f3n 5<\/a> y se han propuesto los de la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosLI2013G2\/index.php5\/Relaci\u00f3n_6\">relaci\u00f3n 6<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy del curso L\u00f3gica Inform\u00e1tica se ha completado el estudio de la deducci\u00f3n natural en l\u00f3gica proposicional. La reglas que se han visto en la clase son las de la negaci\u00f3n, las del bicondicional y las reglas derivadas (modus tollens, introducci\u00f3n de la doble negaci\u00f3n, reducci\u00f3n al absurdo y ley del&#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\/3752"}],"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=3752"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3752\/revisions"}],"predecessor-version":[{"id":3753,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3752\/revisions\/3753"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3752"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3752"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3752"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}