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

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