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

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

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

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

論理法則一覧

論理法則一覧から、

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

 へのリンク敷設

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
へのリンク
を敷設。

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

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

東大書籍部：奥野/鈴村『ミクロ経済学』西村『経済学のための最適化理論入門』

解析学のビブリオグラフィーの下記文献に、東大生協書籍部店頭在庫検索機能を付与。　

•  奥野正寛、鈴村興太郎『ミクロ経済学』岩波書店、1985年。
•  西村清彦『経済学のための最適化理論入門』東京大学出版会、1990年。

を追加。

合成律：自然演繹NKにおける証明

【27】合成律　の証明を新規作成、アップロード。

￢A∨Bから⇒への言い換え：自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【25】￢A∨Bから⇒への言い換えの証明(1-2)を新規作成、アップロード。