{"id":73,"date":"2011-01-04T19:27:34","date_gmt":"2011-01-04T17:27:34","guid":{"rendered":"https:\/\/blogs.ua.es\/jabibics\/?p=73"},"modified":"2011-01-19T23:02:51","modified_gmt":"2011-01-19T21:02:51","slug":"capitulo-4-lenguaje-de-predicados","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/jabibics\/2011\/01\/04\/capitulo-4-lenguaje-de-predicados\/","title":{"rendered":"Cap\u00edtulo 4 \u201cLenguaje de Predicados\u201d"},"content":{"rendered":"<p>En el <span style=\"text-decoration: underline\">lenguaje de predicados<\/span>, la construcci\u00f3n de las f\u00f3rmulas l\u00f3gicas se realiza teniendo en cuenta no s\u00f3lo las conexiones posibles entre proposiciones sino que en cada una de ellas se distingue a los individuos y a sus propiedades, ademas de letras y conectivas l\u00f3gicas, el lenguaje de predicados lo componen constante, funciones y cuantificadores.<\/p>\n<p>Las <span style=\"text-decoration: underline\">Constantes<\/span> representan a un objeto o individuo en concreto.<\/p>\n<p>Las <span style=\"text-decoration: underline\">Funciones<\/span> y <span style=\"text-decoration: underline\">Predicados<\/span> con n-aridad, siendo n el n\u00famero de argumentos, estas funciones denotan una propiedad o una relaci\u00f3n entre sujetos, las funciones devuelven un valor y los predicados verdadero o falso.<\/p>\n<blockquote><p>Ejemplo Funci\u00f3n<\/p>\n<p>Profesor(Daniel)\u00a0 Devuelve Laura<\/p><\/blockquote>\n<blockquote><p>Ejemplo Predicado<\/p>\n<p>Profesor(Laura, Daniel)\u00a0 Devuelve Verdadero si Laura es la profesor de Daniel<\/p><\/blockquote>\n<p>Los <span style=\"text-decoration: underline\">Cuantificadores:<\/span><\/p>\n<p>Universal (\u2200): Todos los elementos de un conjunto cumplen una determinada propiedad.<\/p>\n<p>Existencial (\u2203) : Alg\u00fan elemento del dominio cumple una determinada propiedad.<\/p>\n<blockquote><p><strong>\u00ac<\/strong><strong>\u2200 <\/strong><strong>xP(x) <\/strong>(no todos los x tienen la propiedad P)<\/p>\n<p><strong>\u2203 <\/strong><strong>x\u00acP(x) <\/strong>(hay alg\u00fan x que no tiene la propiedad P).<\/p>\n<p><strong>\u2200\u00a0 x\u00acP(x) <\/strong>(todos los x poseen la propiedad no P)<\/p>\n<p><strong>\u00ac<\/strong><strong>\u2203\u00a0 xP(x) <\/strong>(no existe ning\u00fan x que tenga la propiedad P)<\/p><\/blockquote>\n<p>Para los siguientes ejemplos<\/p>\n<p>X = Mar\u00eda<br \/>\nY = Pablo<br \/>\nC = Laura<br \/>\nAlumno(x) x es un alumno<br \/>\nProfesor(x,z) x es profesor de z<\/p>\n<blockquote><p>Ejemplo: Pablo es profesor de todos los alumnos<\/p><\/blockquote>\n<pre>\u2200 x Profesor(Pablo, x)<\/pre>\n<blockquote><p>Ejemplo: Laura y Mar\u00eda son alumnas pero Pablo no<\/p><\/blockquote>\n<pre>Alumno(X) ^ Alumno(C) ^ \u00acAlumno(Y) <\/pre>\n","protected":false},"excerpt":{"rendered":"<p>En el lenguaje de predicados, la construcci\u00f3n de las f\u00f3rmulas l\u00f3gicas se realiza teniendo en cuenta no s\u00f3lo las conexiones posibles entre proposiciones sino que en cada una de ellas se distingue a los individuos y a sus propiedades, ademas de letras y conectivas l\u00f3gicas, el lenguaje de predicados lo componen constante, funciones y cuantificadores. [&hellip;]<\/p>\n","protected":false},"author":1760,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[34411],"tags":[],"class_list":["post-73","post","type-post","status-publish","format-standard","hentry","category-matematicas-logicas"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/73","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/users\/1760"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/comments?post=73"}],"version-history":[{"count":18,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/73\/revisions"}],"predecessor-version":[{"id":444,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/73\/revisions\/444"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/media?parent=73"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/categories?post=73"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/tags?post=73"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}