Alguna ayuda para construir esta derivación? Primero utilizo una introducción del Para Todo, luego una introducción del Existe y por último una introducción del And. Ahí me quedo y no se cómo continuar.
Gracias
observa que P(x, g(x)) |-- (exi y) (P (x, y) /\ y = g(x))