拡大律・付加律：自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【16】拡大律・付加律の証明を新規作成、アップロード。