Programación Lógica y Funcional
Repaso de LPPO
Actividades de repaso de Lógica de Predicados de Primer
Orden (LPPO)
Con ayuda del capı́tulo 1 de Matemática Discreta y sus aplicaciones (5ta.
Edición), Kenneth R., Mc Graw Hill (2004) y de los recursos del campus, realiza
las actividades enumeradas a continuación.
a Dada la formalización de la expresión natural en LPPO, responde:
¿Tiene errores sintácticos?
¿Está completa? Si no está completa, indica qué falta.
¿Se especifican las premisas y la conclusión? De no ser ası́, marca cuáles
son las premisas y cuál la conclusión
b Dada su forma normal conjuntiva (FNC), responde:
¿Tiene errores sintácticos?
¿Está completa? Si no está completa, indica qué falta, indicando si es
necesario las premisas y la conclusión.
Expresión en lenguaje natural
Todos los felinos son mamı́feros.
Todos los rumiantes son mamı́feros.
Todos los mamı́feros tienen pelo.
Todos los mamı́feros cazados por carnı́voros son herbı́voros.
Todos los felinos son carnı́voros, tienen garras y tienen dientes.
Los carnı́voros que cazan herbı́voros más lentos que ellos se los acaban co-
miendo.
caza(Silvestre, Linda)
felino(Silvestre)
rumiante(Linda)
tiene(Linda, Cuernos)
masLento(Linda, Silvestre)
come(Linda, Hierba)
es posible demostrar que Linda es un herbı́voro
Formalización de las expresiones anteriores en Lógica de
predicados de primer orden (LPPO)
1. ∀x f elinos(x) ⇒ mamif eros(x)
2. ∀x rumiantes(x) ⇒ mamif eros(x)
3. ∀x mamif eros(x) ⇒ tiene(x, pelo)
4. ∀x, y mamif eros(x) ∧ carnivoros(y) ∧ caza(y, x) ⇒ herbivoros(x)
5. ∀x f elinos(x) ⇒ carnivoros(x) ∧ tiene(x, garras) ∧ tiene(x, dientes)
6. ∀x, y carnivoros(x)∧herbivoros(y)∧caza(x, y)∧masLento(y, x) ⇒ come(x, y)
7. caza(silvestre, linda)
8. felino(silvestre)
9. rumiante(linda)
10. tiene(linda, cuernos)
11. masLento(linda,silvestre)
Pág. 1
Programación Lógica y Funcional
Repaso de LPPO
Pasaje de la formalización anterior a forma normal
conjuntiva (también conocido como forma clausal)
1. ∼ f elinos(x) ∨ mamif eros(x)
2. ∼ rumiantes(x) ∨ mamif eros(x)
3. ∼ mamif eros(x) ∨ tiene(x, pelo)
4. ∼ mamif eros(x)∨ ∼ carnivoros(y)∨ ∼ caza(y, x) ∨ herbivoros(x)
5. ∼ f elinos(x) ∨ (carnivoros(x) ∧ tiene(x, garras) ∧ tiene(x, dientes)) –Esta
FBF aún no es una clásula, las siguientes tres FBFs lo son:
5.1 ∼ f elinos(x) ∨ carnivoros(x)
5.2 ∼ f elinos(x) ∨ tiene(x, garras)
5.3 ∼ f elinos(x) ∨ tiene(x, dientes))
6. ∼ carnivoros(x)∨ ∼ herbivoros(y)∨ ∼ caza(x, y)∨ ∼ masLento(y, x) ∨
come(x, y)
7. caza(silvestre, linda)
8. felino(silvestre)
9. rumiante(linda)
10. tiene(linda, cuernos)
11. masLento(linda,silvestre)
Pág. 2
