【背理法】のもとで【二重否定除去律】は派生推論規則

命題論理の自然演繹：【背理法】のもとで【二重否定除去律】は派生推論規則を新規作成、アップロード。

実n次元数ベクトル空間における変分ノルムと距離空間

実n次元数ベクトル空間における変分ノルムと距離空間。外観大枠のリニューアル。

関数の左極限と数列の収束の関連性についての定理の証明

関数の左極限と数列の収束の関連性についての定理の証明 。
《関数の左極限》の《 数列の収束》への言い換え から項目を移管。

命題論理の自然演繹：【背理法】のもとで【排中律】は定理

命題論理の自然演繹：【背理法】のもとで【排中律】は定理を新規作成、アップロード。

「《実数の集合》の触点」のビギナー向け定義

「《実数の集合》の触点」のビギナー向け定義と厳密な定義のアイデア。コラムの型崩れ修正。

基底の変換と一次写像と行列

基底の変換と一次写像と行列。外観大枠のみリフォーム。

バーワイズ、エチメンディ 『論理学の基礎と演習』 慶應義塾大学出版会 (2006)

論理と集合論のビブリオグラフィーに、
  バーワイズ、エチメンディ『論理学の基礎と演習』慶應義塾大学出版会(2006)
を追加。

【背理法】のもとで【矛盾に関する規則】は派生推論規則

命題論理の自然演繹：【背理法】のもとで【矛盾に関する規則】は派生推論規則を新規作成、アップロード。

「《実数の集合》の集積点」のビギナー向け定義

「《実数の集合》の集積点」のビギナー向け定義と厳密な定義のアイデア。コラムの型崩れ修正。

一般のベクトル空間から一般のベクトル空間への一次写像の行列表示

一般のベクトル空間から一般のベクトル空間への一次写像の行列表示。外観大枠のみリフォーム。

《単調関数の左極限》と《数列の極限》

定理：単調増加関数の左極限の存在の十分条件－数列の収束の観点から
定理：単調減少関数の左極限の存在の十分条件－数列の収束の観点から
のテキスト外観を修正。

【背理法】のもとで、【二重否定除去則】【矛盾に関する規則】は派生推論規則、【排中律】は定理。

命題論理の自然演繹：推論規則【背理法】のもとで、【二重否定除去則】【矛盾に関する規則】は派生推論規則、【排中律】は定理。を新規作成、アップロード。

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

n項述語・n変項命題関数の存在量化∃xi∈S P(x1,…xn)。リンク切れ箇所の修正。

右連続単調関数と《数列の極限》

1変数連続関数についてのノート。下記項目のテキスト外観を修正。

• 定理：単調減少関数のf(x)がx＝x0で右連続であることの十分条件－数列の収束の観点から。  
• 定理：単調増加関数f(x)がx＝x0で右連続であることの十分条件－数列の収束の観点から。

～が張る部分ベクトル空間

～が張る部分ベクトル空間。大枠のみリニューアル。

連言・論理積をあらわす論理記号 A∧B

論理記号一覧の連言conjunction・論理積logical productをあらわす論理記号　A∧Bについて、
外観更新、論理式「P∧Q」の意味論へのリンク付加。

部分ベクトル空間の次元

部分ベクトル空間の次元。大枠のみリニューアル。

森毅『現代の古典解析―微積分基礎課程』ちくま学芸文庫、2006年

解析学のビブリオグラフィーに、
 森毅『現代の古典解析―微積分基礎課程』ちくま学芸文庫、2006年。

を追加。

森毅『位相のこころ』ちくま学芸文庫、2006年

解析学のビブリオグラフィーに、
 森毅『位相のこころ』ちくま学芸文庫、2006年。

を追加。