Контекстуальное определение, см.: Определение контек­стуальное. Контрадикторная противоположность(от лат. Contradictorius — противоречащий)

 — отношение между противо­речащими друг другу суждениями. В традиционной логике про­тиворечащими друг другу считаются общеутвердительные

[147]

и частноотрицательныесуждения, имеющие один и тот же субъект и предикат («Все цветы красивы» и «Некоторые цветы не­красивы»), а также общеотрицательные и частноутвердительные суждения («Ни один цветок не красив» и «Некото­рые цветы красивы»).

К. п. характеризуется следующими особенностями: 1) суждения не могут быть одновременно истинными; 2) они не могут быть одновременно ложными; 3) из двух противоречащих друг другу суждений одно непременно истинно, а другое ложно, третьего не дано. Последнее свойство контрадикторных суждений широко ис­пользуется в процессах рассуждения и доказательства. Если нам удалось показать ложность некоторого суждения, то мы можем с уверенностью утверждать, что противоречащее ему суждение ис­тинно, и наоборот.