二項述語・2変数命題関数の定義を目次へ追加。

論理と集合の目次に、二項述語・2変数命題関数の定義へのリンクを追加。