2013年1月9日水曜日

《実数の集合》の導集合

「距離空間(R,d)」についてのノートから、《実数の集合》の導集合についてのノートを独立。

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

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

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

1変数関数の単射(1対1)。コラム型崩れ修正。

《関数の右極限》と《数列の収束》の関連性についての証明