Lgica 2 Hugo Enrique Snchez

Fecha de entrega: jueves 14 de marzo

Pgina 1 de 1

Tarea 2
FRMULAS, CUANTIFICADORES Y VARIABLES

1. Determina en cada caso cules ocurrencias de variables estn y ligadas y cuales no lo
estn.
i) [x((Fx Fw) z(Iw Hz))
ii) z _y _(Fob Rxy) _~[x(~(0obz Hx))]__
iii) [x
1
[x
2
(Px
1
x
1
) (Px
2
x
2
)] z(Zzy)]
2. Considera las frmulas en (i)-(iii). Construye una nueva frmula ligando las variables
libres con cuantificadores existenciales. Hay ms de una manera de hacerlo?
3. Haz lo que se te pide en cada caso.
i. Construye una frmula cerrada en la que no ocurran variables.
ii. Construye una frmula cerrada en la que ocurran tanto cuantificadores universales como
existenciales.
iii. Construye una frmula abierta en la que no ocurran constantes.
iv. Construye una frmula abierta en la que todas la ocurrencias de la variable z estn
ligadas por a cuantificadores existenciales.
v. Construye una frmula de longitud 15 en la que por lo menos un cuantificador
existencial ocurra vacuamente y por lo menos un cuantificador universal ligue a una
variable.
vi. Construye una frmula de longitud 16 con tres cuantificadores que ocurran vacuamente
y una frmula abierta.