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

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

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

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

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

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

命題論理の自然演繹―派生推論規則

命題論理の自然演繹―派生推論規則についてのノートを新規作成。アップロード。

論理目次：基本事項・命題論理・述語論理に類別

論理の目次を更新。
論理の項目を基本事項・命題論理・述語論理に類別。

論理法則一覧

論理法則一覧から、

• 論理法則の意味論 
• 定理としての論理法則の証明論
• 推論規則としての論理法則の証明論

 へのリンク敷設

Set Notation - Basic symbols, Basic concepts. [ Mathematical Appendix : Sets ]

集合の基本概念－定義と記号。から、
「数学についてのwebノート」のglobal edition
　Set Notation - Basic symbols, Basic concepts. [ Mathematical Appendix : Sets ]
へのリンク
を敷設。

論理記号一覧から Logical symbols [Mathematical Appendix : Logic]へのリンク

論理記号一覧から、
「数学についてのwebノート」のglobal edition
　　  Logical symbols　 [Mathematical Appendix : Logic]
へのリンク
を敷設。

総目次からmathematical appendixesへのリンク。

総目次から、
「数学についてのwebノート」のglobal edition
　　  mathematical appendixes
へのリンク
を敷設。

命題論理の自然演繹で認められた操作

命題論理の自然演繹についてのノートに、
自然演繹で認められた操作を追加。アップロード。