L ogica-E.I.S.

Ra ul Gutierrez de Pi~ nerez

LOGICA PROPOSICIONAL (LP) At omo: Un atomo es una proposici on simple. Por ejemplo: P: el l apiz verde, P es un atomo. Los conectivos l ogicos que sirven para establecer las proposiciones compuestas son (no), (y ), (o), (si . . . entonces) y el bicondicional (si y s olo si), todos estos forman un alfabeto junto con las variables proposicionales y los par entesis sea = { , , , , , (, ), P, Q, R, S . . .} 1. SINTAXIS 1.1 F ormula bien formada (FBF) Una f ormula en la LP es una f ormula bien formada si se dene de manera recursiva as : 1. Un atomo es una f ormula. 2. Si G es una f ormula, entonces ( G) es una f ormula. 3. Si G y H son f ormulas, entonces (G H ),(G H ), (G H ), y (G H ) son f ormulas. 4. Todas las f ormulas en la LP son generadas por la aplicaci on de las anteriores reglas. Ejemplo 1. (Q ) y (G H ) P no son fBF o f ormulas en la l ogica proposicional. 1.2 Interpretaci on en la l ogica proposicional. Es la asignaci on de valores de verdad al conjunto de atomos de una f ormula. Def. formal: Dada una f ormula proposicional G,

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

sea A1 , A2 , . . . , An sean atomos ocurridos en G. Entonces una interpretaci on I de G es una asignaci on de valores de verdad para A1 , A2 , . . . , An en la cual todo Ai es verdadero V o F (falso), pero no ambos. Si hay n atomos distintos en una f ormula entonces n existen 2 interpretaciones. Ahora sea A1 , A2 , . . . , An atomos ocurridos en una f ormula G entonces es m as conveniente representar una interpretaci on I por un conjunto {m1 , m2 , . . . , mn} donde mi es Ai o Ai Ejemplo 2. Sea G (P Q) Q entonces una interpretaci on {P, Q} es respectivamente {F, F } donde el valor de verdad de la f ormula G bajo esta interpretaci on es verdedara. Tambi en podemos decir 2 que G tiene 2 = 4 interpretaciones. a)Negaci on ( P ) es verdadero cuando P es falso. y es falso cuando P es verdadero. ( P ) es llamada la negaci on de P P: Juan es conciso P: Juan no es conciso b) Implicaci on l ogica P Q es falsa si P es verdadera y Q es falsa, de otra forma, P Q es verdadera. Sea P Q se lee: Si P,Q Q, si P P s olo si Q

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

P implica Q P es una condici on suciente para Q P es suciente para Q Una condici on suciente para Q es P Q con tal que P Q es una condici on necesaria para P Q es necesaria para P Una condici on necesaria para P es Q Q, Cuando P Q siempre que P por ejemplo: 1. Mar a ser a una buena estudiante si estudia mucho esta proposici on es de la forma P Q donde: P: Mar a estudia mucho Q: Mar a ser a una buena estudiante 2. Juan puede cursar c alculo s olo si est a en segundo o tercer a no de licenciatura. esta proposici on es de la forma P (Q R) donde: P: Juan puede cursar c alculo Q: Juan est a en segundo a no de licenciatura R: Juan est a en tercer a no de licenciatura 3. Una condici on necesaria para que la selecci on Colombia gane un campeonato mundial es que consiga un buen t ecnico. esta proposici on es de la forma P Q donde: P: La selecci on Colombia gane un campeonato Q: La selecci on colombia consiga un buen t ecnico

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

4. Una condici on suciente para que Diego visite a Santa Marta es que vaya a Cartagena. esta proposici on es de la forma P Q donde: P: Diego vaya a Cartagena Q: Diego visite a Santa Marta c) Conjunci on P Q es verdadero si P y Q son verdaderos; de otra forma P Q es falso. sEA P Q se lee: P y Q Ambos P y Q P, pero Q aunque P, Q P as como tambi en Q P a pesar de que Q d) Disyunci on P Q es verdadero si al menos uno de los dos (P o Q) es verdadero. de otra forma P Q es falso. sEA P Q se lee: P o Q Cualquiera P o Q P a menos que Q e)Bicondicional P Q es verdadero cuando P y Q tienen el mismo valor de verdad de otra forma P Q es falsa. sEA P Q se lee: P si y s olo si Q P es equivalente a Q P es necesaria y suciente para Q

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

P Q es P s olo si Q y Q s olo si P 2. VALIDEZ E INCONSISTENCIA Ejemplo 3. sea la f ormula G ((P Q) P ) Q podemos decir que tiene dos atomos P y Q y que es una tautolog a por que para las 22 interpretaciones es verdadero, esto lo podemos comprobar a trav es de una tabla de verdad.

Ejemplo 4. Considere la f ormula G (P Q) (P Q) podemos decir que tiene dos atomos P y Q y que es una contradicci on por que para las 22 interpretaciones es falso, esto lo podemos comprobar a trav es de una tabla de verdad.

