Ejercicios Lgica

Clculo Proposicional:
1.- Traduzca al Clculo Proposicional y determine la validez usando reglas de inferencia:
Si el da no est oscuro es porque hay sol. Si no llueve, entonces si hay sol no est nublado. No llueve o est despejado. No est despejado. Luego, si est nublado, el da est oscuro. 2.- Traduzca al Clculo Proposicional : a) Diego est adentro haciendo su tarea mientras escucha msica y no est jugando pool. b) Diego no est escuchando msica, ni haciendo su tarea, tampoco est jugando pool c) Una condicin necesaria para que un entero n sea divisible por 9, es que sea divisible por 3. d) Una condicin suficiente para que n sea divisible por 9 es que la suma de sus dgitos sea divisible por 9. 3.- Traduzca al Clculo Proposicional a) Hamlet defendi el honor de su padre, pero no defendi la felicidad de su madre ni la suya propia. b) Es suficiente que vacune a mi hijo para que no contraiga el sarampin. c) Para obtener una beca es necesario tener un buen promedio en la carrera.

4.- Usando formas normales decida el valor de las siguientes fbfs: a) ((p (q r)) q) (p r) b) ((p q) r) q
c) ((p q) (p r)) (q r) 5.Mediante reglas de inferencia, determine la validez de los siguientes razonamientos a) r s, p q, r p, por lo tanto, s q b) (p t, q) w r, w p, r q, por lo tanto, (w r) t 6.- Traduzca al Clculo Proposicional y determine la validez usando reglas de inferencia Si la ciudadana romana hubiera sido una garanta de los derechos civiles, los romanos habran gozado de libertad religiosa. Si los romanos hubieran gozado de libertad religiosa, no se habra perseguido a los primeros cristianos. Pero los primeros cristianos fueron perseguidos. Por consiguiente, la ciudadana romana no puede haber sido una garanta de los derechos civiles.

7.- Dos personas se dicen del mismo tipo si ambas dicen la verdad o ambas mienten. Tenemos tres personas, Aladino, Bertoldo y Ceferino, y sabemos que : - Aladino dice: Bertoldo miente. - Bertoldo dice: Aladino y Ceferino son del mismo tipo Ceferino miente o dice la verdad?

8.- Exprese el siguiente problema usando Clculo Proposicional y responda la pregunta usando reglas de inferencia: Supongamos que Scrates est en tal situacin, que l estara dispuesto a visitar a Platn, slo si Platn estuviese dispuesto a visitarlo; y que Platn est en tal situacin, que l no estara dispuesto a visitar a Scrates, si Scrates estuviese dispuesto a visitarlo; pero estara dispuesto a visitar a Scrates, si Scrates no estuviese dispuesto a visitarlo Scrates est dispuesto a visitar a Platn?

Clculo de Predicados:
1.Traduzca al Clculo de Predicados a) Todo natural diferente de 0 es sucesor de algn natural b) Para cada entero x, si x2 es par, x es par 2.Traduzca al Clculo de Predicados de Primer Orden a) Todos los romanos eran leales a Csar o le odiaban b) Todo el mundo es leal a alguien. c) La gente slo intenta asesinar a los gobernantes a los que no es leal d) Csar fue un gobernante romano, al cual Marco, tambin romano, intent asesinar.

3.- Escriba las siguientes expresiones a) usando slo cuantificador y b) usando slo cuantificador . x (P(x) <-> ( y P(y) Q(x))) 4.- En una base de datos de cierta universidad se tienen dos tablas: Currculo y Asignaturas. Parte de ellas se muestra como ejemplo: Currculo: Alumno Asignatura cursada Nota Juan Prez Estruct. Datos 75 Juan Prez Ing. Software 80 Asignaturas: Asignatura Pre-requisito Ing. Software Estruct. Datos Un alumno puede inscribir una asignatura, si tiene el o los pre-requisitos aprobados. Una asignatura est aprobada si el alumno la curs y tiene una nota superior a 51.

