命題論理の自然演繹：矛盾

命題論理の自然演繹：矛盾に関する規則を新規作成、アップロード。

1変数関数の属性と諸類型：「全射」

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

溝畑茂 『ルベーグ積分』 岩波書店 (1966年)

測度論のビブリオグラフィー。
溝畑茂 『ルベーグ積分』 岩波書店 (1966年)から楽天へリンク。

命題論理の自然演繹：二重否定除去律

命題論理の自然演繹：二重否定除去律を新規作成、アップロード。

実ベクトル空間上のベクトル演算の一次写像

実ベクトル空間上のベクトル演算の一次写像。
大枠の外観リフォーム完了。

草場公邦・渡辺敬一『代数の世界』

代数のビブリオグラフィー。
草場公邦・渡辺敬一『代数の世界』から、楽天ブックス書誌情報へのリンク追加。

命題論理の自然演繹：背理法

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

1変数関数の全射

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

単射・全射・一次写像

写像についてのノートにおいて、

• 単射から一次写像の単射の条件へリンク　　　
• 全射から一次写像の全射の条件へリンク　　　

『ブルバキ数学原論：実一変数関数』

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

ブルバキ『ブルバキ数学原論―実一変数関数』東京図書、1968年

追加。

命題論理の自然演繹：￢導入則・￢除去則

命題論理の自然演繹：￢導入則・￢除去則を新規作成、アップロード。

一次写像の単射・全射

実ベクトル空間のあいだの一次写像が単射(1対1写像)・全射であるための条件。
大枠の外観リフォーム完了。

Dirk Van Dalen, Logic and Structure

論理と集合論のビブリオグラフィー。
Dirk Van Dalen, Logic and Structureを追加。

命題論理の自然演繹：∧導入則・∧除去則

命題論理の自然演繹：∧導入則・∧除去則を新規作成、アップロード。

一般の線形空間・ベクトル空間定義

線形空間・ベクトル空間定義。改行の不具合修正。

松浦克己・コリン・マッケンジー 『EViewsによる計量経済分析』 東洋経済 (2001年)

確率論と統計学のビブリオグラフィーを更新。 松浦克己・コリン・マッケンジー 『EViewsによる計量経済分析』 東洋経済 (2001年) に、e-hon,honya-clubへのリンク・twitterリンク・掲示板リンク設置。

藤原『線形代数』 岩波

線型代数のビブリオグラフィー。
藤原毅夫 『理工系の基礎数学2:線形代数』 岩波書店 (1996年)
に楽天ブックスへのリンク.

総目次変更：全単射・逆関数

総目次の1変数関数の項目全単射・逆関数のリンク張替え。