{"id":4688,"date":"2014-12-22T17:43:42","date_gmt":"2014-12-22T16:43:42","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=4688"},"modified":"2014-12-22T17:43:42","modified_gmt":"2014-12-22T16:43:42","slug":"li2014-ejercicios-de-logica-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2014-ejercicios-de-logica-de-primer-orden\/","title":{"rendered":"LI2014: Ejercicios de l\u00f3gica de primer orden"},"content":{"rendered":"<p>En la clase de hoy del curso de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-14\">L\u00f3gica Inform\u00e1tica<\/a> se han comentado ejercicios de l\u00f3gica de primer orden propuestos en ex\u00e1menes de cursos anteriores. En concreto,<\/p>\n<ul>\n<li>del <a href=\"http:\/\/bit.ly\/1wBOxrR\">examen del segundo parcial del curso 2007-08<\/a> se han comentado los siguientes ejercicios:\n<ul>\n<li>El 2 para calcular la forma de Skolem y la clausal de una f\u00f3rmula.<\/li>\n<li>El 3 para calcular el universo de Herbrand de un conjunto de f\u00f3rmulas y decidir su consistencia mediante resoluci\u00f3n.<\/li>\n<li>El 4 para formalizar un argumento y decidir su validez por resoluci\u00f3n, tableros sem\u00e1nticos y deducci\u00f3n natural.<\/li>\n<\/ul>\n<\/li>\n<li>del <a href=\"http:\/\/bit.ly\/1wBOMU0\">examen de la convocatoria de junio de 2008<\/a> se han comentado los siguientes ejercicios:\n<ul>\n<li>El 2 para formalizar expresiones que usan igualdad.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy del curso de L\u00f3gica Inform\u00e1tica se han comentado ejercicios de l\u00f3gica de primer orden propuestos en ex\u00e1menes de cursos anteriores. En concreto, del examen del segundo parcial del curso 2007-08 se han comentado los siguientes ejercicios: El 2 para calcular la forma de Skolem y la clausal de una f\u00f3rmula&#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\/4688"}],"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=4688"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4688\/revisions"}],"predecessor-version":[{"id":4689,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4688\/revisions\/4689"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=4688"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=4688"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=4688"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}