確認しましたが、やっぱり∃x∀y(P(x)⇒P(y))でした。
∃x¬P(x)∨¬∃x¬P(x)を用いて証明するみたいなのですが…。