【二重否定除去律】のもとで【背理法】【排中律】【矛盾に関する規則】は派生推論規則

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