UNIVERSIDAD DISTRITAL

RESUMEN EXPOSICIONES

LOGICA DE PREDICADOS

JHON HAROLD ARIZA SUAZA 20132578099

TECNOLOGIA EN SITEMATIZACION DE DATOS

BOGOTA 12 DE NOVIEMBRE

LOGICA DE PREDICADOS

DEFINICION: La lgica de predicados radica en el instrumento fundamental de la comunicacin, EL LENGUAJE, que se compone generalmente de fras4es interrogativas, imperativas y declarativas. Desde all podemos pasar a definir a la lgica de predicados como aquella que estudia muy detalladamente las frases declarativas, extrayendo su estructura interna de proposiciones, y toma como principales elementos los objetos y las relaciones entre estos. La lgica de predicados es un sistema formal diseado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan slo a variables de individuo, y con predicados y funciones cuyos argumentos son slo constantes o variables de individuo.

LOGICA DE PRIMER ORDEN: VOCABULARIO

Esta formado por los siguientes conjuntos: Variables: Son las ultimas letras del alfabeto minsculas y pueden tener subndices: x,y,z,x1,y1,z1. Constantes: Son las primeras letras del alfabeto minsculas y pueden tener subndices: a,b,c,a1,b1,c1. Funcin: Las funciones estn formadas por las letras f,g,h, y tambin pueden incluir subndices para diferenciar las distintas funciones. Predicado: Se representan con letras maysculas: P,Q,R,K.

Tambin se presentan los siguientes conectivos: : Negacion. ^: Conectiva y. V: Conectiva o. : Implicacin: : Doble implicacin. Y se presentan los siguientes cuantificadores: Cuantificador existencial: Cuantificador universal

Y sus signos de puntuacin son el parntesis y la coma.

METODOS DE RESOLUCION DE PREDICADOS En el momento de realizar la resolucin de un predicado se pueden utilizar mtodos y estos son los siguientes: 1. Variable Libre - Ligada. Sea V () el conjunto de variables de una formula . El conjunto de variables libres de una L-formula se dene como: - Si es una formula atmica, entonces VL () = V (). - Si = (), entonces VL () = VL (). - Si = ( ? ) (? {,, , }), entonces VL() =VL()VL(). - Si = ( x ) o= ( x ), entonces () =VL () \ {x}. Variable libre: No aparece cuanticada.

Las nociones de variable libre y variable ligada se introducen para evitar un posible error en el proceso de substitucin. Supongamos por un momento la frmula . Intuitivamente, esta frmula dice que para todo x, x es menor o igual que y (es decir, que y es mximo). En esta frmula, y es una variable libre, o sea que no est bajo el alcance de ningn cuantificador. Si substituimos y por cualquier otro trmino t, entonces la frmula pasar a decir que t es mximo. Pero supongamos ahora que substituimos a y por x mismo (a fin de cuentas, x es un trmino). En ese caso, y pasa a estar ligada por un cuantificador universal, porque la nueva frmula es: . Pero esta frmula ya no dice de un trmino que es mximo, sino algo muy distinto. Para evitar este tipo de desplazamiento de significado, convenimos que al substituir una variable libre por un trmino cualquiera, hay que evitar que las variables libres en el nuevo trmino queden ligadas por algn cuantificador. Es decir, que permanezcan libres.

Dicho de una manera ms general, si t es un trmino y es una frmula que posiblemente contiene a x como una variable libre, entonces es el resultado de substituir todas las apariciones libres de x por t, suponiendo que ninguna variable libre en t se vuelva ligada en este proceso. Si alguna variable libre de t se volviera ligada, entonces para substituir t por x se necesita cambiar los nombres de las variables ligadas de por otros que no coincidan con las variables libres de t.

2. Forma rectificada: DEFINICION: F est en forma recticada si ninguna variable aparece libre y ligada y cada cuanticador se reere a una variable diferente. x P(x) y Q(z,y) est en forma recticada x P(x) y Q(x,y) no est en forma recticada xP(x) xQ(z,x)no est en forma recticada

3. Forma normal prenexa rectificada

DEFINICION: La frmula F est en forma normal prenexa (FNP) si es de la forma (Q1 x1). . .(Qnxn)G, donde Qi { , }, n 0 y G no tiene cuanticadores.(Q1x1). . .(Qnxn) se llama el prejo de F y G se llama la matriz de F.

ALGORITMO Aplicando a una frmula los siguientes pasos se obtiene otra frmula equivalente y que est en forma normal prenexa recticada: 1. Recticar la frmula usando las equivalencias x F y F[x/y] (1) x F y F[x/y] (2) Donde y es una variable que no ocurre libre en F. 2. Eliminar los bicondicionales usando la equivalencia F G (F G) (G F) (3) 3. Eliminar los condicionales usando la equivalencia F G F G (4)

4. Interiorizar las negaciones usando las equivalencias (F G) F G (5) (F G) F G (6) F F (7) x F x F (8) x F x F (9) 5. Exteriorizar los cuanticadores usando las equivalencias x F G x (F G) con x no libre en G. (11) x F G x (F G) con x no libre en G. (12) x F G x (F G) con x no libre en G. (13) x F G x (F G) con x no libre en G. (14) G x F x (G F) con x no libre en G. (15) G x F x (G F) con x no libre en G. (16) G x F x (G F) con x no libre en G. (17) G x F x (G F) con x no libre en G. (18)

4. Forma normal de skolem DEFINICION: La frmula F est en forma de Skolem (FS) si es de la forma x1 . . . xn G, donde n 0 y G no tiene cuanticadores.

x y P(x,y) no est en forma de Skolem x P(x, f (x)) s est en forma de Skolem x Q(x) no est en forma de Skolem Q(a) s est en forma de Skolem

5. FORMAS NORMALES DE SKOLEM Y CLAUSULAS

1. Formas normales 2. Clusulas de primer orden Sintaxis de la lgica clausal de primer orden Semntica de la lgica clausal de primer orden Forma clausal de una frmula Forma clausal de un conjunto de frmulas Reducin de consecuencia e inconsistencia de clusulas

Sintaxis de la lgica clausal de primer orden Un tomo es una frnula atmica. Variables sobre tomos: A, B, C, . . . , A1, A2, . . . . Un literal es un tomo (A) o la negacin de un tomo (A). Variables sobre literales: L, L1, L2, . . . . Una clusula es un conjunto nito de literales. Variables sobre clusulas: C, C1, C2,. . . . La clusula vaca es el conjunto vaco de literales. La clusula vaca se representa por un cuadrado. Conjuntos nitos de clusulas. Variables sobre conjuntos nitos de clusulas: S, S1, S2, . . . .