Ejercicios Formalizacion De Predicados
Los suizos = S
Son europeos = E
x (Sx Ex)
2. Todos los europeos son suizos
Los europeos = E
Son suizos = S
x (Ex Sx)
3. Ningún orco esvegetariano
Orco = a
Es vegetariano = V
X^Vx
¬ ${O X^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
E=elfo,
P= el padre deGilmi
x=padre, y=padre
(xyE -> ExyP)
6.Todo es de color de rosa
R= Color de rosa
"x[Rx]
7 .Todo el mundo teme a Sauron
a= Saurom, T= teme a
x[Txa]
8.Todos los elfos aman la poesía
E= elfos A=aman , y=poesia
x[Ex -> Axy]
9. Todo aquel que odia a Sauron, ama a Frodo
O= odiar, A= amar, a= Saurom , b= Frodo
x[ Oxa --> Axb]
11.Cualquier enano desprecia a los elfos
D= despreciar,E=elfos, N= enanos
x[(Nx ^yE) -> Dxy]
12.Quien ama a Frodo, no odia a Sam
A= amar, O= odiar b= Sam, a= Frodo
x[Axa--> ~Oxb ]
13.Alguien no teme a Sauron
T=no teme, a= saurom
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
H=hobbit
S= a salido
b=comarca
x[HxSxb]
16.Algunos elfos no son cursis
E=elfos , C= son cursis
x[Ex-> ~ Cx]
17.Unos orcos han secuestrado a Pippin
O=orcos, S=secuestrado , a=Pipipin
xOxSxa]
18.Unos pocos hobbits han salvado a muchos
H= hobbit
S= salvadoxy[HxSxy]
19.Casi todos los orcos envidian a ciertos hobbits
O=orcos, H= hobbit E= envidian
xy[(Ox ^Ht )--> Exy]
20.“Hay al menos un hobbit y otro hobbit y uno es diferente del otro”
H=hobbit ,
D=diferente de
x[(Hx1 ^Hx2)--> Dx1x2]
21. “Si un individuo es hobbit y otro individuo es hobbit, el primero es idéntico al segundo”
H=Hobbit
D =identico
x[(Hx1 ^Hx2)--> Dx1x2 ]
22.Hay exactamente 2hobbits
Hobbit =H
E= Hay exactamente
23.Gollum piensa sólo en el Anillo Único
a= Gollum
b= anillo Unico
P= Piensa
Pab
24.Frodo ama a Sam
Frodo= a,
Sam= b
A= ama
Aab
25.Sólo Frodo ama a...
Regístrate para leer el documento completo.