二項述語・2変数命題関数の具体例

二項述語・2変数命題関数の具体例を更新。