添加律/ウカシェビッチŁukasiewiczの第一公理:自然演繹における証明

命題論理の自然演繹における諸定理 ：添加律/ウカシェビッチŁukasiewiczの第一公理の証明を新規作成、アップロード。

紀伊国屋書店

解析学のビブリオグラフィー。
髙木貞治『解析概論』、 小平邦彦『解析入門I』『解析入門II』　のみ、
紀伊国屋書店へのリンク先を更新してみる。

移出律：NKにおける証明

命題論理の自然演繹における諸定理 【18】移出律の証明を新規作成、アップロード。

移入律:自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【18】移入律の証明を新規作成、アップロード。

ド・モルガンの法則:自然演繹における証明

命題論理の自然演繹における諸定理 【10】ド・モルガンの法則　の証明(3)を新規作成、アップロード。

岡田章『経済学・経営学のための数学』神谷浦井『経済学のための数学入門』

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

• 岡田章『経済学・経営学のための数学』東洋経済新報社、2001年。
• 入谷純・久我清『数理経済学入門』有斐閣、1999年。  
• 高橋一『経済学とファイナンスのための数学』新世社、1999年。
• 神谷和也・浦井憲『経済学のための数学入門』東京大学出版会、1996年。

 
 

拡大律・付加律：自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【16】拡大律・付加律の証明を新規作成、アップロード。

後件否定式 Modus Tollens：自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【15】後件否定式 Modus Tollensの証明を新規作成、アップロード。