論理・集合論文献一覧更新

論理と集合論のビブリオグラフィー。文献アクセスポイント追加。

論理記号一覧からn項述語量化へのリンク

論理記号一覧の∀に、

• n項述語・n変項命題関数の全称量化∀x P(x1,…xn)
• n項述語・n変項命題関数の全称量化∀xi∈S P(x1,…xn)

へのリンクを設置。

論理記号一覧の∃にも、

• n項述語・n変項命題関数の存在量化∃xi P(x1,…xn)
• n項述語・n変項命題関数の存在量化∃xi∈S P(x1,…xn)

へのリンクを設置。

一般の数ベクトル空間定義

一般の数ベクトル空間定義をリニューアル。

n項述語・n変項命題関数の存在量化∃xi∈S P(x1,…xn)

n項述語・n変項命題関数の存在量化∃xi∈S P(x1,…xn)を作成、アップロード。

実ベクトル空間の部分線型空間

実ベクトル空間の部分ベクトル空間の定義をリフォーム。

n項述語・n変項命題関数の全称量化∀xi∈S P(x1,…xn)

n項述語・n変項命題関数の全称量化∀xi∈S P(x1,…xn)を作成、アップロード。

文献表更新：確率・統計

確率論と統計学のビブリオグラフィーを更新。

n項述語・n変項命題関数の存在量化

n項述語・n変項命題関数の存在量化∃xi P(x1,…xn)のノートを作成、アップロード。

目次項目追加：述語・命題関数の量化

論理と集合の目次に、下記項目を追加。

• 一項述語・1変項命題関数の全称量化∀x P(x)
• 一項述語・1変項命題関数の全称量化∀x∈S P(x)
• 一項述語・1変項命題関数の存在量化∃x P(x)
• 一項述語・1変項命題関数の存在量化∃x∈S P(x)
• 二項述語・2変項命題関数の全称量化∀x P(x,y)
• 二項述語・2変項命題関数の全称量化∀x∈S P(x,y)
• 二項述語・2変項命題関数の存在量化∃x P(x,y)
• 二項述語・2変項命題関数の存在量化∃x∈S P(x,y) 

n項述語・n変数命題関数の真理集合・集合表現

• n項述語・n変数命題関数の真理集合
• ｎ項述語・n変数命題関数の集合表現 

を作成、アップロード。