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

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

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

Совместимость бывает трех видов:

1. суждения эквивалентны, если всегда принимают одинаковые истинностные значения;

2. суждения частично совместимы, если невозможна их совместная ложность.

3. Суждение находится в отношении подчинения (логического следования) к другому, если при этом подчиненное суждение обязательно истинно во всех случаях, когда истинно подчиняющее (или сформулируем иначе: если не может быть такой ситуации, когда первое суждение было истинно, а второе – ложно).

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

Несовместимость бывает двух видов:

1. противоречие суждений имеет место тогда, когда эти суждения не могут принимать одинаковые значения – ни истинные, ни ложные.

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

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

11