Universidad Virtual del Estado de Guanajuato

Sebastian Reyes Soto 11000063
Asesor: Leticia Pureco Reyes

Matemáticas Computacionales 14/01/2012

Por ejemplo una compuerta lógica puede estar en un estado indeterminado antes de basarse en un nivel estable de voltaje.En ocasiones es conveniente hacer referencia directamente a tres ó mas valores discretos. Esto puede ser expresado en el cálculo de predicados como: µPara todas ocasiones de t.Lógica de Primer Orden El calculo proposicional no es lo suficientemente expresivo para las teorías matemáticas tales como la aritmética. un conjunto de reglas para construir programas de manera sintáctica. Una expresión aritmética tal como X>Y nuca es verdadero o falso. Esto puede ser formalizado en tres valores lógicos con un valor {$ X $} en la suma de verdadero y falso. Recuperado 14 de http://www. Lógica de Predicados La lógica de predicados es un lenguaje más de las matemáticas. es verdadero¶ y µPara algunas ocasiones de t. La definición de los operadores se extiende a los nuevos valores. El cálculo de predicados es usado en muchas aplicaciones de lógica matemática. tales como aritmética y algebra. sabemos que muchas cosas pueden ser codificadas en bits y esto justifica la restricción de la lógica boleana (dos valores). por ejemplo. Un importante uso del cálculo de predicados es para formalizar la semántica de los lenguajes de programación y para especificar y verificar programas.mitecnologico. algunos por razones filosóficas y otros por la importancia de sus aplicaciones. las aplicaciones de la lógica en las ciencias computacionales es el cálculo de predicados o un sistema de lógica que puede ser formulado dentro del cálculo de predicados. La primera sentencia siempre es verdadera mientras que la segunda es verdadera solo en algunas ocasiones. Sin menospreciar otros sistemas de lógica que se han estudiado. REFERENCIA BIBLIOGRÁFICA (2011). el operador > esta en función de el par de enteros(o números reales) del conjunto de valores boleanos (Verdadero.com/Main/LogicaDePredicados enero de 2012 de . en la ocasión t es verdadero¶. Lógica de Predicados. {$ X $} y verdadero = {$ X $}. incluyendo las ciencias de la computación. es verdadero dependiendo de los valores de X y Y. En las ciencias de la computación. falso). El principal problema es que la sintaxis de un lenguaje de programación es especificada por la gramática. De igual forma. el valor ³1 < 2 en la ocasión t. El sistema de lógica que incluye funciones de los dominios tales como números a valores boleanos son llamados Calculo de Predicados o Lógica de Primer Orden. ³1 < 2 y ³Esta lloviendo´. el valor de ³Esta lloviendo´. EJEMPLO: Consideremos las 2 sentencias.