Describa esta base de datos como una estructura usando LPPO, incorporando las frmulas lgicas que estime necesarias para poder obtener una lista de asignaturas que cada alumno est en condiciones de inscribir. 5.- Considere las siguientes sentencias en lgica de predicados: a) R(Marco) b) E(Csar) c) TA(Marco, Csar) d) x (R(x) P(x)) e) x(R(x) LA(x, Csar) O(x, Csar)) f) x y(P(x) E(y) LA(x, y)) g) xy(P(x) E(y) TA(x, y) LA(x,y)) Donde Csar y Marco son constantes y los predicados tienen el siguiente significado: R(x): P(x): E(x): LA(x, y): O(x, y): TA(x, y): x es un romano x es una persona x es un emperador x es leal a y x odia a y x trata de asesinar a y

i) Traduzca las sentencias d, e, f y g, a lenguaje natural (espaol) de forma apropiada al uso comn. ii) Use resolucin para determinar que Marco no es leal a Csar, i. e. LA(Marco, Csar).
6.- En una base de datos de cierta compaa area se tienen dos tablas T1 y T2, parte

de ellas se muestra como ejemplo: Piloto Avin Boer B727 Cceres B747 Drpela J767 Jana J767 Surez B747 Torres B727 Describa esta base de datos como una estructura usando LPPO, incorporando las frmulas lgicas que estime necesarias para poder responder a las siguientes consultas: En cules vuelos puede pilotear Jana? Una lista de vuelos con sus posibles pilotos. T1: Vuelo 1206 1503 1801 1825 1903 Avin J767 J767 B747 B747 B727 T2:

Resolucin y unificacin:
1.- Demuestre , usando resolucin, que el siguiente conjunto de frmulas es insatisfactible: {pq, qp, pq, qp} 2.- Convierta en clusulas disyuntivas la siguiente expresin:

x y(P(x) Q(x,y)) y(P(y) zQ(y,z)) 3.- Cules de las siguientes pares de expresiones unifican? Muestre el unificador ms general, para aquellas que unifican y, para las que no, explique por qu no unifican. a) P(g(f(x)),g(y)), P(x,x) b) P(x,f(x)), P(y, y) c) P(y,y,b), P(z,x,z) d) 2 + 3 = x x=3+3 4.- Demuestre por Resolucin en Clculo Proposicional que s es consecuencia lgica del conjunto de formulas {p<->(q r), s -> p, r} 5.- Un robot debe buscar y repartir paquetes entre distintas oficinas. Debemos resolver un dilema particular del robot: l sabe que todos los paquetes de la oficina 27 son ms pequeos que los de la oficina 28. Tambin sabe que el paquete A est, o bien en la habitacin 27, o bien en la 28 (pero no sabe exactamente en cul); y sabe que el paquete B est en la oficina 27 y que no es ms pequeo que el paquete A. Cmo determina el robot a qu oficina (27 o 28) tiene que ir a buscar el paquete A, si usa resolucin en su proceso de razonamiento? Ejemplos con solucin: 1.- Traduzca de lenguaje natural a clculo de predicado de primer orden las siguientes 2 sentencias. Si Juan es el nico que se porta bien, entonces yo lo premiar ( Portabien(Juan) x ( Portabien(x) Igual(x,Juan) ) )=> Premiar(yo,Juan) Ningn trabajador puede recibir ms de un salario xs1s2 ( ( Trabajador(x) Salario(x,s1) Salario(x,s2) ) => Igual(s1,s2) ) 2.- Sea el siguiente problema: Existen 2 jarros, uno de 3 y el otro de 4 litros, ninguno de ellos tiene medidas intermedias. Considera adems que siempre hay una llave (o vertiente) que proporciona agua en forma ilimitada y tambin el agua se puede botar sin problemas. Las acciones que se pueden realizar son: puedes llenar uno de los jarros con agua, vaciar un jarro, y trasvasijar agua de un jarro a otro si el receptor tiene espacio para recibir agua y el emisor para trasvasijar. Slo es posible realizar las 3 acciones dichas anteriormente. El objetivo es que en el segundo jarro queden 2 litros de agua. Las restricciones son : no se debe llenar un jarro ya lleno, ni vaciar uno vaco y al trasvasijar no se puede perder agua. Modele este problema en lenguaje de predicado de primer orden, incluya predicados, funciones, restricciones, descripcin del estado inicial, descripcin del estado final y los pasos a seguir para llegar desde el inicio al fin. Sean: Llenado(j,x) = jarro j con contenido x.

