￢A∨Bから⇒への言い換え：自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【25】￢A∨Bから⇒への言い換えの証明(1-2)を新規作成、アップロード。