2013年2月1日金曜日

命題論理の自然演繹における諸定理 【4】二重否定律の証明

命題論理の自然演繹における諸定理 【4】二重否定律 law of double negationの証明を新規作成、アップロード。