Ejercicios Lc3b3gicos Iia
2
1 EJERCICIOS LÓGICOS Realizar las siguientes actividades con los problemas lógicos propuestos: 1. Convierta los enunciados a cláusulas formales (fbf). 2. Convierta las fbf a cláusulas de Prolog. 3. Capture los programas en archivos .pro 4. Pruebe su programa en el Listener 5. Realice algunos procesos de debug y explíquelos. I. MAMÍFEROS Todos los mamíferos son mortales. Lassie es mamífero. Rintintín es un doberman. Los deberman son perros. II. AVES Twity es un canario Chilliwilly es un pingüino Los canarios son aves. Todas las aves vuelan menos los pingüinos. También hay algunas como los avestruces que tampoco vuelan. III. ¿QUIÉN MATÓ A QUIÉN? Juan tiene un perro. Todos los dueños de un perro son amantes de los animales. Todas las personas que tienen perros son dueños de los perros. Ningún amante de los animales mata a un animal. Juan o Curiosidad mataron al gato, que se llama Tuna. ¿Curiosidad mató al gato? IV. ARTERIAS Algunos de los órganos del sistema circulatorio son la aorta, la arteria pulmonar y la vena bronquial. Dentro de este sistema hay órganos largos y órganos con pared. Todas las arterias tienen pared. La aorta es un órgano largo. Todo órgano largo es una arteria. La aorta no es un órgano de excepción. Toda arteria, si no es un órgano de excepción es rica en oxígeno. La arteria pulmonar es un órgano de excepción. V. LOS ENEMIGOS DEL CESAR 1. Marco es un hombre 2. Marco es Pompeyano 3. Todos los Pompeyanos son romanos 4. César fue un dictador 5. Todos los romanos o son leales al César o lo odian 6. Todos son leales a alguien 7. La gente solo trata de asesinar dictadores a los que no le son leales 8. Marcos trato de asesinar a César 9. Todos los hombres son personas 10. Marcos nació en 40 AD 11. Todos los hombres son mortales 12. Todos los Pompeyanos murieron cuando eruptó el Vesuvio en 79AD 13. No mortal vive mas de 150 años 14. ahora = 2005 15. Vivo significa no muerto
-
Upload
paco-sanchez -
Category
Documents
-
view
212 -
download
0
description
IA
Transcript of Ejercicios Lc3b3gicos Iia
-
1
EJERCICIOS LGICOS
Realizar las siguientes actividades con los problemas lgicos propuestos:
1. Convierta los enunciados a clusulas formales (fbf). 2. Convierta las fbf a clusulas de Prolog. 3. Capture los programas en archivos .pro 4. Pruebe su programa en el Listener 5. Realice algunos procesos de debug y explquelos.
I. MAMFEROS Todos los mamferos son mortales. Lassie es mamfero. Rintintn es un doberman. Los deberman son perros. II. AVES
Twity es un canario Chilliwilly es un pingino Los canarios son aves. Todas las aves vuelan menos los pinginos. Tambin hay algunas como los avestruces que tampoco vuelan.
III. QUIN MAT A QUIN? Juan tiene un perro. Todos los dueos de un perro son amantes de los animales. Todas las personas que tienen perros son dueos de los perros. Ningn amante de los animales mata a un animal. Juan o Curiosidad mataron al gato, que se llama Tuna. Curiosidad mat al gato? IV. ARTERIAS Algunos de los rganos del sistema circulatorio son la aorta, la arteria pulmonar y la vena bronquial. Dentro de este sistema hay rganos largos y rganos con pared. Todas las arterias tienen pared. La aorta es un rgano largo. Todo rgano largo es una arteria. La aorta no es un rgano de excepcin. Toda arteria, si no es un rgano de excepcin es rica en oxgeno. La arteria pulmonar es un rgano de excepcin. V. LOS ENEMIGOS DEL CESAR
1. Marco es un hombre 2. Marco es Pompeyano 3. Todos los Pompeyanos son romanos 4. Csar fue un dictador 5. Todos los romanos o son leales al Csar o lo odian 6. Todos son leales a alguien 7. La gente solo trata de asesinar dictadores a los que no le son leales 8. Marcos trato de asesinar a Csar 9. Todos los hombres son personas 10. Marcos naci en 40 AD 11. Todos los hombres son mortales 12. Todos los Pompeyanos murieron cuando erupt el Vesuvio en 79AD 13. No mortal vive mas de 150 aos 14. ahora = 2005 15. Vivo significa no muerto
-
2
16. Si alguien muere, entonces esta muerto a cualquier tiempo despus 17. Todos los romanos que conocen a Marcos o odian a Csar o piensan que cualquiera que odia est
loco.
