В отношении противоречия (контрадикторности) находятся такие два понятия, которые являются видами одного и того же рода, и при этом одно понятие указывает на некоторые признаки, а другое эти признаки отрицает, исключает, не заменяя их никакими другими признаками.

Если одно понятие обозначить А (например, “высокий дом”), то другое понятие, находящееся с ним в отношении противоречия, следует обозначить не-А (т.е. “невысокий дом”). Круг Эйлера, выражающий объем таких понятий, делится на две части (А и не-А), и между ними не существует третьего понятия.

Например, бумага может быть либо белой, либо небелой; человек бывает честным или нечестным; животное - млекопитающим или немлекопитающим и т.д. Понятие А является положительным, а понятие не-А - отрицательным.

Понятия А и не-А также являются антонимами. Примеры: определить отношения между данными понятиями; изобразить эти отношения кругами Эйлера.