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

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

1変数関数の極限値の定義～近傍を用いたε-δ論法

1変数関数の収束・極限値：ε-δ法で近傍を用いた定義。コラム型崩れ修正.。

《実数の集合》の孤立点

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

【排中律】のもとで【背理法】は派生推論規則

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

1変数関数の極限

1変数関数の収束・極限値：ε-δ法による定義。コラム型崩れ修正。

《実数の集合》の外点

「《実数の集合》の外点」定義。コラムの型崩れを修正。

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

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

1変数関数の極限値・収束：ビギナー向け定義の限界

「1変数関数の極限値・収束」のビギナー向け定義に、【日常言語による定義の限界】追加。

【排中律】のもとで【二重否定除去律】は推論規則

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

《関数の極限》と《数列の極限》の関係

《関数の右極限》と《数列の極限》の関係をパネル 化。
 《関数の極限》と《数列の極限》の関係もパネル化。

実数－《実数の集合》間の位置関係・《実数の集合》間の位置関係を表す概念

「距離空間(R,d)」についてのノート。実数－《実数の集合》間の位置関係パネル化。《実数の集合》間の位置関係を表す概念一覧作成(内部・外部・境界・閉包・導集合)。

「一価/多価/n価関数」「単関数・階段関数」「制限・延長」

1変数関数の属性と諸類型の外観変更。

• 項目「一価関数 」「多価関数」「n価関数」パネル化
• 項目「単関数の定義」を1変数関数の単関数・階段関数についてのノートに独立したのに伴い、内容を簡素化、1変数関数の単関数・階段関数についてのノートへリンク。
• 項目「制限」「延長」を1変数関数の制限・延長についてのノートに独立したのに伴い、内容を簡素化、1変数関数の制限・延長についてのノートへリンク。