{"id":1279,"date":"2011-03-11T20:45:39","date_gmt":"2011-03-11T20:45:39","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1279"},"modified":"2011-03-17T20:46:33","modified_gmt":"2011-03-17T20:46:33","slug":"li2011-deduccion-natural-en-logica-proposicional-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-deduccion-natural-en-logica-proposicional-2\/","title":{"rendered":"LI2011: Deducci\u00f3n natural en l\u00f3gica proposicional (2)"},"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 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 negci\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>Como tarea pendientes se propone la resoluci\u00f3n del ejercicio 5 del tema 2 del <a href=\"http:\/\/www.cs.y 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 13-28 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 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 negci\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":[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\/1279"}],"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=1279"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1279\/revisions"}],"predecessor-version":[{"id":1280,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1279\/revisions\/1280"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1279"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1279"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1279"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}