Universidad Virtual del Estado de Guanajuato

Sebastian Reyes Soto 11000063

Asesor: Leticia Pureco Reyes

Matemticas Computacionales 14/01/2012

Lgica de Primer Orden El calculo proposicional no es lo suficientemente expresivo para las teoras matemticas tales como la aritmtica. Una expresin aritmtica tal como X>Y nuca es verdadero o falso, es verdadero dependiendo de los valores de X y Y; el operador > esta en funcin de el par de enteros(o nmeros reales) del conjunto de valores boleanos (Verdadero, falso). El sistema de lgica que incluye funciones de los dominios tales como nmeros a valores boleanos son llamados Calculo de Predicados o Lgica de Primer Orden. El clculo de predicados es usado en muchas aplicaciones de lgica matemtica, tales como aritmtica y algebra. De igual forma, las aplicaciones de la lgica en las ciencias computacionales es el clculo de predicados o un sistema de lgica que puede ser formulado dentro del clculo de predicados. Un importante uso del clculo de predicados es para formalizar la semntica de los lenguajes de programacin y para especificar y verificar programas. El principal problema es que la sintaxis de un lenguaje de programacin es especificada por la gramtica, un conjunto de reglas para construir programas de manera sintctica. Lgica de Predicados La lgica de predicados es un lenguaje ms de las matemticas. Sin menospreciar otros sistemas de lgica que se han estudiado, algunos por razones filosficas y otros por la importancia de sus aplicaciones, incluyendo las ciencias de la computacin. En las ciencias de la computacin, sabemos que muchas cosas pueden ser codificadas en bits y esto justifica la restriccin de la lgica boleana (dos valores).En ocasiones es conveniente hacer referencia directamente a tres mas valores discretos. Por ejemplo una compuerta lgica puede estar en un estado indeterminado antes de basarse en un nivel estable de voltaje. Esto puede ser formalizado en tres valores lgicos con un valor {$ X $} en la suma de verdadero y falso. La definicin de los operadores se extiende a los nuevos valores, por ejemplo, {$ X $} y verdadero = {$ X $}. EJEMPLO: Consideremos las 2 sentencias, 1 < 2 y Esta lloviendo. La primera sentencia siempre es verdadera mientras que la segunda es verdadera solo en algunas ocasiones. Esto puede ser expresado en el clculo de predicados como: Para todas ocasiones de t, el valor 1 < 2 en la ocasin t, es verdadero y Para algunas ocasiones de t, el valor de Esta lloviendo, en la ocasin t es verdadero. REFERENCIA BIBLIOGRFICA (2011). Lgica de Predicados. Recuperado 14 de http://www.mitecnologico.com/Main/LogicaDePredicados

enero

de

2012

de

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 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. 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 definir 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 estos 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.

Alfabeto del clculo de predicados 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 componen este alfabeto. () y existencial (), evidentemente tambin

Por ltimo, los smbolos de constantes proposicionales, operaciones proposicionales y de agrupacin. 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 las 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). b) Padres(x,y,z) Padre(x,z) Madre(y,z). c) Padres(luis,ana,jose). d) Padre(luis,jose) Madre(ana,jose). e) (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: y 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

y y

Si A es la frmula B, entonces A es verdadera en U si y solo si B es falsa en U. 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. 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. 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. 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. 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. 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: (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. (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. (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. (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. (y)R(x, y) R(x, 3)]. Esta frmula es cierta pues lo son:

(y)R(1, y) (y)R(2, y) (y)R(3, y) (y)R(4, y)

R(1, 3) R(2, 3) R(3, 3) 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). REFERENCIA BIBLIOGRFICA (2011). Clculo de Predicados. Recuperado en 14 de enero http://www.ecured.cu/index.php/C%C3%A1lculo_de_predicados

de

2012

de