Вопрос по математической логике

[maxmatem]

$\exists(x)$$P(x;x)\to P(g(y))$ надо д-ть что данная формула общезначима! мне не совсем ясно $P(g(y))$ как я понимаю $g(y)$ это функциональная буква относительно переменной $y$.
мне кажется ф-ла необщезначима!но тогда надо указать ту интерпритацию где она не будет тождественно истинной ! но что выражает $g(y)$, вот если бы $g(y;z)$ тогда я это могу понять как например $y\cdot z$ . только данную проверку на общезначимость надо провести формальным путём! без равносильных преобразований! так объясните на каком-нибудь примере предикат $P(g(y))$.

[Профессор Снэйп]

Бр-р-р... У Вас предикат $P$ какой местности: бинарный или унарный?