二項述語を普遍量化してつくった一項述語

∀x "x loves y" 二項述語・2変項命題関数 の普遍量化の具体例。調整完了。