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

二項述語・2変数命題関数の定義についてのノートに内容を追加。

二項述語を一項述語として解釈 ～ 順序対を用いて.