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

Таким образом, поскольку логические отношения между понятиями учитывают только их экстенсиональные, объемные характеристики, то и логические отношения между атрибутивными суждениями учитывают только их экстенсионалы (истинностные значения). Эти отношения не принимают во внимание, «что и о чем говорится в суждениях».

Если известно, что Asp истинно, то зная определения логических отношений между суждениями, можно однозначно утверждать, что Isp будет истинным, а Osp и Esp будут ложными. Или когда известно, что Asp ложно, то Osp будет истинным, а Is и Esp могут бытьлюбыми.