Usuario:Fernando~eswikibooks/ejercicio8




== CáLCULO DE PREDICADOS ==

editar


Problemas 2.1

editar

ejercicio 7


Hallar la variables libres y ligadas en:


(P (x, y, z) Q (y, z)) R(x)