Definici on 1. Una f ormula se dice que es v alida si y s olo si es verdadera para todas las interpretaciones. Definici on 2. Una f ormula se dice que es inconsistente (o insatisfactible) si y s olo si es falso para todas las interpretaciones.

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Definici on 3. Una f ormula es inv alida si y s olo si hay al menos una interpretaci on que es falsa. Definici on 4. Una f ormula es consistente (o SATISFACTIBLE) si y s olo si hay al menos una interpretaci on que es verdadera. Ejemplo 5. Usando las tablas de verdad tambi en podemos ver que: a.(P P ) es inconsistente; por lo tanto es inv alido. b.(P P ) es v alido; por lo tanto es satisfactible. c. (P P ) es inv alido y tambi en consistente. Definici on 5. Si una f ormula F es verdadera bajo una interpretaci on I, entonces decimos que I satisface a F, o que F es satisfecha por I. De otra forma decimos que si una f ormula F es falsa bajo una interpretaci on I, decimos que I falsica a F o que F es falsicada por I. Definici on 6. Cuando una interpretaci on I satisface a una f ormula F, I es tambi en llamado modelo. Ejemplo 6. Sea la f ormula (P P ) decimos que la interpretaci on {P }, {F } es decir P=F, es un modelo por que (F V ) = V 2.1 Formas normales en la l ogica proposicional Es necesario transformar una f ormula proposicional a una forma normal, existen dos formas normales: La Forma Norma Disyuntiva (FND) y la Forma

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Normal Conjuntiva (FNC) Antes de formalizar las formas normales denamos algunas equivalencias l ogicas: 1. F H = (F G) (G F ) 2. (F G) = F G 3.a F G = G F 3.b F G = G F 4.a (F G) H = F (G H ) 4.b (F G) H = F (G H ) 5.a F (G H ) = (F G) (F H ) 5.b F (G H ) = (F G) (F H ) 6.a F = F F 6.b F = F F 7. ( F) = F 8.a (F G) = F G 8.b (F G) = F G 9.a H V = V 9.b H f = H 10.a H V = H 10.b H F = F 11.a H H = V 11.b H H = f Definici on 1. Un literal es un atomo o la negaci on del atomo. Definici on 2. Una f ormula F se dice que est a en la forma normal conjuntiva (FNC) si y s olo si F tiene la forma F F1 F2 . . . Fn, n 1, donde cada Fi es una disyunci on de literales.

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Definici on 3. Una f ormula F se dice que est a en la forma normal disyuntiva (FND) si y s olo si F tiene la forma F F1 F2 . . . Fn, n 1, donde cada Fi es una conjunci on de literales. Ejemplo 7. Sea la siguiente f ormula G ( P Q) (P Q R) est a en la Forma normal disyuntiva, donde: ( P Q) es una conjunci on de literales. (P Q R) es una conjunci on de literales. Ejemplo 8. obtener la forma normal disyuntiva para la f ormula (P Q) R (P Q) R = (P Q) R (P Q) R = ( P ( Q)) R (P Q) R = ( P Q) R como vemos ( P Q) y R son una conjunci on de literales adem as R = R R Ejemplo 9. Obtener la forma normal conjuntiva para la f ormula (P (Q R)) S 3. CONSECUENCIA LOGICA Definici on 1. Dadas las f ormulas F1 , . . . , Fn y la f ormula G, G se dice que es consecuencia l ogica de F1 , . . . , Fn si y s olo si para cualquier interpretaci on I en la cu al F1 F2 . . . , Fn es verdadera, G tambi en lo es. F1 , . . . , Fn son llamados axiomas (o postulados o premisas de G)

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Ejemplo 10. Sea el siguiente argumento l ogico: Suponga que el stock de precios baja si la prima de inter es sube. Suponga tambi en que la mayor a de la gente es infeliz cuando el stock de precios baja. Asuma que la prima de inter es sube. Muestre que usted puede concluir que la mayor a de gente es infeliz. P la prima de inter es sube. S El stock de precios baja. U la mayor a de gente es infeliz. Por lo tanto hay cuatro declaraciones: 1) si la prima de inter es sube, el stock de precios baja. 2) Si el stock de precios baja, la mayor a de la gente es infeliz. 3) la prima de inter es sube. 4) la mayor a de la gente es infeliz. Estas declaraciones son simbolizadas as : 1) P S 2) S U 3) P 4) U Por lo tanto el argumento l ogico se puede traducir en: ((P S ) (S U ) P ) U Mostraremos que si (P S ) (S U ) P es verdadero entonces U debe ser verdadero. (P S ) (S U ) P =( P S ) ( S U ) P =P ( P S ) ( S U ) =((P P ) (P S )) ( S U ) =(F (P S )) ( S U )

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

