СЛОЖНЫЕ СУЖДЕНИЯ

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

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

Логический союз «и» и равнозначные ему союзы обозначаются знаком «». Например: «На улице холодно и идет дождь».

Зависимость истинности конъюнктивного суждения от истинности исходных суждений можно изобразить в виде следующей таблицы:

А	В	А В
и	и	и
и	л	л
л	и	л
л	л	л

 

где и – значение «истинно», л – значение «ложно».

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

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

Два субъекта и один предикат (S₁ и S₂ есть Р). Например, «Лондон и Париж – столицы европейских государств».

Один субъект и два предиката (S есть Р₁ и Р₂). Например, «Логика – это одна из труднейших дисциплин гуманитарного цикла и одна из самых необходимых специальных наук».

Два субъекта и два предиката (S₁ и S₂ есть Р₁ и Р₂). Например, «Основные права и свободы человека неотчуждаемы и гарантированы Конституцией».

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

Например: «Истец вправе увеличить или уменьшить размер исковых требований».

Дизъюнктивная связь выражается также союзами «либо», «то ли…то ли», «либо…либо» и т. п., равнозначными по смыслу союзу «или».

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

1) Нестрогая (слабая) дизъюнкция – суждение, в котором логический союз «или» употребляется в соединительно-разделительном смысле, т.е. возможные мыслимые признаки предметов не исключают друг друга. Например, «Холодное оружие может быть колющим или режущим». Обозначается знаком «U» - нестрогая дизъюнкция.

2) Строгая (сильная) дизъюнкция – суждение, в котором логический союз «или» употребляется в разделительном значении. В данном случае возможные признаки предметов исключают друг друга. Например, «На очередных выборах в США победят либо республиканцы, либо демократы». Обозначается знаком «Ú» - строгая дизъюнкция.

Слабую и сильную дизъюнкцию можно выразить в виде следующих таблиц:

слабая дизъюнкция

А	В	А В
и	и	и
и	л	и
л	и	и
л	л	л

 

сильная дизъюнкция

А	В	А Ú В
и	и	л
и	л	и
л	и	и
л	л	л

 

Различают полную и неполную дизъюнкцию.

Полным или закрытым называют дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода. Символически это суждение можно описать следующим образом < А U В U С >. Например, «Леса бывают лиственные, хвойные или смешанные».

Неполным или открытым называют дизъюнктивное суждение. в котором перечислены не все признаки или не все виды определенного рода. Символически их можно представить в следующем виде: А U В U С ….. В естественном языке неполнота дизъюнкции обычно выражается словами: «и другие», «и так далее», «и тому подобное», «иные». Например, «Похищение чужого ребенка или подмена ребенка, совершенные с корыстной целью или из иных низменных побуждений наказываются…» Выражение «из иных низменных побуждений» означает неполноту дизъюнктивно перечисленных признаков.

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

Два субъекта и один предикат (S₁ или S₂ есть Р). Например, «Хищение в крупных размерах или совершенное группой лиц имеет повышенную общественную опасность».

Один субъект и два предиката (S есть Р₁ или Р₂). Например, «Хищение наказывается исправительными работами или тюремным заключением».

Два субъекта и два предиката (S₁ и S₂ есть Р₁ и Р₂). Например, «Ссылка или высылка могут применяться в качестве основной или дополнительной санкции».

Сложные суждения, образованные посредством связи двух или нескольких простых суждений с помощью союза «если… то», называются условными или импликативными. Импликация обозначается «→».

Например: «Если на улице идет дождь, то асфальт мокрый».

Первое суждение – «На улице идет дождь» называют антецедентом (предшествующим), второе - «Асфальт мокрый» - консеквентом (последующим). В естественном языке для выражения условных суждений используются также союзы «там…, где», «тогда…, когда», «постольку…., постольку» и др.

 

Таблица истинности импликации

А	В	А → В
и	и	и
и	л	л
л	и	и
л	л	и

 

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

В естественном языке для выражения суждений тождества или эквивалентности используются союзы: «лишь при условии что.., то…», «в том и только в том случае когда…, тогда…», «только тогда когда…, то…» и др.

 

Таблица истинности для суждений тождества или эквивалентности

А	В	А В
и	и	и
и	л	л
л	и	л
л	л	и