2013年3月31日日曜日

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

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