一項述語の存在量化

一項述語・1変項命題関数を存在量化した存在命題を、下記事項に関して更新。

• 　　「∀ 《変項を先頭にした条件式》  1項述語」「∃ 《変項を先頭にした条件式》  1項述語」の相互リンク
• 　∃x∈Xを、他ページにあわせて、∃x∈Sに