Назовите логические отношения, возникающие между совместимыми суждениями

К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная совмести­мость (субконтрарность) и 3) подчинение.

1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъ­екты и предикаты, однотипную — утвердительную или отрицатель­ную — связку, одну и ту же выраженную квантором количественную характеристику.

Примером эквивалентных совместимых суждений являются следующие высказывания: «Луна является естественным спутником Земли» и «Луна – это спутник Земли, возникший в результате естественных причин».

2. Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными. При ложности одного из них другое будет истинным: 1 I->O; Например, при ложности суждения «Некоторые злаки ядо­виты» будет истинным суждение «Некоторые злаки не являются ядовитыми». В то же время при истинности одного из частных суж­дений другое может быть как истинным, так и ложным.

3. Подчинение имеет место между суждениями А и I, E и О. Для них характерны следующие две зависимости.

При истинности общего суждения частное всегда будет истин­ным: А- >1, Е- >0. Например, при истинности общего суждения «Вся­кое правоотношение регулируется нормами права» истинным будет и частное - «Некоторые правоотношения регулируются нормами права».

При ложности частного суждения общее суждение также будет ложным: I->A; O->E. Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности».