Estaba revisando la solución de este ejercicio, y me dejó la duda la aplicación de la regla (*5), no entiendo porqué sólo se sustituye el segundo f(x) pero no el primero. Entiendo que aplica la sustitución [f(x) / y].
Acaso el primer f(x) no es libre para y en esa fórmula?. De ser así, porqué no lo sería?
Hola:
La sustitución [f(x)/y] debe interpretarse como:
Parecería que lo estás interpetando al revés.
En el ejercicio, tenemos lo siguiente:
(∀y)(P(x,y) ↔ f(x) = y)
———————————————————————————————— E∀
(P(x,y) ↔ f(x) = y) [f(x)/y]
↑ ↑
En la fórmula de abajo se cambian las y por f(x) y queda:
(∀y)(P(x,y) ↔ f(x) = y)
———————————————————————————————— E∀
(P(x,f(x)) ↔ f(x) = f(x))
↑ ↑
Si quedan dudas, volvé a preguntar.