Lgica 2 Hugo Enrique Snchez

Tarea 4 Fecha de entrega: jueves 21 de marzo

Pgina 1 de 1

1. Considera el modelo M
2
definido de la siguiente manera:
={u
3
,u
5
,u
7
}
(x) =_
u
3,
si x {o,b}
u
5
, si x {c,J}
u
7
, si x {c}

(H
1
) ={u
7
,u
3
}
(R
2
) ={u
3
,u
3
,u
5
,u
5
,u
7
,u
7
}
(S
4
) ={u
3
,u
5 ,
u
5
,u
3
}
(N
3
) ={u
3
,u
5
,u
3
,u
5
,u
3
,u
5
,u
5
,u
5
,u
5
}
(E
12
) =
1. (Hx ~Hx)
2. x(y(z Nxyz))
3. ~((Fo SocJc) (Nocb Sccxx))
4. (w(Hw ~Hx)) ~x(Hx Hx )
5. (Rcc RcJ) x(y(Rxy Ryx)
6. Eobcobcobcobc x(yRxy)
2. Construye un modelo H
2
en el cual las siguientes frmulas sean satisfechas:
i. RbJ Kbo
ii. x(y(Rxy))
iii. z(Fz ~Roo)
iv. (No Nb) x(Nx Fx)
v. ~(Kob z(Hz Fz))
vi. (0xy 0yx) Kby
3. Puedes construir un modelo en el cual las siguientes frmulas no sean satisfechas?
Argumenta tu respuesta.
i. x(y(Fxy Fxy)) ii. x(Fx yFy)
4. Puedes construir un modelo en el cual las siguientes frmulas sean satisfechas?
Argumenta tu respuesta.
i. zFz z~Fz ii.x((Fx 0x) (~0x Fx))