ПРОТИВОПОЛОЖНОСТЬ ЛОГИЧЕСКАЯ

- вид отношения между противоположными понятиями или суждениями в традиционной логике. В отношении противоположности находятся такие несовместимые понятия, объемы которых включаются в объем более широкого, родового понятия, но не исчерпывают его полностью, напр. "белый - черный", "сладкий - горький", "высокий - низкий" и т. п. Если последнюю пару понятий отнести к людям, то класс "люди" можно разбить на три части: "высокие" - "среднего роста" - "низкие". Противоположные понятия "высокий" - "низкий" займут наиболее удаленные друг от друга части объема родового понятия, но не покроют его целиком.
В отношении противоположности находятся общеутвердительные и общеотрицательные суждения, говорящие об одном и том же классе предметов и об одном и том же свойстве, например: "Всякий человек добр" и "Ни один человек не добр". Такие суждения вместе не могут быть истинными, однако они оба могут оказаться ложными (как это имеет место в приведенном примере).