Соединительные (конъюнктивные) суждения.

Соединительным, или конъюнктивным называю суждение, со­стоящее из нескольких простых, связанных логической связкой «и».

Соединительное суждение может быть как двух-, так и многосо­ставным; в символической записи: р ^ q ^ г ^... ^ n.

В языке соединительное суждение может быть выражено одной из трех логико-грамматических структур.

1. Соединительная связка представлена в сложном субъекте по схеме: S1и S2есть Р. Например: «Конфискация имущества и лише­ние звания являются дополнительными уголовно-правовыми сан­кциями».

2) Связка представлена в сложном предикате по схеме: S естьP1 и P2. Например: «Преступление — это общественно опасное и про­тивоправное деяние».

3) Связка представлена сочетанием первых двух способов по схеме: S1 и S2есть P1 и Р2. Например: «С полицмейстером и прокуро­ром Ноздрев тоже был на «ты» и обращался по-дружески» (Н.В. Го­голь).

Соединительное суждение истинно при истинности всех состав­ляющих его конъюнктов и ложно при ложности хотя бы одного из них. Условия истинности суждения р ^ q показаны в таблице (рис. 31), где истинность обозначенаИ, а ложность — Л. В первых двух столбцах таблицы р и q берутся как независимые и принимают поэ­тому все возможные сочетания зна­ченийИ и Л: ИИ, ИЛ, ЛИ, ЛЛ. В третьем столбце показано значение суждение р л q. Из четырех построч­ных вариантов истинным оно явля­ется лишь в 1-й строке, когда истин­ны оба конъюнкта:и р, и q. Во всех остальных случаях оно ложно: во 2-й и 3-й строках в силу ложности одного из членов, а в 4-й в силу ложности обоих членов.

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

Несравнимые — это суждения, которые не имеют общих пропо­зициональных переменных. Например, р ^ q и m ^ n.

Сравнимые — это суждения, которые имеют одинаковые пропозиционные переменные (составляющие) и различаются логически­ми связками, включая отрицание.

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

Отношение совместимости.

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

эквивалентность, частичная совместимость и подчинение.

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

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

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