Hola.
Para poder realizar la sustitución: debe estar libre para
en
.
En este caso:
Por tanto, para poder realizar la sustitución: debe estar libre para
en
.
Mirando la definición de término libre para variable, vemos que esto se cumple. (Observar que si la fórmula no tiene cuantificadores, los términos siempre están libres para las variables).
La derivación está bien.
Saludos