集合の基本概念－定義と記号

集合の基本概念－定義と記号の具体例につけたリンクが切れていたのを修復。

「集合から論理へ」の項目を目次に追加

下記項目を集合論目次に追加。

• 集合の内包
• ∈を表す述語・命題関数
• 《∈の否定》を表す述語・命題関数

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

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

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

下記項目を目次へ追加。

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

命題関数の真理集合・命題関数の集合表現：目次追加

総目次に、論理から集合への下記項目を追加。

• 命題関数P(x)の真理集合/命題関数P(x)の集合表現
• ￢P(x)の真理集合/P(x)∧Q(x)の真理集合/P(x)∨Q(x)の真理集合/P(x)⇒Q(x)の真理集合/P(x)⇔Q(x)の真理集合
• ￢P(x)の集合表現/P(x)∧Q(x)の集合表現/P(x)∨Q(x)の集合表現

「互いに素」の述語論理による表現

集合の基本概念－定義と記号の互いに素の説明に、「互いに素」の述語論理による表現へのリンクを設置。

互いに素を表す命題

集合から論理へに、互いに素を表す命題を追加。

差集合の内包をなす述語・命題関数

集合から論理へに、差集合の内包をなす述語・命題関数を追加。

実数の加法乗法をからめた性質

実数の加法乗法をからめた性質についてのノートのリンク切れを修正。

更新：実数の定義

実数体・実数の定義のノートのリンク切れに対応。