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

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