Clculo de predicados: En los clculos de predicados se tienen elementos ms simples para formar las expresiones atmicas, a diferencia de una

proposicin simple donde su valor es verdadero o falso de acuerdo a una interpretacin.

Definicin
En el clculo de predicados el valor de verdad depende de los componentes que forman el predicado. Por ejemplo: Pedro es padre de Idalia es una expresin en clculo de predicados, que en general podra ser: x es padre de y, o simplemente p(x,y). En otras palabras, se tiene aqu una proposicin abierta que depende de dos variables, y que por supuesto el valor de verdad depende de los valores que se le dan a las variables, porque por ejemplo: Frank es padre de Lisbeth puede tener un valor de verdad diferente al anterior. En general, se puede decir que un predicado puede tener una o ms variables y que las variables pueden tomar valores de un conjunto especfico llamado DOMINIO. As por ejemplo las dos expresiones mencionadas anteriormente son de la forma p(x,y) donde el predicado p representa es padre de y el domino es el conjunto de las personas. El Clculo de Predicados permite ampliar el espectro del Clculo_Proposicional, trabajando con frmulas de diversos tipos adems del booleano. Mientras la lgica proposicional presenta limitaciones expresivas no permitiendo describir la estructura interna de las proposiciones, la lgica de predicados cuenta con un lenguaje mucho ms expresivo que posibilita resolver esas limitaciones. En la lgica proposicional la representacin proposicional del juicio Si Ana estudia, aprueba se compone de dos tomos Ana estudia, representado como p y Ana aprueba, representado como q, pero las variables proposicionales p y q no reflejan el vnculo que existe entre las proposiciones que representan, (ambas hacen referencia a Ana). En el lenguaje del clculo de predicados los tomos tienen una representacin relacional, pudiendo representarse Ana estudia como Est(ana), donde Est(x) es la relacin untaria (de un argumento) que expresa que el individuo x estudia, de un modo similar Ana aprueba puede representarse como Apr(ana), siendo Apr(x) la relacin que expresa que el individuo x aprueba, de este modo Est(ana) y Apr(ana) expresan explcitamente que ambas proposiciones hacen referencia a propiedades distintas (estudiar y aprobar) de un mismo objeto (Ana). Por lo tanto se puede definir Clculo de predicado como un sistema formal, estructurado para el estudio de la inferencia en los lenguajes formales con cuantificadores que alcanzan solo a variables de individuos, y con predicados y funciones cuyos argumentos son constantes o variables de individuos. La construccin de frmulas en este clculo obliga a denir nuevas expresiones llamadas predicados. Un predicado es una aplicacin de una funcin booleana cuyos argumentos pueden ser de diferentes tipos, es decir un predicado puede ser una funcin de tipo Z B.

Los nombres de las funciones (igual, menor) son llamados smbolos de predicados. Tambin se utiliza la notacin x < y para expresar el predicado menor(x, y). Por ejemplo, la siguiente expresin x < y x = z q(x, z + x) contiene tres predicados, x < y, x = z y q(x, x + z). Los argumentos de los predicados son en este caso, variables de tipo distinto de B o tambin expresiones de stos tipos. Los argumentos de un predicado son llamados trminos, por ejemplo en la frmula anterior los trminos en los predicados son x, y, z y z + x.

El cuantificador universal
La conjuncin es asociativa, conmutativa y tiene elemento neutro verdadero. Por lo tanto puede considerarse una operacin vlida para denir la expresin cuanticada. ( x : R : P ) El smbolo , que se lee para todo, se conoce como cuanticador universal y la expresin anterior se denomina cuanticacin universal y se lee para todo x que satisfaga R se satisface P . La sentencia todos los cantantes hacen uso intensivo de la voz, presenta una variable, pues cantantes no hace referencia a ningn elemento en particular por lo que slo puede ser representado por una variable, sin embargo constituye una proposicin porque se le puede asignar un valor veritativo. Esto se debe a que la variable est cuantificada universalmente por todos con lo que se expresa que la propiedad hacer uso intensivo de la voz se cumple por todos los elementos del universo (conjunto de todos los cantantes). El cuantificador universal () es la operacin que en el clculo de predicados permite representar este tipo de proposiciones quedando el ejemplo anterior de la siguiente manera: (x) UsoIntVoz(x) >Puede apreciarse que x, de acuerdo con lo planteado en el epgrafe anterior, es libre en UsoIntVoz(x), pero no ocurre lo mismo en (x) UsoIntVoz(x) pues al cuantificarse una variable, esta deja de ser libre. Algunos ejemplos del uso de este cuantificador son los siguientes: a)Todos los perros ladran. b)Cada hombre debe pensar por su propia cabeza. Es posible definir este nuevo operador a partir de otro ya conocido, la conjuncin (), pues si a1, a2, a3... son los elementos del universo en que toma valores la variable x, entonces: (x) A(x) A(a1) A(a2) A(a3) ... Esta equivalencia, evidencia que basta con que para un valor ai del universo, A(ai) sea falsa para que (x) A(x) sea falsa tambin.

