7. Сложные суждения

Сложное суждение – суждение, в котором можно выделить часть, являющуюся суждением. Сложные суждения образуются: 1) Из простых при помощи логических союзов «если…то…», «или», «и» и тд; 2) С помощью отрицания «неверно что»; 3) С помощью модальных терминов «возможно, то», «необходимо, что», «случайно, что» и тд.

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

А) Суждение с таким союзным называется конъюнктивным (неопределенно - конъюнктивные). Истинность конъюнктивного суждения зависит от истинности составляющих его суждений. Форма конъюнктивного суждения A&B . Каждое из высказываний может быть истинным или ложным (далее таблица истинности- истинно только тогда, когда А и В –истины, все остальное ложно.)

Б) Последовательно-конъюнктивное - суждение в которых утверждается последовательное возникновение или существование двух или более ситуаций.

(«затем…, а затем..»). Форма суждения с двухместным союзом - & (A,B), или A& B, с трехместным союзом - & (A,B, С) пример: «подозреваемый вышел на улицу, затем остановил такси, а затем направился в центр города».

В) Одновременно-конъюнктивное - суждение в котором выражается одновременное существование или возникновение двух ситуаций. Знак одновременной конъюнкции - &⁼. Пример: производится выемка документов, и присутствуют понятые» Форма: А&⁼ В

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

3. Условные суждения – утверждения, в которых утверждается, что наличие одной ситуации обуславливает наличие другой («если…то..», обозначается стрелкой). Необходимое условие – если при его отсутствии это событие не происходит. Пример: «наличие атмосферы – необходимое условие для возникновения на Земле жизни, т.к. без атмосферы все живые существа погибнут. Достаточное условие - если всякий раз, когда имеется это условие, событие происходит. Пример: «выпадение дождя – достаточное условие, чтобы крыши были мокрыми»

1)Основание - та часть условного суждения, которая находится между словом «если» и словом «то». 2) Следствие - та часть условного суждения, которая находится после слова «то».

Контрафактическая связь – Ситуация описываемая основанием не имеет смысла, но если бы она существовала, то существовало бы следствие. Пример: «если бы Петров был президентом, то не ездил бы на общественном транспорте»

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

5. Суждение с внешним отрицанием – это суждение, в котором утверждается отсутствие некоторого положения дел. Чаще всего она начинается с предложения «неверно, что». А/не А.