実数の定義：スマホ向け。

実数体・実数の定義のノート。スマホ向け表示設定を追加。

命題論理の自然演繹における諸定理 【12】選言的三段論法の証明

命題論理の自然演繹における諸定理 【12】選言的三段論法の証明 を新規作成、アップロード。

論理記号

論理記号一覧のスマホ初期表示を設定。

絶対値。スマホ。

絶対値の定義と性質のスマホ表示初期設定。

命題論理の自然演繹における諸定理 【11】対偶律 の証明(2)

命題論理の自然演繹における諸定理 【11】対偶律　の証明(2)　を新規作成アップロード。

「数列の定義」「数列の収束・極限値の定義」スマホ表示設定

「数列の定義」「数列の収束・極限値の定義」等についてのノート。スマートフォンでの表示設定を追加。

総目次のレイアウト修正

総目次のレイアウト修正。
あまりにもsmart-phoneで使いづらいから。

集合の基本概念－スマホ対応

集合の基本概念－定義と記号。
スマートフォンで見づらいことに気づいたので、
スマホでもそこそこ見えるように、ちょこっと修正。

命題論理の自然演繹：∨除去則

命題論理の自然演繹：∨除去則。
仮定を直ちに落とすケースを追記。使用例として、分配律1-1の証明、選言的三段論法にリンク。

一階述語論理の統語論 ― 言語(記号集合)の設定

一階述語論理の統語論　―　言語(記号集合)の設定を新規作成。アップロード。