Отношения несовместимости бывают двух видов: противоположности (контрарности) и противоречия (конрадикторности).

      Противоположными называют суждения А и Е. Они не могут быть одновременно истинными, но могут быть одновременно ложными. В других случаях отношения по истинности не определенны.

      A→ ¬E                ¬A → (E V ¬E)

      E → ¬A               ¬E → (A V ¬A)

      Например, «Всякий, совершивший преступление, должен быть наказан». Данное суждение истинно. Значит, противоположное ему: «Ни один, совершивший преступление, не должен быть наказан» – ложно.

      В отношениях противоречия находятся суждения А – О, E – J, которые не могут быть ни истинными, ни ложными одновременно. Например, если суждение «Все адвокаты имеют высшее образование» – истинно, то противоречащее ему суждение «Некоторые адвокаты не имеют высшего образования» – ложно.

      A → ¬O            E→¬J

      O → ¬A            J→ ¬Е

      ¬A → O           ¬E → J

      ¬O → A           ¬J → E

      Обратим внимание, что установление отношений по логическому квадрату играет большую роль в юриспруденции. Например, адвокатом выдвигается тезис: «Все свидетели, приглашенные им, говорят правду». Для того чтобы прокурору опровергнуть этот тезис вовсе необязательно выявлять ложность показаний всех этих свидетелей. Достаточно доказать ложность показаний хотя бы одного из них.

      3.5.2. Отношения между сложными суждениями

      Сложные суждения могут быть сравнимыми и несравнимыми. Несравнимые сложные суждения отличаются тем, что в их состав входят разные составляющие части. Например, «Граждане могут вести свои дела в суде лично или через представителей» и «Вещественные доказательства после вступления в законную силу решения суда возвращаются лицам, от которых были получены, или передаются лицам, за которыми суд признал право на эти вещи». Здесь разные субъекты и предикаты. Поэтому такие суждения невозможно сопоставить по смыслу и проанализировать их отношения по истинности и ложности.

      Сравнимые сложные суждения отличаются тем, что включают в себя одинаковые исходные суждения и различаются логическими связками, включая отрицание. Например, «Судьи и адвокаты имеют юридическое образование» и «Неверно, что судьи и адвокаты имеют юридическое образование». В этих суждениях одинаковые исходные составляющие. Но второе суждение отличается от первого наличием отрицания.

      Сложные сравнимые суждения могут быть совместимыми и несовместимыми. К совместимым принадлежат такие сравнимые суждения, которые