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

Сопоставление сложных суждений позволяет разделить их на группу независимых и группу зависимых суждений.

К независимым относятся суждения, которые не имеют общих составляющих; для них характерны все сочетания истинных значений. Зависимые - это суждения, которые имеют одинаковые составляющие и могут различаться логическими связками, включая отрицание. Пример зависимых сложных суждений: "Норвегия или Швеция имеют выход к Балтийскому морю" и "Не верно, что Норвегия и Швеция имеют выход к Балтийскому морю". Хотя эти суждения различны по логической форме (первое из них - дизъюнктивное суждение, а второе - отрицание конъюнкции), вместе с тем они зависимы, поскольку включают одинаковые составляющие.