Usuario:Fercho/ejercicio 16

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

Hallar las variables libres y ligadas enArchivo:Pensamiento algorítmico ejercicio16a).jpg


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.