La condición "término libre para una variable en una fórmula" sería una condición necesaria pero no suficiente para poder realizar sustitución? La duda me surge al realizar el ej 7g - y el 7l y 7m-. En ambos ejercicios verifico que el término está libre para la variable en la fórmula, Pero al momento de hacer la sustitución veo que según la definición de sustitución no podría realizar la misma ya q la variable en cuestión es la variable del cuantificador. Adjunto ej 7g
En el ej 7l y 7m, la variable está en uno de los cuantificadores. significaría que parte de la sustitución si la puedo realizar?
