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

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