推論規則【二重否定除去律】のもとで【排中律】は定理

命題論理の自然演繹：推論規則【二重否定除去律】のもとで【排中律】は定理を新規作成、アップロード。