線型代数文献一覧

線型代数のビブリオグラフィーを更新。

数学全般の文献リスト

文献リストのトップページを一部更新。

代数学の教科書の文献リスト

代数のビブリオグラフィーを更新。

論理と集合論の文献リスト

論理と集合論のビブリオグラフィーを更新。

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

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

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

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

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

二項述語・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)の集合表現

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

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