En vez de aplicar RI4 yo apliqué una eliminación del para todo. La
justificación es que, y está libre para f(x) en f(f(x)=x. Es correcto mi
solución ?
Hola Ramón:
Quedó sin responder esta pregunta.
La eliminación del para todo que proponés no es correcta.
Esta regla, se basa en aplicar una sustitución de la variable cuantificada.
En este caso sería una sustitución de la forma [t/x] donde t es un término cualquiera que cumpla con la condición t libre para x en la fórmula afectada por el para todo.
Incluso la sustitución que vos consideraś no está permitida porque una sustitución es siempre cambiar variable por término- (vos estás cambiando f(x) que no es una variable )
Saludos