x ∈ Y の x は束縛されていない変数です。

これは命題ではないですよね？

ですので、

（∀x x ∈ X） ⇒ x ∈ Y

も命題ではないですよね？