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

二項述語・2変数命題関数についてのノート。メンテ了。