Por ltimo queda especificar que si el universo en que toma valores la variable x es vaco se establece que (x) A(x) es verdadera.

El cuantificador existencial
La disyuncin es simtrica, asociativa y su elemento neutro es falso. Por lo tanto puede considerarse una operacin vlida para denir la expresin cuanticada ( x : R : P ) Esta expresin se escribe usualmente as: (x : R : P ) El smbolo , que se lee existe, se conoce como cuanticador existencial y la expresin anterior se denomina cuanticacin existencial y se lee existe x en el rango R que satisface P . La sentencia alguien ha llegado, es una proposicin con una variable, pero esta no est cuantificada universalmente. Este tipo de proposiciones presentan cuantificacin existencial, que se expresa mediante: alguien, algn, un, etc. En este caso se plantea que la propiedad haber llegado se cumple por al menos uno de los elementos del universo (conjunto de todas las personas). El cuantificador existencial () es la operacin que en el clculo de predicados permite representar este tipo de proposiciones quedando el ejemplo anterior de la siguiente manera: (x) HaLlegado(x) Algunos ejemplos del uso de este cuantificador son los siguientes: c)Hay hombres que han dado su vida por la libertad. d)Un estudiante lleg tarde. Este operador, al igual que (), puede definirse a partir de otro ya conocido, en este caso la disyuncin (v), pues si a1, a2, a3... son los elementos del universo en que toma valores la variable x, entonces: (x) A(x) A(a1) v A(a2) v A(a3) v ... Esta equivalencia, evidencia que basta con que para un valor ai del universo, A(ai) sea verdadera para que (x) A(x) sea verdadera tambin. En caso de que el universo en que toma valores la variable x sea vaco se establece que (x) A(x) es falsa.

Alfabeto del clculo de predicados

Al igual que el clculo proposicional, el clculo de predicados cuenta con un alfabeto, algunos de cuyos smbolos ya se han analizado.

Este alfabeto cuenta, en primer lugar, con smbolos de constantes individuales, que se denotarn como combinaciones de letras y nmeros comenzando siempre por una letra minscula. En caso de utilizar solo una letra, esta ser de las primeras del alfabeto latino (a, b, c, d, e,...). Tambin forman parte de este alfabeto los smbolos de variables individuales que se denotarn mediante las ltimas letras del alfabeto latino (u, v, w, x, y, z). Otros componentes del alfabeto son los smbolos de funciones que sern letras minsculas del alfabeto latino, o combinaciones de letras y nmeros (con inicial minscula), preferentemente se emplearn f, g y h. Integran el alfabeto tambin smbolos de relaciones, que sern combinaciones de letras y nmeros comenzando siempre por una letra mayscula. Los smbolos del cuantificador universal () y existencial () vistos con anterioridad, evidentemente tambin componen este alfabeto. Por ltimo, los smbolos de constantes proposicionales, operaciones proposicionales y de agrupacin, vistos en el alfabeto del clculo proposicional integran este alfabeto tambin.

Trminos y frmulas del clculo de predicados

Al igual que el clculo proposicional, el clculo de predicados define el concepto de frmula, pero establece adems, una expresin fundamental que se denomina trmino y se define segn las reglas siguientes: 1. Toda constante y toda variable es un trmino. 2. Si t1,t2,...,tn son trminos y f es un smbolo de funcin n-aria, entonces f(t1,t2,..., tn) es un trmino. 3. Todo trmino es el resultado de la aplicacin un nmero finito de veces de las dos reglas anteriores. Conociendo la definicin de trmino, es posible establecer el concepto de frmula del clculo de predicados, que se sustenta en el de frmula elemental o tomo: definicin. Si t1, t2,..., tn son trminos y R un smbolo de relacin n-aria, entonces R(t1, t2,..., tn) es una frmula elemental o tomo. Algunos ejemplos de frmulas elementales o tomos son los siguientes: a) R(a, x). b) Amigo(luis, juan). c) Hermano(x, y). d) Grande(x). e) Padre(x, y). f) Madre(x, y).

