LOGICA DE PREDICADOS

TALLER LÓGICA DE PREDICADOS

1.Todos los suizos son europeos

P:Los suizos

Q:son europeos

¥x(Px-->Qx)

2.Todos los europeos son suizos

P:Los europeos

Q:son suizos

¥x(Px-->Qx)

3.Ningún orco es vegetariano

P:Orco

Q:es vegetariano.

¥x(Px  ¬Qx)

4. El mayor número primo es impar

P: mayor primo

Q: es impar

Ǝx(P x Qx)

5. El padre del padre del padre de Gimli era elfo

P:Bisabuelo de Gimli

Q: Era elfo

Ǝx(Px  Qx)

6. Todo es de color de rosa

P: color de rosa

¥x(Px)

7. Todo el mundo teme a Sauron

P: El mundo

Q: teme a Sauron

¥x(Px-->Qx)

8. Todos los elfos aman la poesía

P:los elfos

Q:aman la poesía

¥x(Px-->Qx)

9. Los elfos aman la poesía

P:los elfos

Q: aman la poesía

Ǝx(Px-->Qx)

10.Todo aquel que odia a Sauron, ama a Frodo

P: x odia a sauron

Q: x ama a frodo

¥x ( Px  Qx )

11. Cualquier enano desprecia a los elfos

P: enano

Q: desprecia elfos

Ǝx ( Px  Qx )

12.Quien ama a Frodo, no odia a Sam

P: x ama a Frodo

Q: x odia a Sam

Ǝx ( Px ¬ Qx )

13.Alguien no teme a Sauron

P: x ama a Frodo

Q: x odia a Sam

Ǝx ( Px ¬ Qx )

14. Hay algo en el bolsillo

...