命題論理の自然演繹の定理【5】冪等律 idempotent law の証明

命題論理の自然演繹における諸定理 【5】冪等律 idempotent law の証明。派生推論規則の証明に対応。