二項述語「x loves y」の全称量化

二項述語・2変項命題関数の全称量化の具体例∀x∈S “x loves y”についてのノートを作成、アップロード。