存在量化の読み下し例を相互リンク。

一項述語・1変項命題関数を存在量化した存在命題。
「∃変項　一項述語」の読み下し例一覧から、

• ∃x∈X P(x)の読み一覧 
• ∃x P(x,y)の読み一覧 
• ∃x∈X P(x,y)の読み一覧　
• ∀x P(x)の読み一覧
• ∀x∈X P(x)の読み一覧 

へリンク。