{"id":5081,"date":"2015-10-06T20:35:04","date_gmt":"2015-10-06T18:35:04","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5081"},"modified":"2015-10-06T20:37:34","modified_gmt":"2015-10-06T18:37:34","slug":"li2015-deduccion-natural-proposicional-1","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2015-deduccion-natural-proposicional-1\/","title":{"rendered":"LI2015: Deducci\u00f3n natural proposicional (1)"},"content":{"rendered":"<p>En la 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 l\u00f3gica proposicional.<\/p>\n<p>Las reglas que se han visto en la clase de hoy son las de eliminaci\u00f3n del condicional, de modus tollens, de introducci\u00f3n del condicional y las de la disyunci\u00f3n.<\/p>\n<p>Tambi\u00e9n se ha mostrado c\u00f3mo editar demostraciones usando el sistema <a href=\"http:\/\/www.doc.ic.ac.uk\/pandora\/newpandora\">Pandora<\/a>. Los ejemplos vistos en clase se encuentran en los v\u00eddeos del <a href=\"http:\/\/bit.ly\/1tqZIOe\">ejemplo 1<\/a> y <a href=\"http:\/\/bit.ly\/1tqZIOe\">ejemplo 2<\/a>.<\/p>\n<p>En la segunda parte de la clase se han comentado la soluci\u00f3n del ejercicio 30.2 del cap\u00edtulo 1 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li\/ejercicios\/ejercicios-LI-2015-16.pdf\">libro de ejercicios<\/a> y c\u00f3mo ver la correcci\u00f3n del argumento con distintos sistemas de c\u00e1lculo de tablas de verdad:<\/p>\n<ul>\n<li><a href=\"http:\/\/stanford.io\/1QWPl1w\">Logica (Tools for Logic): Boole<\/a>,<\/li>\n<li><a href=\"http:\/\/bit.ly\/1KYglwd\">BoolTool<\/a> y <\/li>\n<li><a href=\"http:\/\/bit.ly\/1O8KQBR\">Truth tables<\/a>. <\/li>\n<\/ul>\n<p>Se propusieron para la pr\u00f3xima clase los 37 primeros 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 1-12 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 la primera parte de la clase de hoy del curso de L\u00f3gica Inform\u00e1tica se ha continuado el estudio de la l\u00f3gica proposicional. Las reglas que se han visto en la clase de hoy son las de eliminaci\u00f3n del condicional, de modus tollens, de introducci\u00f3n del condicional y las de la disyunci\u00f3n. Tambi\u00e9n se ha&#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\/5081"}],"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=5081"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5081\/revisions"}],"predecessor-version":[{"id":5084,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5081\/revisions\/5084"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5081"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5081"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5081"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}