命題論理の自然演繹【3】矛盾律の証明

命題論理の自然演繹における諸定理 【3】矛盾律の証明に、解説を付与。