=(P S ) ( S U ) =(P S S ) (P S U ) =(P F ) (P S U ) = F (P S U ) =P S U Si se supone que (P S ) (S U ) P es verdadero entonces P S U es verdadero por lo tanto P,S y U DEBEN ser verdaderas y se concluye que U es VERDADERA. U es llamada una CONSECUENCIA LOGICA DE (P S ) , (S U ) y P Ahora podemos demostrar que la consecuencia l ogica por los conceptos de validez e inconsistencia. Teorema 3.1 Dadas las f ormulas F1 , . . . , Fn y la f ormula G, G es consecuencia l ogica de F1 , . . . , Fn si y LIs olo si la f ormula (F1 F2 . . . Fn) G) es VA DA. Teorema 3.2 Dadas las f ormulas F1 , . . . , Fn y la f ormula G, G es consecuencia l ogica de F1 , . . . , Fn si y s olo si la f ormula (F1 F2 . . . Fn G) es INCONSISTENTE (O INSATISFACTIBLE). Definici on Si G es una consecuencia l ogica de F1 , . . . , Fn la f ormula (F1 F2 . . .Fn) G) es llamada TEOREMA, donde G es llamada la conclusi on del teorema y F1 , . . . , Fn las premisas. Ejemplo 11. Demostrar por el concepto de validez

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

que U es una consecuencia l ogica de (P S ) ( S U ) P . por el teorema 3.1 hay que demostrar que ((P S ) (S U ) P ) U es V alido, es decir por manipulaci on algebraica hay que demostrar que se llega a un V (verdadero). ((P S ) (S U ) P ) U = (( P S ) ( S U ) P ) U = (P ( P S ) ( S U )) U = (((P P ) (P S )) ( S U )) U = ((F (P S )) ( S U )) U = ((P S ) ( S U )) U = ((P S S ) (P S U )) U = (F (P S U )) U = (P S U ) U = (P S U ) U = P S U U = V POR LO TANTO se llega a un Verdadero y el LIDO. argumento es VA Ejemplo 12. Demuestre por inconsistencia que F2 es consecuencia l ogica de F1, donde: F1: Tom no puede ser buen estudiante a menos que sea listo y su padre lo ayude. F2: Tom es buen estudiante s olo si su padre lo ayuda. Simbolizando el argumento tenemos: F 1 ( P (Q R)) F2 P R Hay que demostrar que F 1

F 2 es FALSA

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

( P (Q R)) (P R) = ( P (Q R)) ( P R) = (( P Q) ( P R)) (P R) = ( P Q) ( P R) (P R) Como (P R) = ( P R), entonces reemplazando = ( P Q) (P R) (P R) = ( P Q) F =F (FALSO) Por lo tanto como se demostr o que la f ormula es falsa entonces por inconsistencia F2 es consecuencia l ogica de F1. Ejercicio propuesto 1. Demostrar que F2 es consecuencia l ogica de F1: a) Por la denici on de consecuencia l ogica. b) Por el concepto de validez. Ejercicio propuesto 2. Considere las siguientes f ormulas: F 1 (P Q) F2 Q G P Demuestre que G es consecuencia l ogica de F1 y F2 por: a) la denici on de consecuencia l ogica. b) el concepto de validez. c) el concepto de inconsistencia. Ejercicio propuesto 3. Considere las siguientes f ormulas: F 1 (P ( Q (R S ))

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

F2 P F3 S Demuestre que Q es consecuencia l ogica de F1, F2 y F3 por: a) la denici on de consecuencia l ogica. b) el concepto de validez. c) el concepto de inconsistencia. Ejercicio propuesto 4. Demuestre que ( Q P ) (contrarec proca) es una consecuencia l ogica de (P Q) por: a) la denici on de consecuencia l ogica. b) el concepto de validez. c) el concepto de inconsistencia. A ( Q P ) se le llama la contrarec proca de (P Q) Ejercicio propuesto 5. Demuestre que la inversa de (P Q) es una consecuencia l ogica de (Q P ) por: a) la denici on de consecuencia l ogica. b) el concepto de validez. c) el concepto de inconsistencia. A ( P Q) se le llama la inversa de (P Q) y (Q P ) es la rec proca de (P Q). 4. RESOLUCI ON EN L OGICA PROPOSICIONAL El principio de resoluci on de Robinson nos sirve para testear si un conjunto S es insatisfactible. Definici on 1. Una cl ausula nita de cero o m as literales. es una disyunci on

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Ejemplo 13. La cl ausula C = P Q

Definici on 2. Un conjunto S de cl ausulas es una conjunci on de todas las cl ausulas en S. Ejemplo 14. S = (P Q P RU R ) (P Q)

