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

二項述語・2変数命題関数の具体例"x loves y"をupload.