{"id":7349,"date":"2020-09-11T21:12:49","date_gmt":"2020-09-11T19:12:49","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=7349"},"modified":"2020-09-12T07:35:38","modified_gmt":"2020-09-12T05:35:38","slug":"formatus-regla-de-introduccion-del-condicional-en-lean","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-regla-de-introduccion-del-condicional-en-lean\/","title":{"rendered":"ForMatUS: Regla de introducci\u00f3n del condicional en Lean"},"content":{"rendered":"<p>He a\u00f1adido a la lista <a href=\"https:\/\/bit.ly\/2FcUrwQ\">L\u00f3gica con Lean<\/a> el v\u00eddeo <a href=\"https:\/\/youtu.be\/XTiVb1gtr5U\">Regla de introducci\u00f3n del condicional en Lean<\/a> en el que se comentan 13 demostraciones en Lean de la regla de introducci\u00f3n del condicional en distintos estilos (declarativo, aplicativo con t\u00e1cticas, funcional con t\u00e9rmino de prueba y autom\u00e1tico). Adem\u00e1s, se presenta el entorno  de trabajo de Lean el de VS Code.<\/p>\n<p>Los enlaces correspondientes son:<\/p>\n<ul>\n<li>a la <a href=\"https:\/\/bit.ly\/3m3kl6J\">sesi\u00f3n en Lean Web<\/a>,<\/li>\n<li>al <a href=\"https:\/\/bit.ly\/33fVXGj\">c\u00f3digo<\/a>,<\/li>\n<li>al <a href=\"https:\/\/bit.ly\/2FpjMDj\">libro &#8220;L\u00f3gica con Lean&#8221;<\/a> y<\/li>\n<li>al <a href=\"https:\/\/bit.ly\/2F2f0Mo\">repositorio en GitHub &#8220;L\u00f3gica con Lean&#8221;<\/a>.<\/li>\n<\/ul>\n<p>A continuaci\u00f3n, se muestra el v\u00eddeo<\/p>\n<p><iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube.com\/embed\/XTiVb1gtr5U\" frameborder=\"0\" allow=\"accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe><\/p>\n","protected":false},"excerpt":{"rendered":"<p>He a\u00f1adido a la lista L\u00f3gica con Lean el v\u00eddeo Regla de introducci\u00f3n del condicional en Lean en el que se comentan 13 demostraciones en Lean de la regla de introducci\u00f3n del condicional en distintos estilos (declarativo, aplicativo con t\u00e1cticas, funcional con t\u00e9rmino de prueba y autom\u00e1tico). Adem\u00e1s, se presenta el entorno de trabajo de&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","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":[335],"tags":[],"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\/7349"}],"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=7349"}],"version-history":[{"count":5,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/7349\/revisions"}],"predecessor-version":[{"id":7354,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/7349\/revisions\/7354"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=7349"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=7349"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=7349"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}