{"id":5092,"date":"2015-10-13T19:29:58","date_gmt":"2015-10-13T17:29:58","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5092"},"modified":"2015-10-14T09:33:01","modified_gmt":"2015-10-14T07:33:01","slug":"li2015-deduccion-natural-proposicional-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2015-deduccion-natural-proposicional-2\/","title":{"rendered":"LI2015: Deducci\u00f3n natural proposicional (2)"},"content":{"rendered":"<p>En primera parte de la clase de hoy del curso de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-15\">L\u00f3gica Inform\u00e1tica<\/a> se ha continuado el estudio de la deducci\u00f3n natural proposicional que se empez\u00f3 en la <a href=\"http:\/\/bit.ly\/1GcLk8N\">clase anterior<\/a>.<\/p>\n<p>Las 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>En la segunda parte de la clase se han comentado la soluci\u00f3n de los apartados 9, 11 y 12 del ejercicio 2.5 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li\/ejercicios\/ejercicios-LI-2015-16.pdf\">libro de ejercicios<\/a> Las soluciones se han escrito manualmente y con <a href=\"http:\/\/www.doc.ic.ac.uk\/pandora\/newpandora\">Pandora<\/a>.<\/p>\n<p>Se propusieron para la pr\u00f3xima clase los 56 apartados del ejercicio 2.5 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li\/ejercicios\/ejercicios-LI-2015-16.pdf\">libro de ejercicios<\/a>.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 13-28 del tema 2<\/p>\n<p><iframe loading=\"lazy\" src=\"\/\/es.slideshare.net\/slideshow\/embed_code\/key\/HssyNFKLTy0OxM\" width=\"425\" height=\"355\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" style=\"border:1px solid #CCC; border-width:1px; margin-bottom:5px; max-width: 100%;\" allowfullscreen> <\/iframe><\/p>\n<div style=\"margin-bottom:5px\"> <\/div>\n","protected":false},"excerpt":{"rendered":"<p>En primera parte de la clase de hoy del curso de L\u00f3gica Inform\u00e1tica se ha continuado el estudio de la deducci\u00f3n natural proposicional que se empez\u00f3 en la clase anterior. Las 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&#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":[249],"tags":[309,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\/5092"}],"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=5092"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5092\/revisions"}],"predecessor-version":[{"id":5094,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5092\/revisions\/5094"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5092"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5092"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5092"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}