Definici on 3. La cl ausula vac a denotada por 2 es la cla usula que tiene cero literales y se da por la deducci on de un conjunto de cl ausulas en S. Ahora la deducci on o derivaci on de una cl ausula C se puede dar a partir una secuencia nita de cl ausulas en S. Denici on 4. Para cualquiera dos cl ausulas C1 y C2 , si hay un literal L1 en C1 que es complementario a L2 en C2 , entonces borramos L1 y L2 de C1 y C2 . Y la cl ausula construida es el RESOLVENTE de C1 y C2 . Ejemplo 15. sea C1 = P C2 = P Q. Entonces el resolvente de C1 y C2 es Q, por que P y P son literales complementarios. Ejemplo 16. sea C1 = P R C2 = P Q. Entonces el resolvente de C1 y C2 es R Q, por que P y P son literales complementarios.

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Ejemplo 17. sea C1 = P Q C2 = P R . Dado que no hay un literal en C1 que sae complementario con un literal en C2 , no existe RESOLVENTE de C1 y C2 . Definici on 5. Si tenemos dos cl ausulas unitarias y estas son complementarias entonces el RESOLVENTE es la cl ausula vac a 2. TEOREMA 4.1 Dadas dos cl ausulas C1 y C2 , un resolvente C de C1 y C2 es una CONSECUENCIA LOGICA de C1 y C2 . Ejemplo 18. sea C1 = P R C2 = P Q. Entonces el resolvente de C1 y C2 es R Q. por el teorema 4.1 podemos decir que R Q es una consecuencia l ogica de (P R) y ( P Q). Por lo tanto podemos demostrar que la f ormula LIDA. ((P R) ( P Q)) (R Q) es VA ((P R) ( P Q)) (R Q) = ((P R) ( P Q)) (R Q) = (P R) ( P Q)) (R Q) = ( P R) (P Q) (R Q) = ( P R) ((R Q P ) (R Q Q)) = ( P R ) (R Q P ) = ( P R Q P) ( R R Q P) = V V =V Denci on 5. (Principio de Resoluci on). Si S contiene 2, entonces S es insatisfactible.

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Teorema 4.2 Sea S un conjunto de cl ausulas. Si S es insatisfactible, entonces hay una deducci on de la cl ausula vac a 2, Teorema 4.3 (Completitud del principio de resoluci on) Un conjunto S de cl ausulas es insatisfactible si y s olo si hay una deducci on de la cl ausula vac a 2 de S. Ejemplo 19. Tomemos la f ormula ((P R) ( P Q)) (R Q) que es v alida y demostremosla por resoluci on. 1) plantear la f ormula para demostrar si es inconsistente, es decir de la forma: (P R) ( P Q) (R Q) 2) Transformar la f ormula a la forma normal conjuntiva. (P R) ( P Q) R Q 3) Obtenemos el conjunto S de clausulas de la forma normal conjuntiva: S = {P R, P Q, R, Q} 4) aplicamos el principio de resoluci on buscando la cl ausula vac a 2 en S. (1)P R (2) P Q (3) R (4) Q Tomamos (1) y (2) y obtenemos el resolvente RQ (5) ahora de (5) y (3) obtenemos el resolvente Q (6) y por ultimo de (4) y (6) se deduce 2 POR LO

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

TANTO (P R) ( P Q) (R Q) es inconsistente y (R Q) es una CONSECUENCIA LOGICA DE (P R) y ( P Q). Ejemplo 20. Demuestre por resoluci on que F2 es una consecuencia l ogica de F1 F1 : Tom no puede ser buen estudiante a menos que sea listo y su padre lo ayude. F2 : Tom es buen estudiante s olo si su padre lo ayuda. 1) tranformamos los argumentos a variables proposicionales: F1 P (Q R ) F2 P R hay que demostrar que P ( Q R ) ( P R ) es inconsistente 2) transformar la f ormula a la forma normal conjuntiva. ( P Q) ( P R) P R 3) El conjunto S = { P Q, P R, P, R} 4) Aplicamos el principio de resoluci on buscando deducir la cl ausula vac a 2 (1) P Q (2) P R (3)P (4) R DE (2) y (3) obtenemos el resolvente R (5) De (4) y (5) obtenemos el resolvente 2 Como se deduce la cl ausula vac a 2 entonces P (Q R) (P R) es INCONSISTENTE por

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

lo tanto P R es una CONSECUENCIA LOGICA DE P (Q R) y adem as P (Q R) (P R) es VALIDO. 5. APLICACIONES (LOGICA Y OPERACIONES CON BITS) Un bit tiene dos posibles valores 0 y 1. Un bit puede ser representado por valor de verdad V o F es decir 1 representa V y 0 representa F. Una variable es llamada variable Booleana si su valor es F o V. Definici on 1. Un cadena de strings es una secuencia de cero o m as bits. La longitud de la cadena es el n umero de bits en la cadena. Definici on 2. La cadena vac a es la cadena que no tiene bits. y su longitud es cero. Ejemplo 21. La cadena 1001101 tiene longitud 7. 5.1 Operaciones con bits Corresponden a los conectivos l ogicos. Tablas para el Bit: OR, AND y XOR x y xy xy xy 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Ejemplo 22. Econtrar el OR, AND y XOR para las cadenas 111001111 y 001100111. 111001111 001100111 111101111 OR 001000111 AND 110101000 XOR 5.2 Compuertas NOR() y NAND(|) La f ormula p NAND q es verdadera cuando p o q, o ambas son falsas y es falsa cuando p y q son verdaderas. La f ormula p NOR q es verdadera cuando tanto p como q son falsas y en cualquier otro caso falsa. Las nuevos conectivos p NAND q y p NOR q se denotan respectivamente p | q (barra de Sheer) y p q (Flecha de Pierce). x 1 1 0 0 y 1 0 1 0 x NOR y 0 0 0 1 x NAND y 0 1 1 1

