{"id":1829,"date":"2012-01-11T12:53:08","date_gmt":"2012-01-11T12:53:08","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1829"},"modified":"2013-03-08T05:48:56","modified_gmt":"2013-03-08T05:48:56","slug":"li2011-12-ejercicios-de-logica-de-primer-orden-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-12-ejercicios-de-logica-de-primer-orden-2\/","title":{"rendered":"LI2011-12: Ejercicios de l\u00f3gica de primer orden (2)"},"content":{"rendered":"<p>La clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-11\">L\u00f3gica Inform\u00e1tica<\/a> ha consistido en la resoluci\u00f3n de ejercicios de la l\u00f3gica de primer orden. Los ejercicios corresponden al cap\u00edtulo 11 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-11\/temas\/ejercicios-LI-2011-12.pdf\">libro de ejercicios<\/a>.<\/p>\n<p>Los ejercicios resueltos son los siguientes:<\/p>\n<ul>\n<li>13.1 y 13.3: Decidir si dos t\u00e9rminos son unificables, y en su caso calcular un unificador de m\u00e1xima generalidad.\n<li>14.1: Demostrar la validez de una f\u00f3rmula por resoluci\u00f3n, tableros sem\u00e1nticos y deducci\u00f3n natural.\n<li>14.2: Decidir por resoluci\u00f3n la validez de una f\u00f3rmula.\n<li>29: Dado un programa l\u00f3gico y una pregunta, calcular las respuestas.\n<li>23: Formalizar un argumento y decidir su validez.\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>La clase de hoy del curso L\u00f3gica Inform\u00e1tica ha consistido en la resoluci\u00f3n de ejercicios de la l\u00f3gica de primer orden. Los ejercicios corresponden al cap\u00edtulo 11 del libro de ejercicios. Los ejercicios resueltos son los siguientes: 13.1 y 13.3: Decidir si dos t\u00e9rminos son unificables, y en su caso calcular un unificador de m\u00e1xima&#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":[183],"tags":[182],"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\/1829"}],"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=1829"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1829\/revisions"}],"predecessor-version":[{"id":2872,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1829\/revisions\/2872"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1829"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1829"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1829"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}