{"id":1316,"date":"2011-04-15T11:12:11","date_gmt":"2011-04-15T11:12:11","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1316"},"modified":"2011-04-20T11:14:27","modified_gmt":"2011-04-20T11:14:27","slug":"li2011-sintaxis-y-semantica-de-la-logica-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-sintaxis-y-semantica-de-la-logica-de-primer-orden\/","title":{"rendered":"LI2011: Sintaxis y sem\u00e1ntica de la l\u00f3gica de primer orden"},"content":{"rendered":"

En la clase de hoy del curso L\u00f3gica Inform\u00e1tica<\/a> se presentado la sintaxis y la sem\u00e1ntica de la l\u00f3gica de primer orden, que responden a las siguientes preguntas: \u00bfqu\u00e9 es una f\u00f3rmula?, \u00bfqu\u00e9 significa que una f\u00f3rmula verdadera?<\/p>\n

En primer lugar, a partir de los ejemplos de representaci\u00f3n del conocimiento de la clase anterior, se ha definido los s\u00edmbolos l\u00f3gicos (variables, conectivas, cuantificadores e igualdad) y los s\u00edmbolos no l\u00f3gicos (constantes, predicados y funciones) que forman el alfabeto del lenguaje de la l\u00f3gica de primer orden.<\/p>\n

A partir del alfabeto, se definen los t\u00e9rminos, las f\u00f3rmulas at\u00f3micas y las f\u00f3rmulas del lenguaje. <\/p>\n

Como medio del reconocimiento de f\u00f3rmulas, se introducen los \u00e1rboles de an\u00e1lisis. Con ello, repondemos a la primera de las preguntas iniciales.<\/p>\n

En el estudio sint\u00e1ctico, definimos el conjunto de las subf\u00f3rmulas, el conjunto de las variables de un t\u00e9rmino, las ocurrencias libres y ligadas, el conjunto de las variables libres y ligadas y las f\u00f3mulas cerradas y abiertas. Algunas de las definiciones anteriores se realizan por recursi\u00f3n sobre f\u00f3rmulas o sobre t\u00e9rminos.<\/p>\n

En segundo lugar hemos esudiado la sem\u00e1ntica, comenzando con distintas cuestiones sobre qu\u00e9 significa que una f\u00f3rmula sea verdadera para resaltar su dependencia del universo, la interpretaci\u00f3n de los s\u00edmbolos no l\u00f3gico y de las asignaciones a las variables libres.<\/p>\n

Se han definido las estructuras de un lenguaje, las asignaciones a las variables y las interpretaciones de un lenguaje. <\/p>\n

Finalmente, se ha definido el valor de un t\u00e9rmino o de una f\u00f3rmula en una interpretaci\u00f3n. Con ello, repondemos a la segunda de las preguntas iniciales.<\/p>\n

Las transparencias de esta clase son las p\u00e1ginas 11 a 32 del tema 6<\/a>.<\/p>\n

Como tarea se propone la resoluci\u00f3n de los ejercicios del tema 6 del libro de ejercicios<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"

En la clase de hoy del curso L\u00f3gica Inform\u00e1tica se presentado la sintaxis y la sem\u00e1ntica de la l\u00f3gica de primer orden, que responden a las siguientes preguntas: \u00bfqu\u00e9 es una f\u00f3rmula?, \u00bfqu\u00e9 significa que una f\u00f3rmula verdadera? En primer lugar, a partir de los ejemplos de representaci\u00f3n del conocimiento de la clase anterior, se…<\/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":[172],"tags":[291],"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\/1316"}],"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=1316"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1316\/revisions"}],"predecessor-version":[{"id":1317,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1316\/revisions\/1317"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1316"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1316"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1316"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}