数学についてのwebノート
更新履歴。
2013年3月30日土曜日
前件肯定式ModusPonens(MP)：自然演繹NKにおける証明
命題論理の自然演繹における諸定理 【14】前件肯定式ModusPonens(MP)の証明
を新規作成、アップロード。
2013年3月29日金曜日
命題論理の自然演繹 【13】推移律の証明
命題論理の自然演繹における諸定理 【13】推移律の証明
を新規作成、アップロード。
‹
›
ホーム
ウェブ バージョンを表示