二項述語・2変項命題関数 の普遍量化の具体例4

二項述語・2変項命題関数 の普遍量化の具体例4を作成、アップロード。