PROBLEMAS LGICOS AVES

Todas las aves vuelan. Hay algunas aves como los pinginos pero no vuelan. Tambin hay algunas como las avestruces que tampoco vuelan. Chilliwilly es un pingino y Twity es un canario. Todos los canarios y pinginos son aves. GENERAR LISTA. CONCEPTOS (Objetos, entidad y clase)
ave(x) pingino(x) vuelan(x) avestruz(x) canario(x)

INSTANCIAS
pingino(Chilliwilly) canario(Twity)

RELACIONES (FBF)
x: ave(x) vuela(x) x: ave(x) pingino(x) vuela(x) x: ave(x)avestruz(x) vuela(x) x: canario(x) ave(x) x: pingino(x) ave(x)

ORACIONES
Todas las aves vuelan Hay algunas aves como los pinginos pero no vuelan Tambin hay algunas como las avestruces que tampoco vuelan Todos los canarios son aves Todos los pinginos son aves

PASAR DE FBF A FORMA CLAUSAL

1. 2. 3. 4. 5. 6. 7. 8. 9. x: ave(x) vuela(x) Eliminar implicaciones: x: ave(x) vuela(x) Nada Nada Nada Nada Suprimo cuantificador universal: ave(x) vuela(x) Nada Nada Nada FINAL: ave(x) vuela(x) x: ave(x) pingino(x) vuela(x) Eliminar implicaciones: x: (ave(x)pingino(x)) vuela(x) Reducir Negaciones: x: ave(x)pingino(x) vuela(x) Nada Nada

1. 2. 3. 4.

5. 6. 7. 8. 9.

Eliminar cuantificador existencial: ave(S1)pingino(S1) vuela(S1) Nada Nada Nada Nada FINAL: ave (S1)pingino (S1) vuela (S1) x: ave(x)avestruz(x) vuela(x) Eliminar implicaciones: x: (ave(x) avestruz(x)) vuela(x) Reducir Negaciones: x: ave(x) avestruz(x) vuela(x) Nada Nada Eliminar cuantificador existencial: ave(S1) avestruz(S1) vuela(S1) Nada Nada Nada Nada FINAL: ave (S1) avestruz (S1) vuela (S1) x: canario(x) ave(x) Eliminar implicaciones: x: canario(x) ave(x) Nada Nada Nada Nada Suprimo cuantificador universal: canario(x) ave(x) Nada Nada Nada FINAL: canario(x) ave(x) x: pingino(x) ave(x) Eliminar implicaciones: x: pingino(x) ave(x) Nada Nada Nada Nada Suprimo cuantificador universal: pingino(x) ave(x) Nada Nada Nada FINAL: pingino(x) ave(x)

1. 2. 3. 4. 5. 6. 7. 8. 9.

1. 2. 3. 4. 5. 6. 7. 8. 9.

1. 2. 3. 4. 5. 6. 7. 8. 9.

Pgina 2

ARTERIAS

Hay arterias. Hay rganos largos y con pared. Todas las arterias tienen pared. La aorta es un rgano largo todos los rganos largos son arterias. La aorta es un rgano de excepcin. Todas las arterias que no son de excepcin son ricos en oxgeno. La arteria pulmonar es un rgano largo y es un rgano de excepcin. GENERAR LISTA. CONCEPTOS (Objetos, entidad y clase)
arterias(x) rgano_largos(x)

INSTANCIAS

RELACIONES (FBF)
1)x: arterias(x) rgano_pared(x) 2)x: rganos_largos(x) arterias(x) 3)x: arterias(x) ^ rgano_excepcin(x) ricos_oxgeno(x)

rgano_largos(aorta,arteria_pulmonar) rgano_excepcin(aorta, arteria_pulmonar)

rgano_pared(x)

rgano_excepcin(x) ricos_oxgeno(x)

ORACIONES
Todas las arterias tienen pared Todos los rganos largos son arterias Todas las arterias que no son de excepcin son ricos en oxigeno

PASAR DE FBF A FORMA CLAUSAL

1. 2. 3. 4. 5. 6. 7. 8. 9. x: arterias(x) rgano_pared(x) Eliminar implicaciones: x: arterias(x) rgano_pared(x) Nada Nada Nada Nada Suprimo cuantificador universal: arterias(x) rgano_pared(x) Nada Nada Nada FINAL: arterias(x) rgano_pared(x)

Pgina 3

 1. 2. 3. 4. 5. 6. 7. 8. 9.

x: rganos_largos(x) arterias(x) Eliminar implicaciones: x: rganos_largos(x) arterias(x) Nada Nada Nada Nada Suprimo cuantificador universal: rganos_largos(x) arterias(x) Nada Nada Nada FINAL: rganos_largos(x) arterias(x) x: arterias(x) ^ rgano_excepcin(x) ricos_oxgeno(x) Eliminar implicaciones: x: (arterias(x) ^ rgano_excepcin(x)) ricos_oxgeno(x) Regla doble negacin: x: arterias(x) rgano_excepcin(x)) ricos_oxgeno(x) Nada Nada Nada Suprimo cuantificador universal: arterias(x) rgano_excepcin(x) ricos_oxgeno(x) Nada Nada Nada FINAL: arterias(x) rgano_excepcin(x) ricos_oxgeno(x)

1. 2. 3. 4. 5. 6. 7. 8. 9.

Pgina 4