2011年11月16日水曜日

「数列の定義」「数列の収束・極限値の定義」等

「数列の定義」「数列の収束・極限値の定義」等についてのノートを更新。

単調数列のノート有界数列のノートの独立化にともなって、

ビギナー向けの説明のみを残し、詳しい説明を削除。

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

二項述語・2変数命題関数についてのノート。メンテ了。

一変項述語・1変数命題関数の普遍量化の集合表現

一変項述語・1変数命題関数の普遍量化の集合表現 のメンテ了。

命題関数の普遍量化 ∀x P(x)の集合表現
命題関数の否定と量化
全否定「∀x∈Ω ¬P(x)」 「¬ (∃x∈Ω P(x) )」の集合表現 
部分否定の集合表現 
述語・命題関数の普遍量化 ∀x (P(x)Q(x))の集合表現  
述語・命題関数の普遍量化 ∀x (P(x)Q(x))の集合表現

論理記号

論理記号一覧のメンテ完了。

2011年11月14日月曜日

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

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

一項述語・1変数命題関数

項述語・1変数命題関数。メンテ了。

論理から集合へ:論理演算で組み合わせた述語・命題関数

下記項目のノート。メンテ完了。
命題関数  ¬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)の集合表現

集合関数の例としてのリーマン積分についてのノート

集合関数の例としてのリーマン積分についてのノート。メンテナンス了。