二項述語・2変項命題関数を普遍量化してできた一項述語の具体例1

二項述語・2変項命題関数を普遍量化してできた一項述語の具体例1をアップロード。