y) donde el predicado p representa ³es padre de´ y el domino es el conjunto de las personas. x + z). es decir un predicado puede ser una función de tipo Z B. La construcción de fórmulas en este cálculo obliga a definir nuevas expresiones llamadas predicados. . y. Mientras la lógica proposicional presenta limitaciones expresivas no permitiendo describir la estructura interna de las proposiciones. En general. Un predicado es una aplicación de una función booleana cuyos argumentos pueden ser de diferentes tipos. la lógica de predicados cuenta con un lenguaje mucho más expresivo que posibilita resolver esas limitaciones. estructurado para el estudio de la inferencia en los lenguajes formales con cuantificadores que alcanzan solo a variables de individuos. Por lo tanto se puede definir Cálculo de predicado como un sistema formal. que en general podría ser: x es padre de y. y con predicados y funciones cuyos argumentos son constantes o variables de individuos. Por ejemplo. x < y. Los nombres de las funciones (igual. Así por ejemplo las dos expresiones mencionadas anteriormente son de la forma p(x. la siguiente expresión x < y x = z q(x. El Cálculo de Predicados permite ampliar el espectro del Cálculo Proposicional. variables de tipo distinto de B o también expresiones de estos tipos. Definición En el cálculo de predicados el valor de verdad depende de los componentes que forman el predicado.y). z + x) contiene tres predicados. se puede decir que un predicado puede tener una o más variables y que las variables pueden tomar valores de un conjunto específico llamado DOMINIO. z y z + x. Los argumentos de los predicados son en este caso. x = z y q(x. o simplemente p(x. por ejemplo en la fórmula anterior los términos en los predicados son x. También se utiliza la notación x < y para expresar el predicado menor(x. a diferencia de una proposición simple donde su valor es verdadero o falso de acuerdo a una interpretación. Por ejemplo: Pedro es padre de Idalia es una expresión en cálculo de predicados.Cálculo de predicados En los cálculos de predicados se tienen elementos más simples para formar las expresiones atómicas. Los argumentos de un predicado son llamados términos. menor) son llamados símbolos de predicados. y). trabajando con fórmulas de diversos tipos además del booleano.

operaciones proposicionales y de agrupación. w. pero establece además.). d) Grande(x). c) Hermano(x.. 3. una expresión fundamental que se denomina término y se define según las reglas siguientes: 1. preferentemente se emplearán f. tn son términos y R un símbolo de relación n-aria.. el cálculo de predicados define el concepto de fórmula.t2. 2. que serán combinaciones de letras y números comenzando siempre por una letra mayúscula. y. es posible establecer el concepto de fórmula del cálculo de predicados. Algunos ejemplos de fórmulas elementales o átomos son los siguientes: a) R(a. c. Si t1.. z). .. x). Términos y fórmulas del cálculo de predicados Al igual que el cálculo proposicional. en primer lugar. d. b) Amigo(Luis. Los símbolos del cuantificador universal componen este alfabeto. e.tn son términos y f es un símbolo de función n-aria.. juan). Conociendo la definición de término.. v.. b. con símbolos de constantes individuales. También forman parte de este alfabeto los símbolos de variables individuales que se denotarán mediante las últimas letras del alfabeto latino (u. esta será de las primeras del alfabeto latino (a. Todo término es el resultado de la aplicación un número finito de veces de las dos reglas anteriores.. que se sustenta en el de fórmula elemental o átomo: Definición.... () y existencial (). x.. o combinaciones de letras y números (con inicial minúscula). los símbolos de constantes proposicionales. Otros componentes del alfabeto son los símbolos de funciones que serán letras minúsculas del alfabeto latino. Si t1. g y h. entonces f(t1. entonces R(t1. tn) es un término. y). Toda constante y toda variable es un término.. t2...t2. t2...Alfabeto del cálculo de predicados Este alfabeto cuenta.. En caso de utilizar solo una letra. Integran el alfabeto también símbolos de relaciones. evidentemente también Por último. que se denotarán como combinaciones de letras y números comenzando siempre por una letra minúscula. tn) es una fórmula elemental o átomo..

[A B] y [A B] son fórmulas. determinar todas las interpretaciones de una fórmula no resulta difícil pues cada variable sólo tomas valores en {0. pero para representar las proposiciones no elementales no basta con una fórmula atómica por lo que se define el concepto de fórmula de la siguiente manera: 1.z).z) Padre(x. Interpretación de fórmulas del cálculo de predicados En el cálculo proposicional.y. 1}. de funciones n-arias y de relaciones n-arias que ocurren en A se interpretan. Toda fórmula elemental es una fórmula. Una función con dominio en Un y codominio en U por cada símbolo de función n-aria.z) Padre(x. se procede de la siguiente manera: y Si A es una fórmula atómica de la forma R(a1. Algunos ejemplos de fórmulas son los siguientes: a) Padres(x.y. 4.z)]. una interpretación de una fórmula es una asignación de valores a las variables involucradas. Evidentemente.y. 2. c) Padres(luis. respectivamente. 5. siendo preciso establecer: 1.«. En el cálculo de predicados esto se torna mucho más complejo. g) Padres(x.z) Madre(y. dada una interpretación. Quedando entonces determinado que una fórmula A tiene una interpretación en U si todos los símbolos de constantes. Si A es una fórmula donde x ocurre libre.z). y). Si A y B son fórmulas. Establecido lo anterior. f) Madre(x.y. e) (x) (y) (z)[ Padres(x. Un conjunto U. 3. b) Padres(x. y).«.jose).jose). an). entonces ¬A es una fórmula. Toda fórmula es el resultado solamente de la aplicación de un número finito de veces de las reglas1. Si A es una fórmula. [A B]. d) Padre(luis. funciones n-arias y relaciones n-arias en U.z) Madre(y.ana.z). entonces (x)A y (x)A son fórmulas. entonces [A v B]. para determinar el valor veritativo de una fórmula. un átomo representará una proposición elemental. que será el dominio de valores de cada variable libre y al que pertenecerán todas las constantes. Una relación definida en Un por cada símbolo de relación n-aria. 2. en elementos. entonces A es verdadera en U si y solo si < a1.e) Padre(x. 3. 3 y 4. an > pertenece a R .jose) Madre(ana. pues las variables toman valores en diversos universos y aparecen los cuantificadores que hacen necesario analizar desde otra perspectiva la interpretación de fórmulas. 2.

entonces A es verdadera en U si y solo si las fórmulas B y C son verdaderas en U. pues basta con que un valor de x haga R(x. Como a = 1.<3. x). 3. lo que en efecto ocurre.2>.2>. Si A es la fórmula B v C.y y Si A es la fórmula ¬B. entonces A es verdadera en U si y solo si ambas fórmulas B C y C B son verdaderas en U. entonces la fórmula lo es también. f(x)).<1. f(x)) b) (x)R(x. y y y y y El siguiente ejemplo ilustra la interpretación de fórmulas del cálculo de predicados. y) R(x.1>} a = 1.<2. Esta fórmula es cierta para I. (x)R(b. que es cierto. (x)R(a.4> no pertenece a R. (y)R(x. entonces A es verdadera en U si y solo si al menos B es falsa en U o C es verdadera en U. f(x)) verdadera y esto ocurre con x = 1. Si A es la fórmula (x)B(x). Como b = 2 y para x = 3 se tiene R(2. pues R(3. Si A es la fórmula B C. f(x)). entonces A es verdadera en U si y solo si B es falsa en U. y) R(x. Si A es la fórmula B C. En este caso la fórmula es falsa para I. es R(3.x) sea cierta para todos los valores de x.4>. 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. 4) y <3. la veracidad de esta fórmula depende de que R(1. x) e) (x)[ (y)R(x. (x)R(x.<1. f(3)).4>. Si A es la fórmula B C. entonces A es verdadera en U si y solo si B(x) es verdadera en U para cualquier valor de x pertenece U. entonces A verdadera en U si y solo si al menos una de las fórmulas B o C es verdadera en U. 3). f = {<1. f(x)) c) (x)R(a. Si A es la fórmula (x)B(x). 3)] Determine el valor de las fórmulas anteriores: (x)R(x.1>.<2. R = {<1. x) d) (x)R(b.3>}. Sea la interpretación I definida por: U = {1.3>.<4. 3)]. 2.3>. b = 2 Sean las fórmulas del cálculo de predicados: a) (x)R(x. siendo entonces verdadera. x).<1. Esta fórmula es cierta pues lo son: . 4}.

y) (y)R(3. Cálculo de Predicados. La tercera y la cuarta son ciertas pues sus implicantes son falsos (ningún par de R tiene como primer elemento al 3 o al 4). 3) La primera lo es. y) R(1. 3) R(3. Recuperado en 14 de enero http://www. y) (y)R(4.php/C%C3%A1lculo_de_predicados de 2012 de . pues la parte derecha de la implicación lo es.cu/index.ecured. 3) R(4. y) (y)R(2. Lo mismo ocurre con la segunda. 3) R(2.(y)R(1. REFERENCIA BIBLIOGRÁFICA (2011).

Sign up to vote on this title
UsefulNot useful