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