命題論理の自然演繹：【背理法】のもとで【排中律】は定理

命題論理の自然演繹：【背理法】のもとで【排中律】は定理を新規作成、アップロード。