TRABAJO PRÁCTICO RESUELTO.

EJERCICIOS DE TRADUCCIÓN A LPO.

ACTIVIDADES:
Cx: x es una chica. Mx: x es un muchacho.
Axy: x ama a y. Oxy: x odia a y.
Hx: x juega al Hockey. Vx: x juega al Voley.
Fx: x juega al Fútbol. Qx: x Juega al Básquet.
Ex: x hace Esgrima. Zx: x juega Ajedrez.
Tx: x juega Tenis. Bx: x boxea. Sx: x surfea.

m: María b: Berta r: Raúl j: José

g: Gabriela i: ignacio a:Augusto d: Daniela
n: Mariana j2: Jorge c: Celina v: Victoria
a2: Andrea r2: Roberto

Dado el anterior diccionario de traducción RESOLUCIÓN.

expresar las siguientes oraciones en el lenguaje (Tenga en cuenta que pueden existir variantes
simbólico de la lógica de primer orden: correctas)

1. Augusto ama a Victoria, pero ella lo odia. 1. Aav.Ova

2. Raúl y María se aman. 2. Arm.Amr
3. Si Mariana ama a Raúl, pero él ama a 3. (Anr.Arm)⊃Onm
María, entonces Mariana odia a María.
4. Berta ama a Raúl o a Ignacio. 4. Abr∨Abi
5. Si María juega al tenis o al basquet, 5. (Tm∨Qm)⊃(Ama∨Omj2)
entonces ama a Augusto u Odia a Jorge. 6. ∃ xAxm
6. Alguien ama a María 7. ∃ xCx
7. Hay alguna chica.
8. ∀xCx
8. Todas son chicas.
9. Existe algún surfista. 9. ∃ xSx
10. No existe ningún surfista. 10. ∼∃ xSx o bien: ∀x∼ Sx
11. Todos los muchachos son futbolistas. 11. ∀x(Mx⊃Fx)
12. Algunas chicas son ajedrecistas. 12. ∃ x(Cx.Zx)
13. Todas las chicas son boxeadoras. 13. ∀x(Cx⊃Bx)
14. Las chicas que juegan al voley aman a 14. ∀x((Cx.Vx)⊃Axr)
Raúl.
15. Nadie ama a Jorge. 15. ∼∃ xAx j2 o bien: ∀x ∼ Ax j2
16. Alguien que juega al basquet ama a Celina. 16. ∃ x(Bx.Axc)
17. Alguien que juega al ajedrez odia a alguien 17. ∃ x(Zx.∃ y(Fy.Oxy))
que juega al fútbol.
18. Si alguien boxea, entonces ama a Augusto 18. ∀x(Bx⊃Axa).
19. Jorge ama a Andrea sí, y solo sí, ella 19. Aj2a2≡ Aa2 j2
también lo ama.
20. Si alguien que hace Surf es una chica,
20. ∀x((Sx.Cx)⊃∃ y(Axy.Fy))
entonces ama a algún futbolista.
21. ∀x(Fx⊃∃ y(Axy.Sy))
21. Todo futbolista ama a algún surfista.
22. Alguien se odia a sí mismo. 22. ∃ xOxx
23. Todos los chicos aman a alguna chica. 23. ∀x(Mx⊃∃ y(Axy.Cy))
24. Alguna chica es amada por todos los 24. ∃ x(Cx.∀y(My⊃Ayx))
chicos.
25. Cada chica es amada por alguien y odiada 25. ∀x(Cx⊃(∃ yAyx.∃ zOyx))
por alguien.
26. Toda chica ama a alguien y odia a alguien. 26. ∀x(Cx⊃(∃ yAxy.∃ zOxz))
27. Ninguna chica juega al fútbol. 27. ∀x(Cx⊃∼ Fx)
28. Todas las chicas que odian a alguien juegan 28. ∀x((Cx.∃ yOxy)⊃Vx)
al voley.
29. Alguna chica que surfea es odiada por 29. ∃ x(Cx.Sx.∀yOyx)
todos.
30. Nadie se ama a sí mismo. 30. ∀x∼ Axx o bien: ∼∃ xAxx