Ejemplo 23. Mostrar que p | q y p | q son equivalentes. p|q=p|q (p q ) = (q p) Como p q = q p entonces (p q ) =

(p q )

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Ejemplo 24. Mostrar que (p q ) (p q ) es l ogicamente equivalente a (p q ) (p q ) ( p q ) = ( (p q ) (p q ) (p q ) = ( (p q )) (p q ) ( p q ) = p q (p q )))

Ejemplo 25. Demostrar que el operador l ogico | no es asociativo. ( demostrar que p | (q | r ) = (p | q ) | r )

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

LOGICA DE PRIMER ORDEN (LPO) Ejemplo 1. Traducir los siguientes argumentos a la l ogica de primer orden a) Todo hombre es mortal dado que Confucius es un hombre, el es mortal. (x)(H (x) M (x)) H (Conf ucius) M (Conf ucius) b) Existe un entero que es mayor que 100 que es una potencia de 2. (x)(M (x, 100) P (x, 2)) No todos los enteros mayores que 100 son potencia de 2. s olo ALGUNOS. c) Para todo entero n la suma de los n enteros positivos es n(n+1)/2. (n)(i)(n i=1 i =
n(n+1) ) 2

d) Algunos leones no toman caf e. (x)(P (x) R(x))

e) No hay p ajaros grandes que liben n ectar. (x)(Q(x) R(x)) 1. SINTAXIS Nosotros para representar la sentencia x es m as grande que 3denimos un predicado MAYOR(x,y)

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

que signica x es mayor que y(Note que un predicado es una relaci on), entonces la sentencia puede ser representada por MAYOR(x,3). De la misma forma podemos representar x AMA a y con el predicado AMA(x,y) donde x,y son variables y AMA(Jos e, Mary) donde Jos e y Mary son constantes. Nosotros tambi en podemos representar una funci on en la LPO. por ejemplo x+ypueder ser representado por sum(x, y ), donde sum es la funci on, tambi en el sucesor de x es una funci on su(x) 1.1 Notaci on Podemos notar las constantes, variables, predicados y funciones a trav es de un alfabeto. a) Las constantes usualmente se denotan por nombres de objetos 3, Mary, Jos e. b) Las variables se denostan por letras min usculas x,y,x.... c) Las funciones se denotan por letras minpusculas sum, su d) Los predicados se denotan por letras may usculas MAYOR, H. Definici on 1. Los t erminos son denidos recursivamente como sigue: Una constante A es un t ermino. Una variable A es un t ermino.

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Si f es una funci on y t1 , t2 , . . . tn son t erminos, entonces f (t1 , . . . , tn) es un t ermino. Todos los t erminos son generados por la aplicaci on de las anteriores reglas. Definici on 2. Si P es un predicado y t1 , t2 , . . . tn son t erminos, entonces P (t1 , t2 , . . . tn) es un atomo. Ejemplo 2. Traducir los siguientes axiomas a la LPO a) El sucesor de un n umero es un n umero. N(x): x es un n umero su(x): sucesor de x. N (x) N (su(x)) b) Todo n umero racional es un n umero real. Q(x): x es un n umero racional P(x): x es un n umero real Entonces la sentencia es simbollizada as : (x)(Q(x) P (x)) c) Existe un n umero que es un primo. P(x): x es un n umero primo. Entonces la sentencia es simbollizada as : (x )P (x ) d) Para todo n umero x, existe un n umero y tal que x < y . MENOR(x,y): x es menor que y. (x)(y )M EN OR(x, y )

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

