∨導入則・∨除去則

命題論理の自然演繹：∨導入則・∨除去則。ナビゲーション・リンク切れの修正

実ベクトル空間の部分ベクトル空間の次元

実ベクトル空間の部分ベクトル空間の次元。
大枠の外観リフォーム完了。

解析学のビブリオグラフィー

解析学のビブリオグラフィー。
リンク切れ予定箇所の事前削除。

命題論理における自然演繹の推論規則・公理の最小限のセット

命題論理の自然演繹に、

• 　命題論理における自然演繹の推論規則・公理の最小限のセット
• 　主要テキストの「自然演繹の推論規則・公理」　　

を追加。

1変数関数の属性と諸類型:項目「単射」

1変数関数の属性と諸類型から、1変数関数の単射(1対1)を別ページに独立させたのに伴い、
1変数関数の属性と諸類型の項目「単射」の説明を大幅に削除。

線型代数のビブリオグラフィ

線型代数のビブリオグラフィー。
リンク切れ予定箇所の事前削除。

⇒導入・除去則

⇒導入則・⇒除去則。ナビゲーション・リンク切れの修正

1変数関数の単射(1対1)

1変数関数の属性と諸類型から、1変数関数の単射(1対1)を別ページに独立させる。

論理と集合論のビブリオグラフィー

論理と集合論のビブリオグラフィー。
リンク切れ予定箇所の事前削除。

選言disjunction・論理和logical sumをあらわす論理記号A∨B

論理記号一覧の選言disjunction・論理和logical sumをあらわす論理記号A∨Bについて、
体裁改善、論理式「P∨Q」の意味論へのリンク付加。

部分ベクトル空間の和・直和分解・補空間

実ベクトル空間の部分ベクトル空間の和・直和分解・補空間。
大枠の外観リフォーム完了。

数学全般にかかわる文献のビブリオグラフィー

数学全般にかかわる文献のビブリオグラフィー。
リンク切れ予定箇所の事前削除。

排中律

命題論理の自然演繹：排中律を新規作成、アップロード。

一次写像と一次独立

実ベクトル空間のあいだの一次写像と一次独立。
大枠の外観リフォーム完了。

遠山啓 『代数的構造』 ちくま学術文庫 (2011年)

代数のビブリオグラフィーに、
遠山啓 『代数的構造』 ちくま学術文庫 (2011年)を新規追加。