2013年4月5日金曜日

添加律/ウカシェビッチŁukasiewiczの第一公理:自然演繹における証明

命題論理の自然演繹における諸定理 :添加律/ウカシェビッチŁukasiewiczの第一公理の証明を新規作成、アップロード。