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

二項述語・2変数命題関数の定義についてのノートを更新。