— закон логики, согласно к-рому два отрицающих (Отрицание) друг друга предложения не могут быть одновременно истинными. Первую формулировку П. з. дал Аристотель. П. з. можно сформулировать и так: предложение не может быть одновременно истинным и ложным. Проникновение формальных противоречий в рассуждение или научную теорию делает их в определенном смысле несостоятельными. П. з. является отражением в мышлении качественной определенности объектов, того простого факта, что если отвлечься от изменения объекта, то он не может обладать одновременно взаимоисключающими свойствами.