Representacin de hechos con lgica de predicados: a) Algunas plantas no tienen flores. x planta(x) flores(x) b) Cualquier edificio es habitable.

x edificio(x) -> sonHabitables(x) c) No hay delito sin causa. x delito(x) causa(y) d) Algunas personas son insoportables. x persona(x) insoportable(x) e) Existen personas que no comen carne. x persona(x) comeCarne(x) f) No es oro todo lo que reluce. x reluce(x) esOro(x) g) Ningn asesino es bondadoso. x(asesino(x) esBondadoso(x)) h) El que estudia, aprueba. x estudia(x) -> aprueba(x) i) No todos los animales son racionales. x animal(x) sonRacionales(x)) j) Existen personas que aman a todo el mundo. x personas(x) ( y persona(y) -> ama(x, y))

Expresar en sentencias de lgica de predicados las siguientes ideas, y comprueba que los razonamientos son correctos utilizando las prueba por refutacin y el principio de resolucin. a) Todas las personas no son altas. Todos los espaoles son personas. Por tanto, no todos los espaoles son altos. x Persona(x) -> Alto(x) x Espaol(x) -> Persona(x) Espaol(x) -> Alto(x) Niego la conclusin: Espaol(x) -> Alto(x) 1. x Persona(x) -> Alto(x)) x Persona(x) Alto(x)) x Persona(x) Alto(x) Persona(a) 2. Alto(x) 3. Espaol(x) Persona(x) 4. x Espaol(x) -> Alto(x)) x Espaol(x) Alto(x)) x Espaol(x) Alto(x) Espaol(a) 5. Alto(a) (repetida as que la desechamos) Si unimos la 3 con la 4 obtenemos de nuevo la 1 as que no puede hacerse nada. b) Todos los mamferos tienen pulmones. Los rboles no tienen pulmones. Por tanto los rboles no son mamferos. x Mamifero(x) -> Pulmones(x) x Arbol(x) -> Pulmones(x) x Arbol(x) -> Mamifero(x) Niego la conclusin: x Arbol(x) -> Mamifero(x) x Arbol(x) -> Mamifero(x)) x Arbol(x) Mamifero(x)) x Arbol(x) Mamifero(x) 1. Mamifero(x) Pulmones(x) 2. Arbol(x) Pulmones(x) 3. Arbol(a) 4. Mamifero(b) 5. 1 4: Pulmones(x) 6. 2 3: Pulmones(x) 7. 5 6:

c) Los ingleses hablan ingls. Los espaoles no son ingleses. Algunos espaoles hablan ingls. Por tanto, algunos que hablan en ingls no son ingleses. x Ingls(x) ->habla(x,Ingles) x Espaol(x) -> Ingles(x) x Espaol(x) habla(x,Ingles) x habla(x,Ingles) Ingles(x) Niego la conclusin: x habla(x,Ingles)

Ingles(x)

1. Ingles(x) habla(x,Ingles) 2. Espaol(x) Ingles(x) 3. Espaol(x) 4. habla(x, Ingles) 5. habla(x,Ingles) Ingles(x) 6. 2 3: Ingles(x) 7. 4 5: Ingles(x) 8. 6 7: d) Si el reloj est adelantado, Juan lleg antes de las diez y vio partir el coche de Andrs. Si Andrs dice la verdad, entonces Juan no vio partir el coche de Andrs. O Andrs dice la verdad o estaba en el edificio en el momento del crimen. El reloj estaba adelantado. Por tanto Andrs estaba en el edificio en el momento del crimen. Adelantado(reloj) -> lleg(antes10,Juan) vioCoche(Juan,Andres) diceVerdad(Andres) -> vioCoche(Juan,Andres) diceVerdad(Andres) estabaEdificio(Andres) Adelantado(reloj) estabaEdificio(Andres) Niego la conclusin: estabaEdificio(Andres) 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. Adelantado(reloj) lleg(antes10,Juan) vioCoche(Juan,Andres) diceVerdad(Andres) vioCoche(Juan,Andres) diceVerdad(Andres) estabaEdificio(Andres) Adelantado(reloj) estabaEdificio(Andres) 1 4: lleg(antes10,Juan) vioCoche(Juan,Andres) (derivada de la anterior) 2 7: diceVerdad(Andres) 3 8: estabaEdificio(Andres) 5 9: