一項述語・1変項命題関数の全称量化∀x∈S P(x)

一項述語・1変項命題関数の全称量化∀x∈S P(x)。

「∀ 《変項を先頭にした条件式》  1項述語」「∃ 《変項を先頭にした条件式》  1項述語」の相互リンク