e) Los n umeros con el mismo sucesor son identicos. E (x, y ): x es igual a y (N (x) N (y ) E (su(x), su(y ))) E (x, y ) f) La suma es conmutativa. E (x, y ): x es igual a y sum(x, y ): x + y E (sum(x, y ), sum(y, x)) g) Para todo x, y R | x + y = y + x (x)(y )(E (sum(x, y ), sum(y, x))) h) Algunos naturales son pares. (x)(N (x) P (x)) Definici on 3. Una ocurrencia de una variable en una f ormula es ligada si y s olo si la ocurrencia se encuentra dentro del alcance del cuanticador en la f ormula. Una ocurrencia de una variable es libre si y s olo si esta ocurrencia no es ligada. Ejemplo 3. (x)P (x, y ) x es una variable ligada y y es una variable libre. Ejemplo 4. (x)P (x, y ) (x)Q(y ) y es una variable libre y ligada a la vez. Definici on 4. Las F ormulas bien formadas en la l ogica de predicados se denen recursivamente como sigue: Un atomo es una f ormula.

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Si F y G son f ormulas, entonces (F ),(F G),(F G),(F G) y (F G) son f ormulas. Si F es una f ormula y x es una variable libre entonces (x)F y (x)F son f ormulas. Las f ormulas son generadas s olo por la aplicaci on de las reglas anteriores. Ejemplo 5. Traducir a la l ogica de primer orden los siguientes axiomas. A1 : Para todo n umero, existe uno y s olo un inmediato sucesor. funciones a usar: f (x): sucesor de x Predicado a usar: E (x, y ): x igual a y A1 : (x)(y )(E (y, f (x))(z )(E (z, f (x)) E (y, z ))) A2 : No Existe un n umero para el cu al 0 es el inmediato superior. funciones a usar: f (x): sucesor de x Predicado a usar: E (x, y ): x igual a y A2 : ((x)E (0, f (x)))

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

A3 : Para todo n umero diferente de 0, existe uno y s olo un inmediato predecesor. funciones a usar: g (x): predecesor de x Predicado a usar: E (x, y ): x igual a y A3 : (x)( E (x, 0) ((y )(E (y, g (x))(z )(E (z, g (x)) E (y, z ))))) 2. INTERPRETACION EN LA L OGICA DE PREDICADOS En la l ogica proposicional una interpretaci on es una asignaci on de valores de verdad a los atomos. Al contrario de la l ogica proposicional en la LPO se deben especicar dos elementos: el dominio y la asignaci on a constantes, variables, funciones y predicados. Definici on 1. Una interpretaci on de una f ormula F en la LPO consiste de un dominio D no vac o y una asignaci on de valores a cada constante, variables, funciones y predicados en F como sigue: 1. Para cada constante, nosotros asignamos un elemento en D. 2. Para cada funci on, nosotros asignamos desn de D a D (note que Dn = {(x1 , . . . , xn)/x1 D, . . . , xn D}) 3. Para cada predicado nosotros asignamos desde Dn a {V, F }

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Definici on 2. Para toda interpretaci on de una f ormula sobre un dominio D, la f ormula puede ser evaluada V(verdadera) o F (falsa) seg un las siguientes reglas: 1. Si los valores de verdad de las f ormulas G y H son evaladas, entonces los valores de verdad de las f ormulas (G H ),(G H ), (G H ), y (G H ) son evaluados usando las tablas de verdad usadas en la l ogica proposicional. 2. (x)G es evaluada como V si el valor de verdad de G es evaluado como V para toda d D, de otra manera es evaluado como F. 3. (x)G es evaluado como V si el valor de verdad de G es V para al menos un d D; de otra manera es evaluado como F. Ejemplo 6. Considere las siguientes f ormulas ( x )P (x ) y ( x) P (x ) Denimos una interpretaci on para ambas f ormulas ( en este caso el predicado P debe tener asignaci on): Dominio: D = {1, 2} Asiganciones para el predicado P: P(1) P(2) V F

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

La primera f ormula (x)P (x) para que sea verdadera todos los x del dominio deben ser verdaderas bajo el predicado P. pero podemos observar que (x)P (x) es F por que P(2)=F. la segunda f ormula (x) P (x) es V en esta interpretaci on, por que al menos existe un elemento en el dominio x=2 de tal forma que P (2) es V. Ejemplo 7. Considere la siguiente f ormula: (x)(y )P (x, y ) y la interpretaci on: D = {1, 2} P(1,1) P(1,2) P(2,1) P(2,2) V F F V Si x=1, nosotros podemos ver que existe un y tal que P(1,y) sea V. y lo hay cuando y=1, es decir P(1,1) es V. Si x=2, debe existir un y tal que P(2,y) sea V, y lo hay cuando y=2, es decir P(2,2) es V. Por lo tanto como para todo x D existe un y tal que la f ormula P(x,y) es V entonces (x)(y )P (x, y ) es V. Ejemplo 8. Considere la f ormula: G (x)(P (x) Q(f (x), a))

Encontrar el valor de verdad de G.

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Sea el dominio D = {1, 2} y la asignaci on para la constante a=1 asignaciones para f : f(1) 2 f(2) 1

Las asignaciones para los predicados P y Q: P(1) F P(2) Q(1,1) Q(1,2) Q(2,1) Q(2,2) V V V F V

