{"id":7360,"date":"2020-09-13T20:18:22","date_gmt":"2020-09-13T18:18:22","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=7360"},"modified":"2020-09-13T20:18:22","modified_gmt":"2020-09-13T18:18:22","slug":"formatus-reglas-de-la-negacion-en-lean","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/formatus-reglas-de-la-negacion-en-lean\/","title":{"rendered":"ForMatUS: Reglas de la negaci\u00f3n 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\/6Pmk2Nr8BKE\">Reglas de la negaci\u00f3n en Lean<\/a> en el que se comentan las reglas de Lean para la eliminaci\u00f3n del falso, para la eliminaci\u00f3n de la negaci\u00f3n y para la introducci\u00f3n de la negaci\u00f3n. Para 1\u00aa se muestran 6 pruebas de (\u22a5 \u22a2 P); para la 2\u00aa, se muestran 2 pruebas de (P, \u00acP \u22a2 \u22a5) y para la 3\u00aa, 11 pruebas de \u00ac(P \u2227 \u00acP).<\/p>\n<p>Los enlaces correspondientes son:<\/p>\n<ul>\n<li>a la <a href=\"https:\/\/bit.ly\/3bW9bw3\">sesi\u00f3n en Lean Web<\/a>,<\/li>\n<li>al <a href=\"https:\/\/bit.ly\/3bSyQFX\">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\/6Pmk2Nr8BKE\" 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 Reglas de la negaci\u00f3n en Lean en el que se comentan las reglas de Lean para la eliminaci\u00f3n del falso, para la eliminaci\u00f3n de la negaci\u00f3n y para la introducci\u00f3n de la negaci\u00f3n. Para 1\u00aa se muestran 6 pruebas de (\u22a5 \u22a2 P); para la&#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\/7360"}],"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=7360"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/7360\/revisions"}],"predecessor-version":[{"id":7361,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/7360\/revisions\/7361"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=7360"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=7360"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=7360"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}