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 de Frodo

P: x ama a Frodo

Q: x odia a Sam

Ǝx ( Px ¬ Qx )

15.Al menos un hobbit ha salido de la Comarca

D:Hobbit

E: Salir de la comarca

Ǝx ( Dx  Ex )

16. Algunos elfos no son cursis

P:Elfos

Q:Cursis

Ǝx ( Px  ¬Qx )

17. Unos orcos han secuestrado a Pippin

T:Orcos

O:Secuestrar a Pippin

Ǝx ( Tx  Ox )

18.Unos pocos hobbits han salvado a muchos

P:Hobbits

Q:Salvar a muchos

Ǝx ( Px  Qx )

19.Casi todos los orcos envidian a ciertos hobbits

A:Orcos

B:Envidia

C: Hobbits

Ǝx ( Ax  Ǝx( Bx  Cx ))

20.“Hay al menos un hobbit y otro hobbit y uno es diferente del otro”

F:Hobbit

(Ǝx)Fx ∧ (Ǝx)Fx (Ǝx)Fx ≠ (Ǝx)Fx

21. “Si un individuo es hobbit y otro individuo es hobbit, el primero es idéntico al segundo”

G:Hobbit

I: Individuo

(¥H)Ex ∧ (ƎH)Ex  G

22.Hay exactamente 2 hobbits

23.Gollum piensa sólo en el Anillo Único

...