{"id":1249,"date":"2011-03-01T17:06:06","date_gmt":"2011-03-01T17:06:06","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-deduccion-natural-en-logica-proposicional-1\/"},"modified":"2011-03-01T17:06:34","modified_gmt":"2011-03-01T17:06:34","slug":"li2011-deduccion-natural-en-logica-proposicional-1","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-deduccion-natural-en-logica-proposicional-1\/","title":{"rendered":"LI2011: Deducci\u00f3n natural en l\u00f3gica proposicional (1)"},"content":{"rendered":"<p>En la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-10\">L\u00f3gica Inform\u00e1tica<\/a> se ha empezado 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 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>Tambi\u00e9n se ha presentado el sistema <a href=\"http:\/\/www.doc.ic.ac.uk\/pandora\/newpandora\">Pandora<\/a> para editar demostraciones por deducci\u00f3n natural.<\/p>\n<p>Como tarea pendientes se propone la resoluci\u00f3n de los 36 primeros apartados del ejercicio 5 del tema 2 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-10\/temas\/ejercicios-LI-2010-11.pdf\">libro de ejercicios<\/a>.\n<\/ul>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1-12 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-10\/temas\/tema-2.pdf\">tema 1<\/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","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy del curso L\u00f3gica Inform\u00e1tica se ha empezado el estudio de la deducci\u00f3n natural en l\u00f3gica proposicional. La reglas que se han visto en la clase 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&#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":[172],"tags":[291],"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\/1249"}],"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=1249"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1249\/revisions"}],"predecessor-version":[{"id":1250,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1249\/revisions\/1250"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1249"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1249"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1249"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}