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

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

論理から集合へ：目次追加

下記項目を目次へ追加。

• 全称命題「∀x P(x)」の集合表現
• 全否定の命題をあらわす集合
• ∀x (P(x)⇒Q(x))の集合表現
• ∀x (P(x)⇔Q(x))の集合表現