Usuario:Fernando~eswikibooks/ejercicio 7

---

---

Problemas 2.1

ejercicio 7

Hallar las variables libres y ligadas en:

∀x∃y(P (x, y, z) ∧ Q(y, z) ∨ R(x)

x es una variable ligada porque se halla precedida por un cuantificador universal en la expresión P(x,y,z), y a su vez se comporta como variable libre en R(x).

y es una variable ligada porque se halla precedida por un cuantificador existencial en la expresión P(x,y,z) ^ Q(y,z)

Z es una variable libre porque no depende de algún cuantificador.

Las variables libres son: z

---

.