(∃y P(x,y))∧Q(x)⇔∃y(P(x,y)∧Q(x))を示せ。
という問題なのですがこれは、
(∃y P(x,y))∧Q(x)
⇔∃y(P(x,y))∧Q(x)
⇔∃y(P(x,y)∧Q(x))
としてしまってよろしいのでしょうか？