Cap(j,y) = jarro j tiene capacidad y. R(funcin) = se puede realizar funcin. Adems de predicados Numricos de > y <. Estado Inicial: Llenado(J1,0) Llenado(J2,0) Cap(J1,3) Cap(J2,4) Estado Final u Objetivo: Llenado(J2,2) Funciones: llenar(j): 1) j x y ( ( Llenado(j,x) Cap(j,y) x<y ) => R(llenar(j)) 2) j y x ( (R(llenar(j)) Llenado(j,x) Cap(j,y)) => (Llenado(j,x) R(llenar(j)) Llenado(j,y) ) ) vaciar(j): 3) j x ( ( Llenado(j,x) x>0 ) => R(vaciar(j)) ) 4) j x ( ( Llenado(j,x) R(vaciar(j)) ) => R(vaciar(j)) Llenado(j,x) Llenado(j,0)) trasvasijar(k,j): (Recurdese la funcin monus(x,y) = x y si x>y, sino 0) 5) j k x y z ( ( Llenado(j,x) Cap(j,y) x<y Llenado(k,z) z>0) => R(trasvasijar(k,j)) 6) j k x y z ( ( Llenado(j,x) Cap(j,z) Llenado(k,y) R(trasvasijar(k,j))) => ( R(trasvasijar(k,j) Llenado(j,x) Llenado(k,y) Llenado(j,x+monus(z,x+y)) Llenado(k,monus(x+y,z) ) ) Pasos desde inicio a fin: Inicio: Llenado(J1,0) Llenado(J2,0) Cap(J1,3) Cap(J2,4) Aplicar 1) con j=J1 (Especificacin Universal) y x=3 (Especificacin Existencial) Llenado(J1,0) Llenado(J2,0) Cap(J1,3) Cap(J2,4) R(llenar(J1) Aplicar 2) con j=J1 (Especificacin Universal) y x=3 (Especificacin Universal) Llenado(J1,3) Llenado(J2,0) Cap(J1,3) Cap(J2,4) Aplicar 5) con j=J2, k=J1 (Especificacin Universal) y x=0,y=4 y z=3 (Especificacin Existencial) Llenado(J1,3) Llenado(J2,0) Cap(J1,3) Cap(J2,4) R(trasvasijar(J2,J1)) Aplicar 6) con j=J2, k=J1, x=0,y=3 y z=4 (Especificacin Universal) Llenado(J1,0) Llenado(J2,3) Cap(J1,3) Cap(J2,4)

Y se sigue este mtodo ocupando: llenar(J1) (reglas 1 y 2), trasvasijar(J2,J1) reglas(5 y 6), vaciar(J2) (reglas 3 y 4) y trasvasijar(J2,J1) (reglas 5 y 6). Final: Llenado(J1,0) Llenado(J2,2) Cap(J1,3) Cap(J2,4)

Clausura algortmica:
1.- Sea el siguiente Algebra (Z+, {+}, ). Demuestre que la funcin resta sobre los enteros, est en el cierre algortmico del lgebra. La resta sobre los enteros positivos est definida como a b = 0 si a < b, la resta normal en otro caso. 2.- Suponga el siguiente algebra (Z+ U {0}, {+,-}, { , =}). Defina por cierre algortmico el predicado Par(n), el cual entrega V, si n es par, F sino. 3.- Sea el siguiente Algebra (Z+, {+}, ). Defina por cierre algortmico la funcin factorial.

Verificacin de algoritmos:
1.- Para los algoritmos siguientes, expresado en lenguaje de diagrama de flujo, determine lo que calcula y verifique su correccin usando asertivas a)

b)

inicio n f 1 m n F m>1 V f f m m m - 1 fin f

f, m, n: enteros positivos

c)

Variables de entrada: n: Entero Z+ U {0} Salida: par: Booleano.

Variables internas: x: Entero Z+ U {0} d)

Variables de entrada: n: Entero Z+ Salida: fact: Entero Z+. Variables internas: i: Entero Z+

2.- Dado el algoritmo:

Demuestre formalmente que calcula el producto punto de los vectores x e y. Esto es : p = . Variables de entrada: x, y: ambos vectores de enteros n: Entero que indica el tamao de ambos vectores. Salida: p: entero. Variables internas: i: entero

de

igual

tamao.