Se debe vericar para todo x en el dominio que G es verdadera Si x=1, entonces P (x) Q(f (x), a) = P (1) Q(f (1), a) P (x) Q(f (x), a) = P (1) Q(2, 1) P (x) Q(f (x), a) = F F = V Si x=2, entonces P (x) Q(f (x), a) = P (2) Q(f (2), a) P (x) Q(f (x), a) = P (2) Q(1, 1) P (x) Q(f (x), a) = V V = V Por lo tanto dado que P (x) Q(f (x), a) es V para todo x D entonces G (x)(P (x) Q(f (x), a)) es V. Ejercicio propuesto 1. Evalue el valor de verdad para cada una de las siguientes f ormulas.

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

a) (x)(P (f (x)) Q(x, f (a))) b) (x)(y )(P (f (x), y ) Q(x, y )) c) (x)(y )(z )((P (x) Q(x, y )) R(x, z )) Tome como interpretaci on al dominio D = {1, 2}, a=1 y las siguientes asignaciones para f : f(1) 2 f(2) 1

Las asignaciones para los predicados P y Q: P(1) F P(2) Q(1,1) Q(1,2) Q(2,1) Q(2,2) V V V F V R(1,1) R(1,2) R(2,1) R(2,2) V V V V 3. VALIDEZ E INCONSISTENCIA EN LA LOGICA DE PREDICADOS Todos los conceptos de validez, inconsistencia, invalidez y satisfactibilidad se denen an alogamente como en la l ogica proposicional. Definici on 1. Una f ormula G es satisfactible si y s olo si existe una interpreatci on I tal que G es evaluado V en I. Definici on 2. Una f ormula G es insatisfactible si y s olo si no existe una interpretaci on que satisfaga a G. Ejemplo 9. Demostrar que G P (y ) es insatisfactible. ( x )P (x ) ( y )

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Se supone que G es verdadero y se llega a una contradicci on por lo tanto G debe ser inconsistente. Bien entonces si (x)P (x) (y ) P (y ) es V, (x)P (x) es V para todo d D, P (d) es V Ahora como G es V, (y ) P (y ) es V, esto es existe un un y D tal que P (y ) es V por tanto por P (y ) es F ESTO ES UNA CONTRADICCION que habiamos dicho que (x)P (x) es V POR LO TANTO G debe ser FALSA y a su vez INCONSISTENTE. Ejemplo 10. Demostrar que G es v alido. ( x)P (x ) ( y )P (y )

Ejemplo 11. Considere las siguientes f ormulas: F1 : (x)(P (x) Q(x)) F 2 : P (a ) Demostraremos que Q(a) es una CONSECUENCIA LOGICA de F1 y F2 Consideremos cualquier interpretaci on I que satisfaga a (x)(P (x) Q(x)) P (a). Asumamos que P (a) es V y Q(a) es F en esta interpretaci on entonces P (a) Q(a) es decir P (a) Q(a) es F en I. esto signica que en I (x)(P (x) Q(x)) es F. POR LO TANTO Q(a) debe ser V para toda interpretaci on que satisfaga a (x)(P (x) Q(x)) P (a) Esto signica que Q(a) es Consecuancia l ogica de F1 y F2 .

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

4. FORMA NORMAL DE PRENEX EN LA LPO En la l ogica proposicional nosotros introducimos las dos formas normales: la forma normal conjuntiva y la forma normal disyuntiva. En la l ogica de primer orden, hay tambi en una forma normal es la forma normal de Prenex la raz on principal de esta forma es la simplicaci on de la f ormula original. Definici on 1. Una f ormula F en la l ogica de primer orden est a en la Forma Normal de Prenex si y s olo si la f ormula F est a en la forma: (Q1 x1 ) . . . (Qnxn)(M ) Donde todo (Qixi), i = 1, . . . , n es (xi) o (xi) y M es una f ormula que no contiene cuanticadores. (Q1 x1 ) . . . (Qnxn) es llamado el prejo de M y M es la matriz de la f ormula de F. Ejemplo 12. Las siguientes f ormulas est an en la forma normal de prenex: a) (x)(y )(P (x, y ) Q(x, y ) b) (x)(y )( P (x, y ) Q(x, y ) c) (x)(y )(z )(P (x, y ) Q(z )) 4.1 Propiedades para la transformaci on a la forma normal de Prenex. 1) 2) ((x)F (x)) = (x)( ((x)F (x)) = (x)( F (x)) F (x))

Suponga que las f ormulas F (x) y H (x) contienen a x entonces:

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

3) (x)F (x) (x)H (x) = (x)(F (x) H (x)) 4) (x)F (x) (x)H (x) = (x)(F (x) H (x)) Cuando aparece (x)F (x) (x)H (x) es decir la disyunci on con el cuanticador se debe hacer cambio de variable. 5) (x)F (x) (x)H (x) = (x)F (x) (z )H (z ) = (x)(z )(F (x) H (z )) 6) (x)F (x) (x)H (x) = (x)F (x) (z )H (z ) = (x)(z )(F (x) H (z )) Otras leyes retomadas de la l ogica proposicional son: F H = ( F H ) (H F ) (F H ) = F H ( F) = F (F H ) = F H (F H ) = F H Ejemplo 13. Transformar la siguiente f ormula (x)P (x) (x)Q(x) a la forma normal de prenex. (x)P (x) (x)Q(x) = ((x)P (x)) (x)Q(x) = (x)( P (x)) (x)Q(x) = (x)( P (x) Q(x)) POR LO TANTO, la forma normal de prenex de (x)P (x) (x)Q(x) es (x)( P (x) Q(x)) Ejemplo 14. Obtener la forma normal de prenex de la f ormula: (x)(y )((z )(P (x, z ) P (y, z )) (u)Q(x, y, u))

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

