⇒から否定と選言を使った表現への言い換え:自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【25】否定と選言を使った⇒の言い換えの証明(1-1)を新規作成、アップロード。