2013年1月23日水曜日

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

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

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

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

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

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

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

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

2013年1月22日火曜日

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

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

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

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

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

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

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

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