∀x (x loves y) , ∀y (x loves y)

二項述語・2変項命題関数を普遍量化してできた一項述語の具体例3「∀x (x loves y)」「∀y (x loves y)」を作成、アップロード。