NKにおける冪等律の証明図

命題論理の自然演繹における諸定理 【5】冪等律 idempotent law の証明を新規作成、アップロード。