Закон недопущения противоречия

(непротиворечивости) – закон классической логики, утверждающий, что два противоречащих друг другу суждения не могут быть одновременно истинными, т.е. когда одно из них истинно, другое ложно и наоборот.