数理論理学入門の講義の本当に初歩的な問題ですがお願いします。

Pは1引数述語記号、x、yは変数記号とする。
次の論理式が恒真であるかどうか調べよ。

(1)ﾖx(P(x)→∀yP(y))
(2)∀x(P(x)→∀yP(y))

(1)が恒真なのはなんとなくわかりますが、どのように記述すればいいのでしょうか。
よろしくお願いします。