二項述語・命題関数の具体例3 " x loves y "

二項述語・命題関数の具体例3 "x loves y"。メンテ了。