Эта бумага белая. Эта бумага чёрная.
Такие суждения называются противоположными суждениями. В данном случае второе суждение отрицает первое суждение, но в отличие от противоречащих суждений второе суждение не ограничивается только отрицанием первого, а одновременно утверждает что-то другое. Мы узнаём, что эта бумага действительно не белая, но одновременно нам стало известно, что бумага чёрная.
Есть ещё и другое отличие. Если в случае противоречащих суждений между ними не может быть среднего, то в данном случае возможны промежуточные суждения: бумага может быть серой, светло-серой, тёмно-серой и т. д.
Знание отношений между суждениями помогает нам быстрее определять достоверность тех или иных высказываний.
Возьмём такой пример. Допустим, что мы имеем два суждения:
Все ученики нашего класса решили заданные на дом задачи по алгебре. Некоторые ученики нашего класса не решили заданные на дом задачи по алгебре.
Нетрудно заметить, что данные суждения не могут быть сразу оба истинными. В самом деле, если все ученики решили задачи, то это значит, что нет учеников, которые не решили задач. И наоборот, если хоть один ученик не решил задачи, то нельзя сказать, что все ученики решили задачи.
Следовательно, если истинно первое суждение, то ложно второе; если же истинно второе, то ложно первое; оба эти суждения одновременно не могут быть истинными.
Но эти суждения не могут быть сразу оба и ложными. Действительно, если ложно, что «Все ученики решили заданные задачи», то это значит, что среди учеников были такие, которые не решили заданные задачи, и, следовательно, суждение «Некоторые ученики не решили заданные задачи» истинно. И наоборот, если ложно суждение, что «Некоторые ученики не решили заданные задачи», то это значит, что суждение «Все ученики решили заданные задачи» истинно.
Значит, оба эти суждения одновременно не могут быть ложными. Одно из этих двух суждений должно быть истинным.