存在記号∃の読み

∃記号の読み一覧。

• n項述語・n変項命題関数の存在量化　∃xi P(x1, x2, …, xn) 
• n項述語存在量化　∃xi∈S P(x1,…,xn)

へリンク。