{"id":5981,"date":"2018-03-13T19:11:05","date_gmt":"2018-03-13T18:11:05","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5981"},"modified":"2018-03-13T19:11:05","modified_gmt":"2018-03-13T18:11:05","slug":"lmf2017-sintaxis-y-semantica-de-la-logica-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lmf2017-sintaxis-y-semantica-de-la-logica-de-primer-orden\/","title":{"rendered":"LMF2017: Sintaxis y sem\u00e1ntica de la l\u00f3gica de primer orden"},"content":{"rendered":"<p>En la clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-17\">L\u00f3gica matem\u00e1tica y fundamentos<\/a> se ha presentado la sintaxis y la sem\u00e1ntica de la l\u00f3gica de primer orden como respuestas a las siguientes preguntas:<\/p>\n<ul>\n<li>\u00bfc\u00f3mo se puede representar el conocimiento con la l\u00f3gica de primer orden?,<\/li>\n<li>\u00bfqu\u00e9 es una f\u00f3rmula de primer orden?, <\/li>\n<li>\u00bfqu\u00e9 significa que una f\u00f3rmula verdadera? y<\/li>\n<li>\u00bfqu\u00e9 significa que un argumento sea correcto?<\/li>\n<\/ul>\n<p>Como ejemplos de representaci\u00f3n hemos visto c\u00f3mo representar conocimiento geogr\u00e1fico, del mundo de los bloques y conocimiento astron\u00f3mico. En los distintos ejemplos hemos resaltado los tipos de s\u00edmbolos l\u00f3gicos utilizados.<\/p>\n<p>A partir de los ejemplos de representaci\u00f3n del conocimiento, se han 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<p>A partir del alfabeto, se definen los t\u00e9rminos, las f\u00f3rmulas at\u00f3micas y las f\u00f3rmulas del lenguaje.<\/p>\n<p>Como medio del reconocimiento de f\u00f3rmulas, se introducen los \u00e1rboles de an\u00e1lisis. Con ello, respondemos a la segunda de las preguntas iniciales.<\/p>\n<p>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\u00f3rmulas cerradas y abiertas. Algunas de las definiciones anteriores se realizan por recursi\u00f3n sobre f\u00f3rmulas o sobre t\u00e9rminos.<\/p>\n<p>En segundo lugar hemos estudiado 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<p>Se han definido las estructuras de un lenguaje, las asignaciones a las variables y las interpretaciones de un lenguaje.<\/p>\n<p>Se ha definido el valor de un t\u00e9rmino o de una f\u00f3rmula en una interpretaci\u00f3n. Con ello, respondemos a la tercera de las preguntas iniciales.<\/p>\n<p>Las transparencias de esta clase son las p\u00e1ginas 1 a 34 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/lmf-17\/temas\/tema-7.pdf\">tema 7<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy del curso L\u00f3gica matem\u00e1tica y fundamentos se ha presentado la sintaxis y la sem\u00e1ntica de la l\u00f3gica de primer orden como respuestas a las siguientes preguntas: \u00bfc\u00f3mo se puede representar el conocimiento con la l\u00f3gica de primer orden?, \u00bfqu\u00e9 es una f\u00f3rmula de primer orden?, \u00bfqu\u00e9 significa que una f\u00f3rmula&#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":[264],"tags":[315,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\/5981"}],"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=5981"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5981\/revisions"}],"predecessor-version":[{"id":5983,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5981\/revisions\/5983"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5981"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5981"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5981"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}