移出律：NKにおける証明

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

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

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

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

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

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

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

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

 
 

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

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

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

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

前件肯定式ModusPonens(MP)：自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【14】前件肯定式ModusPonens(MP)の証明を新規作成、アップロード。

命題論理の自然演繹 【13】推移律の証明

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

自然演繹における対偶律の証明

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

自然演繹における分配律の証明

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