二項述語・2変項命題関数の全称量化

二項述語・2変項命題関数の全称量化∀x∈S P(x,y)についてのノートを作成、アップロード。