Usuario:Fercho/ejercicio 16
Hallar las variables libres y ligadas enArchivo:Pensamiento algorítmico ejercicio16a).jpg
.jpg){kind=link}
SOLUCION
En la expresión Archivo:Pensamiento algorítmico ejercicio16a).jpg
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.