g)Padres(x,y,z). Evidentemente, un tomo representar una proposicin elemental, pero para representar la proposiciones no elementales no basta con una frmula atmica por lo que se define el concepto de frmula de la siguiente manera: 1. Toda frmula elemental es una frmula. 2. Si A es una frmula, entonces A es una frmula. 3. Si A y B son frmulas, entonces [A v B], [A B], [A B] y [A B] son frmulas. 4. Si A es una frmula donde x ocurre libre, entonces (x)A y (x)A son frmulas. 5. Toda frmula es el resultado solamente de la aplicacin de un nmero finito de veces de las reglas1, 2, 3 y 4. Algunos ejemplos de frmulas son los siguientes: a) Padres(x,y,z). e) Padres(x,y,z) Padre(x,z) Madre(y,z). b) Padres(luis,ana,jose). f) Padre(luis,jose) Madre(ana,jose). g) (x)(y)(z)[ Padres(x,y,z) Padre(x,z) Madre(y,z)].

Interpretacin de frmulas del clculo de predicados

En el clculo proposicional, una interpretacin de una frmula es una asignacin de valores a las variables involucradas, determinar todas las interpretaciones de una frmula no resulta difcil pues cada variable slo tomas valores en {0, 1}. En el clculo de predicados esto se torna mucho ms complejo, pues las variables toman valores en diversos universos y aparecen los cuantificadores que hacen necesario analizar desde otra perspectiva la interpretacin de frmulas, siendo preciso establecer: 1. Un conjunto U, que ser el dominio de valores de cada variable libre y al que pertenecern todas las constantes. 2. Una funcin con dominio en Un y codominio en U por cada smbolo de funcin n-aria. 3. Una relacin definida en Un por cada smbolo de relacin n-aria.

Quedando entonces determinado que una frmula A tiene una interpretacin en U si todos los smbolos de constantes, de funciones n-arias y de relaciones n-arias que ocurren en A se interpretan, respectivamente, en elementos, funciones n-arias y relaciones n-arias en U. Establecido lo anterior, para determinar el valor veritativo de una frmula, dada una interpretacin, se procede de la siguiente manera: 1. Si A es una frmula atmica de la forma R(a1,, an), entonces A es verdadera en U si y solo si < a1,, an > pertenece a R 2. Si A es la frmula B, entonces A es verdadera en U si y solo si B es falsa en U. 3. Si A es la frmula B v C, entonces A verdadera en U si y solo si al menos una de las frmulas B o C es verdadera en U. 4. Si A es la frmula B C, entonces A es verdadera en U si y solo si las frmulas B y C son verdaderas en U. 5. Si A es la frmula B C, entonces A es verdadera en U si y solo si al menos B es falsa en U o C es verdadera en U. 6. Si A es la frmula B C, entonces A es verdadera en U si y solo si ambas frmulas B C y C B son verdaderas en U. 7. Si A es la frmula (x)B(x), entonces A es verdadera en U si y solo si B(x) es verdadera en U para cualquier valor de x pertenece U. 8. Si A es la frmula (x)B(x), entonces A es verdadera en U si y solo si B(x) es verdadera en U para al menos un valor de x pertenece a U. El siguiente ejemplo ilustra la interpretacin de frmulas del clculo de predicados. Sea la interpretacin I definida por: U = {1, 2, 3, 4}, R = {<1,1>,<1,2>,<1,3>,<1,4>,<2,3>}, f = {<1,2>,<2,3>,<3,4>,<4,1>} a = 1, b = 2 Sean las frmulas del clculo de predicados: a) (x)R(x, f(x)) b) (x)R(x, f(x)) c) (x)R(a, x) d) (x)R(b, x) e)(x)[(y)R(x, y) R(x, 3)]

Determine el valor de las frmulas anteriores: a) (x)R(x, f(x)). En este caso la frmula es falsa para I, pues R(3, f(3)), es R(3, 4) y <3,4> no pertenece a R. b) (x)R(x, f(x)). Esta frmula es cierta para I, pues basta con que un valor de x haga R(x, f(x)) verdadera y esto ocurre con x = 1. c) (x)R(a, x). Como a = 1, la veracidad de esta frmula depende de que R(1,x) sea cierta para todos los valores de x, lo que en efecto ocurre, siendo entonces verdadera. d) (x)R(b, x). Como b = 2 y para x = 3 se tiene R(2, 3), que es cierto, entonces la frmula lo es tambin. e) (y)R(x, y) R(x, 3)]. Esta frmula es cierta pues lo son: (y)R(1, y) R(1, 3) (y)R(2, y) R(2, 3) (y)R(3, y) R(3, 3) (y)R(4, y) R(4, 3) La primera lo es, pues la parte derecha de la implicacin lo es. Lo mismo ocurre con la segunda. La tercera y la cuarta son ciertas pues sus implicantes son falsos (ningn par de R tiene como primer elemento al 3 o al 4).