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