Desarrollo de la Práctica

Materia: Programación Lógica y Funcional

Unidad de aprendizaje: Programación Lógica Práctica número: 4

Lógica de primer orden
Nombre de la práctica:

Objetivo: Formalizar enunciados a lógica de primer orden

Lugar: Aula, LP Duración: 2 horas

Materiales Maquinaria y equipo Herramientas

Copia de la práctica. Cuaderno de trabajo Cuaderno de Trabajo

Procedimiento
1.- Escribir fórmulas del lenguaje lógica de primer orden.

1. Todo es mortal.
2. Nada es eterno.
3. No hay círculos cuadrados.
4. No todo es eterno.
5. Algunos admiran a Quine.
6. Algunos triángulos son equiláteros.
7. Hay triángulos que no son equiláteros.
8. Cualquier triángulo es un polígono.
9. Los triángulos equiláteros son polígonos regulares.
10. Los perros y los gatos son animales domésticos.
11. Las aves nadan y vuelan.
12. Hay filósofos que son admirados por Pedro.
13. Hay filósofos que son admirados por Pedro.
14. Hay filósofos que son admirados por todos los estudiantes.
15. Si algo falta, Juan será culpado.
16. Todos los que aman sufren.
17. Ningún empirista acepta las tesis de Platón.
18. Algunos que admiran a Quine admiran también a Foucault.
19. El que hace infeliz a un niño hace infeliz a un ser humano.
20. Quien sólo se ama a sí mismo no ama a su prójimo.
21. Todos los caballeros de la mesa redonda son leales a Arturo.
22. Arturo está casado con Ginebra. 
23. Lanzarote es un caballero de la mesa redonda y esta liado con Ginebra. 
24. Toda mujer que estando casada se lia con otro hombre no es leal a su marido. 
25. Los caballeros de la mesa redonda que vencen a todos sus enemigos se
convierten en campeones de Arturo
26. Asterix es un galo. 
27. Los romanos que son amigos de algún galo odian a César. 
28. Axterix ayudó a Marco.
29. Marco es amigo de quien le ayuda.
30. Quien odia a algún romano lucha contra él.
31. Marco es un romano.
32. Todos los coyotes persiguen a algún correcaminos.
33. Algunos correcaminos son inteligentes.
34. Los coyotes que persiguen a correcaminos inteligentes no los atrapan.
35. Cualquier coyote que persigue a algún correcaminos, pero no lo atrapa estará
hambriento.
36. Pepe es un coyote y Ana un correcaminos y ambos son inteligentes.
37. Pepe persigue al correcaminos Ana.
38. Todos los felinos son mamíferos.
39. Todos los rumiantes son mamíferos.
40. Todos los mamíferos tienen pelo.
41. Todos los mamíferos cazados por carnívoros son herbívoros.
42. Todos los felinos son carnívoros, tienen garras y tienen dientes.
43. Los carnívoros que cazan herbívoros más lentos que ellos se los acaban
comiendo.