Lógica De Predicados
1.Todos los suizos son europeos
suizos = S , europeos= E
""x[Sx-> Ex]
2.Todos los europeos son suizos
suizos = S , europeos= E
""x[Ex-> Sx]
3.Ningún orco es vegetariano
orco= O, vegetariano = V
~ $x[Ox-> Vx]
4.El mayor número primo es impar
mayor numero primo= X, impar = I
x--> Ix
5.El padre del padre del padre de Gimli era elfo
elfo= E , el padre de Gilmi= P
padre= X , padre= Y
(xyE -> ExyP)
6.Todo es de color de rosa
Color de rosa= R
"x[Rx]
7.Todo el mundo teme a Sauron
Saurom= a, teme= T
"x[Txa]
8.Todos los elfos aman la poesía
elfos= E , aman= A , poesia= y
""x[Ex -> Axy]
9.Todo aquel que odia a Sauron, ama a Frodo
odiar= O, amar= A, Saurom= a , Frodo= b
"x[ Oxa --> Axb]
11.Cualquier enano desprecia a los elfos
despreciar= D, elfos= E, enanos= N
""x[(Nx ^"yE) -> Dxy]
12.Quien ama a Frodo, no odia a Sam
amar= A, odiar= O , Sam= b, Frodo= a
$x[Axa--> ~Oxb ]
13.Alguien no teme a Sauron
no teme= T, saurom= a
$x[~Txa]
14.Hay algo en el bolsillo de Frodo
Hay =H, a= bolsillo de Frodo
$x[Hxa]
15.Al menos un hobbit ha salido de la Comarca
hobbit= H, a salido= S, comarca= b
$x[HxSxb]
16.Algunos elfos no son cursis
elfos= E , son cursis= C
$x[Ex-> ~ Cx]
17.Unos orcos han secuestrado a Pippin
orcos= O , secuestrado= S , Pipipin= a
$xOxSxa]
18.Unos pocos hobbits han salvado a muchos
hobbit= H, salvado= S
$x$y[HxSxy]
19.Casi todos los orcos envidian a ciertos hobbits
orcos= O, hobbit=H , envidian= E
$x$y[(Ox ^Ht )--> Exy]
20.“Hay al menos un hobbit y otro hobbit y uno es diferente del otro”
hobbit=H , diferente de= D
$x[(Hx1 ^Hx2)--> Dx1x2]
21. “Si un individuo es hobbit y otro individuo es hobbit, el primero es idéntico al segundo”
Hobbit= H, identico= D
$x[(Hx1 ^Hx2)--> Dx1x2 ]
22.Hay exactamente 2 hobbits
Hobbit =H, Hay exactamente 2 hobbits = E
23.Gollum piensa sólo en el Anillo Único
Gollum= a , anillo Unico= b, Piensa= P
Pab
24.Frodo ama a Sam
Frodo= a, Sam= b, amar= A
Aab