= (x)(y )( (z )(P (x, z )P (y, z ))(u)Q(x, y, u)) = (x)(y )(z )( (P (x, z ) P (y, z ))(u)Q(x, y, u)) = (x)(y )(z )(u)( P (x, z ) P (y, z )Q(x, y, u)) 5. FORMA ESTANDAR DE SKOLEM. La idea es la de eliminar el cuanticador existencial de la forma normal de prenex y sedebe tener en cuenta: 1) La f ormula se debe transformar a la forma normal de prenex. 2) La matriz no contiene cuanticadores y puede ser tranformada a la forma normal conjuntiva. 3) Los cuanticadores existenciales deben ser eliminados. Definici on 1. Sea una f ormula en la forma normal de prenex (Q1 x1 ) . . . (Qnxn)(M ), donde M est a en la forma normal conjuntiva. Suponga que Qr es un cuanticador existencial en el prejo (Q1 x1 ) . . . (Qnxn), 1 r n entonces: 1) Si no hay cuanticador universal antes de Qr entonces se elige una nueva constante c diferente a otras constantes ocurridas en M y reemplazamos todo xr en M por c y borramos Qr xr del prejo. 2) Si Qs1 . . . Qsm son todos los cuanticadores universales antes de Qr , 1 s1 < s2 < sm < r, se elige una nueva funci on diferentes de las que hay en M y reemplazamos todo xr en M por f (xs1 , xs2 , . . . , xs1 ), y se borra (Qr xr ) del prejo.

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

Ejemplo 15. Obtener la forma est andar de Skolem de la f ormula: (x)(y )(z )(u)(v )(w)P (x, y, z, u, v, w) 1) En esta f ormula como vemos, (x) no esta precedido por ning un cuanticador universal, por tanto se reemplaza la variable x por una contante a y borramos (x) . (y )(z )(u)(v )(w)P (a, y, z, u, v, w) 2) (u) est a precedido por (y ) y (z ) por tanto reemplazamos la variable u por una funci on f (y, z ). (y )(z )(v )(w)P (a, y, z, f (y, z ), v, w) 3) Por ultimo (w) est a precedido por (y ),(z ) y (v ) por tanto se reemplaza la variable w por una funci on que no este en P, es decir g (y, z, v ) y por tanto la forma est andar de Skolem queda as` : (y )(z )(v )P (a, y, z, f (y, z ), v, g (y, z, v )) Ejemplo 16. Obtener la forma est andar de Skolem de la siguiente f ormula. (x)(y )(z )(( (x)(y )(z )(( P (x, y ) Q(x, z )) R(x, y, z ))

1) Se transforma M a la forma normal conjuntiva. P (x, y )R(x, y, z ))(Q(x, z )R(x, y, z )))

2) obtenemos la forma est andar de Skolem reemplazando y por una funci on f (x) y se elimina (y ). (x)(z )(( 3) y por ultimo eliminamos (z ) reemplazando z por una funci on g (x) en M.

P (x, f (x))R(x, f (x), z ))(Q(x, z )R(x, f (x), z )))

L ogica-E.I.S.C

Ra ul Gutierrez de Pi~ nerez

(x)(( P (x, f (x)) R(x, f (x), g (x))) (Q(x, g (x)) R(x, f (x), g (x)))) 6. FORMA CLAUSULAR Es importante obtener la forma clausular de la forma normal de Skolem. Definici on 1. Una cl ausula es una disyunci on nita de cero o mas literales. Definici on 2. Sea S el conjunto de cl ausulas que representan la forma est andar de una f ormula F. Ejemplo 17. Sea la siguiente f ormula en la forma est andar de Skolem (x)(( P (x, f (x)) R(x, f (x), g (x))) (Q(x, g (x)) R(x, f (x), g (x)))) Entonces el conjunto S tiene dos cl ausulas S = { P (x, f (x)) R(x, f (x), g (x)), Q(x, g (x)) R(x, f (x), g (x))} C1 = P (x, f (x)) R(x, f (x), g (x)) C2 = Q(x, g (x)) R(x, f (x), g (x)) S = {C1 , C 2 } Ejemplo 18. obtener la forma clausular de: (y )(z )(v )P (a, y, z, f (y, z ), v, g (y, z, v )) S = {P (a, y, z, f (y, z ), v, g (y, z, v ))}