2011年12月1日木曜日

二項述語二重量化∀x ∃y P(x,y)

二項述語・2変項命題関数の二重量化∀x ∃y P(x,y)の定義・意味・読み
冒頭に要旨。一部加筆修正。

数ベクトルの線形独立/線形従属定義

一般の数ベクトルの線形独立/線形従属定義をメンテ。
一般の数ベクトル空間定義をメンテ。
二つの2変数関数と一つの2変数関数との合成関数の微分
 二つの1変数関数と一つの2変数関数との合成関数の微分
メンテ。

5項述語4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4

5項述語・5変項命題関数の4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4 P(x1, x2, x3, x4, x5)の定義・意味・読みを作成。アップロード。

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)の集合表現

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

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

2011年9月20日火曜日

2011年8月29日月曜日