n項述語・n変項命題関数の存在量化

n項述語・n変項命題関数の存在量化∃xi∈S P(x1,…xn)。リンク切れ箇所の修正。