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

一項述語・1変項命題関数の全称量化∀x∈S P(x)を作成、アップロード。