2013年3月30日土曜日

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

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