Доказательство логической общезначимости.

[ISS]

Как доказать что формула логически общезначима?
$\exists x \forall y $P_1^2$(x,y) \rightarrow\forall y $\exists x $P_1^2$(x,y)

[ISS]

Я так понимаю, идти нужно от противного.Но не совсем понимаю какую интерпретацию мне нужно придумать,наведите на мысль.