《集合演算∪∩－によってつくられた集合》の内包

《集合演算∪∩^c－によってつくられた集合》の内包　をメンテ完了。

集合から論理へ:「集合の内包」「∈の述語・命題関数による表現」

集合から論理へ:「集合の内包」「∈の述語・命題関数による表現」をメンテ完了。 

集合関数の例:「矩形の面積」

集合関数の例としての「矩形の面積」についてのノート。メンテ了。

二項述語・2変項命題関数の二重量化∃x∈S ∀y∈T P(x,y)

二項述語・2変項命題関数の二重量化∃x∈S ∀y∈T P(x,y)の定義・意味・読みを加筆修正。

写像と「集合族」「集合列」の性質

写像と「集合族」「集合列」の性質をメンテ。

n項述語(n変数命題関数)の真理集合

論理から集合へ:n項述語(n変数命題関数)の真理集合・n項述語(n変数命題関数)の集合表現
をメンテ了。

集合関数の例:「区間塊の長さ」

集合関数の例としての「区間塊の長さ」についてのノート。メンテ了。

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

二項述語・2変項命題関数の全称量化∀x∈S P(x,y)を加筆修正アップロード。

「集合族」「集合列」の性質

「集合族」「集合列」の性質をメンテ。

:2項述語(2変数命題関数)の真理集合

論理から集合へ:2項述語(2変数命題関数)の真理集合・2項述語(2変数命題関数)の集合表現
をメンテ了。

三項述語の二重量化「∃x∈S ∀y∈T P(x,y,z)」

三項述語の二重量化「∃x∈S ∀y∈T   P (x,y,z)」のミス修正。

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

n項述語・n変項命題関数の全称量化∀x_i∈S P (x1,…x_n)の加筆、更新。

集合関数の例:「区間の長さ」

集合関数の例としての「区間の長さ」についてのノート。メンテ了。

配置集合

配置集合のメンテ了。　　

真理集合

論理から集合へ:一項述語(一変数命題関数)の真理集合・一項述語(一変数命題関数)の集合表現
をメンテ了。

N項述語・N変数命題関数

n項述語・n変数命題関数についてのノート更新。リンク切れの修正など。

合成写像

合成写像のメンテ。

極限集合

「極限集合」についてのノートをメンテ。

「集合族」「集合列」

「集合族」と「集合列」を定義するノートをメンテ。

有界数列のノート

有界数列のノートを加筆、独立化。