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