б) Логические отношения между сложными суждениями

Несравнимые - это суждения, не имеющие общих пропорциональных переменных (Например, рÙq и mÙn).

Сравнимые - это суждения, имеющие одинаковые пропорциональные переменные и различающиеся связками (рÙq ) ( ùp Ù ùq). Сложные сравнимые суждения бывают совместимыми и несовместимыми.

Совместимыми являются сравнимые суждения, которые могут быть одновременно истинными. Есть три вида совместимых сложных суждений:

1) Эквивалентные - это суждения, являющиеся либо одновременно истинными, либо одновременно ложными.

2) Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

3) Подчинение имеет место в том случае, когда при истинности подчиняющего подчиненное тоже истинно.

Несовместимыми являются суждения, которые не могут быть одновременно истинными. Виды несовместимости:

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

2) Противоречие - отношение между суждениями, которые не могут быть одновременно ни истинными, ни ложными. При истинности одного второе будет ложным, а при ложности первого другое будет истинным (для рÙq противоречием будет ù(рÙq)).

Знание зависимости истинности или ложности одних суждений от истинности или ложности других помогает избежать ошибок в процессе рассуждения. Без овладения основами этой взаимозависимости, например, невозможно построить правильной аргументации, которая особенно важна в деятельности юриста.