P. 1
Calculo_de_Predicados

Calculo_de_Predicados

|Views: 19|Likes:
Publicado porVicente Fuentes

More info:

Published by: Vicente Fuentes on Jan 23, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

11/03/2013

pdf

text

original

Universidad Virtual del Estado de Guanajuato

Sebastian Reyes Soto 11000063
Asesor: Leticia Pureco Reyes

Matemáticas Computacionales 14/01/2012

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

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

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

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

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

Recuperado en 14 de enero http://www. 3) R(4. Cálculo de Predicados. y) (y)R(3. 3) R(2.php/C%C3%A1lculo_de_predicados de 2012 de . 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).(y)R(1. 3) La primera lo es. REFERENCIA BIBLIOGRÁFICA (2011). y) (y)R(2. 3) R(3. Lo mismo ocurre con la segunda. pues la parte derecha de la implicación lo es.cu/index. y) R(1.ecured. y) (y)R(4.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->