自然演繹における対偶律の証明

命題論理の自然演繹における諸定理 【11】対偶律の証明(1)を新規作成、アップロード。

自然演繹における分配律の証明

命題論理の自然演繹における諸定理 【8】分配律1-1の証明を新規作成、アップロード。