命題論理の自然演繹における諸定理 【8】分配律の証明

命題論理の自然演繹における諸定理 【8】分配律の証明に解説を付与。