Сложные суждения и их виды

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

Различают конъюнкцию (соединение), дизъюнкцию (разделение), импликацию (условность) и эквивалентность (тождественность).

Конъюнкция (Соединительное суждение)– это суждение, состоящее из нескольких простых суждений, соединенных связкой «и». Например: «С Ивановым и Сидоровым Петров был связан деловыми и дружескими отношениями». Данное суждение можно разбить на несколько простых. В символической записи оно имеет следующий вид: p ^ q.

Дизъюнкция (Разделительное суждение) – это суждение, состоящее из нескольких простых суждений, соединенных связкой «или». Например: «Договор купли-продажи может быть заключен в письменной или устной форме»: p v q.

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

Строгая дизъюнкция – это суждение, в котором связка «или» употребляется в разделительном значении. «Преступление может быть умышленным или неосторожным»: p q. Члены строгой дизъюнкции (альтернативы) не могут быть одновременно истинными или ложными.

Нестрогая дизъюнкция – это суждение, в котором связка «или» употребляется в разделительно-соединительном значении. «Оружие может быть холодным или огнестрельным»: p v q. В данном суждении отражен тот факт, что оружие бывает холодным, огнестрельным и комбинированным.

Импликация (Условное суждение) – это суждение, состоящее из двух простых суждений соединенных связкой «если…, то…». Например, «Если на улице шел дождь, то крыши домов мокрые»: p? q. В естественном языке для выражения условных связей может использоваться и ряд других союзов.

Эквивалентность – это суждение, состоящее из двух простых суждений, соединенных двойной условной зависимостью, выраженной связкой «если и только если…, то…». Например: «Если и только если Москва является столицей России, то в ней находится правительство»: p

Сложное отрицательное суждение характеризуется так: если А истинно, то его отрицание ложно, и если А – ложно, то Ā – истинно. Например, высказывание «Десять – четное число» истинно, поэтому его отрицание «Неверно, что десять – четное число» ложно.