{"id":4491,"date":"2014-10-08T18:55:00","date_gmt":"2014-10-08T16:55:00","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=4491"},"modified":"2014-10-10T08:55:59","modified_gmt":"2014-10-10T06:55:59","slug":"li2014-deduccion-natural-proposicional-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2014-deduccion-natural-proposicional-2\/","title":{"rendered":"LI2014: Deducci\u00f3n natural proposicional (2)"},"content":{"rendered":"<p>En la la clase de hoy del curso de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-14\">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\/1vIbN3W\">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>Como tarea se ha propuesto la <a href=\"http:\/\/bit.ly\/1q3IghJ\">3\u00aa relaci\u00f3n de ejercicios<\/a>.<\/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-14\/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","protected":false},"excerpt":{"rendered":"<p>En la 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 la doble&#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":[239],"tags":[306,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\/4491"}],"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=4491"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4491\/revisions"}],"predecessor-version":[{"id":4492,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4491\/revisions\/4492"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=4491"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=4491"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=4491"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}