- контрадикторная противоположность
- (от лат. contradictorius - противоречащий) отношение между противоречащими друг другу суждениями. В традиционной логике противоречащими друг другу считаются общеутвердительныеи частноотрицательные суждения, имеющие один и тот же субъект и предикат ("Все цветы красивы" и "Некоторые цветы некрасивы"), а также общеотрицательные и частноутвердительные суждения ("Ни один цветок не красив" и "Некоторые цветы красивы").К. п. характеризуется следующими особенностями: 1) суждения не могут быть одновременно истинными; 2) они не могут быть одновременно ложными; 3) из двух противоречащих друг другу суждений одно непременно истинно, а другое ложно, третьего не дано. Последнее свойство контрадикторных суждений широко используется в процессах рассуждения и доказательства. Если нам удалось показать ложность некоторого суждения, то мы можем с уверенностью утверждать, что противоречащее ему суждение истинно, и наоборот.
Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.