Сложные суждения. Их виды. Как устанавливается истинность или ложность сложных суждений?

Вариант 6

1. Теоретическая часть
Задание 1 (теоретическое) Что такое сложное суждение? Какие виды сложных суждений вы знаете? Как устанавливается истинность или ложность сложных суждений?

Решение:
Сложными называют суждения, содержащие логи¬ческие связки ("и", "или", "либо..., либо", "если…, то") и состоящие из нескольких простых суждений. Их истинность находится в функциональной зависимости от истинности или ложности составляющих их простых сужений.
Сложные суждения отличаются от простых также по своим функциям и структуре: в них раскрывается не одна, а одновременно несколько (две или более)связей между предметами мысли, а основными структурообразующими элементами выступают уже не понятия-термины (субъект и предикат), а самостоятельные суждения. Связь между последними осуществляется не с помощью связки "есть" ("не есть"), а в качественно иной форме – посредством логических союзов, близких по смыслу к соответствующим грамматическим союзам, но, как будет показано ниже, полностью с ними не совпадают.
У сложных суждений, как и у простых, есть свои виды. Они определяются, прежде всего, характером логического союза. Сложные суждения в зависимости от типа логических союзов имеют собственные названия и символическое обозначение.
Конъюнкция. В естественном языке этой связке соответствуют союзы “и”, “а”, “но”, “однако” и т.п. Чаще всего конъюнкция обозначается знаком “&”. Сейчас этот знак часто встречается в названиях различных фирм и предприятий. Суждение с такой связкой называется конъюнктивным, или просто конъюнкцией, и выглядит следующим образом: а & b. Пример: “В корзине у деда лежали подбере¬зовики и маслята”. Это сложное суждение пред¬ставляет собой конъюнкцию двух простых сужде¬ний: «В корзине у деда лежали подберезовики» и «В корзине у деда лежали маслята».
Дизъюнкция/строгая дизъюнкция. В естественном языке этой связке соответствует союз “или”. Обычно она обозначается знаком «v». Суждение с такой связкой называется дизъюнктивным, или простой дизъюнкцией, и выгля¬дит следующим образом: а V b.
Союз “или” в естественном языке употребляется в двух разных смыслах: нестрогое “или” – когда члены дизъюнкции не исключают друг друга, т.е. могут быть одновременно истинными, и строгое “или” (часто заменяется парой союзов “либо..., ли¬бо...”) – когда члены дизъюнкции исключают друг друга. В соответствии с этим различают и два вида дизъюнкции – строгую и нестрогую. Строгая дизъюнкция обозначается знаком V.
Импликация. В естественном языке ей соответ¬ствует союз “если... то”. Она обозначается знаком «». Суждение с такой связкой называется импликативным, или просто импликацией, и выглядит следующим образом: а  b. Пример: “Если по про¬воднику проходит электрический ток, то проводник нагревается”. Первый член импликации называется антецедентом, или основанием; второй – консеквентом, или следствием. В повседневном языке со¬юз “если... то” обычно соединяет предложения, ко¬торые выражают причинно-следственную связь яв-лений, причем первое предложение фиксирует причину, а второе – следствие. Отсюда и названия членов импликации.
Эквивалентными (двойная импликация) называют такие суждения, которые включают в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если, то...». Например: «Если и только если человек на¬гражден орденами и медалями (р), то он имеет право на ношение соответствующих орденских планок (q)». Эквивалентность выражают и другим знаком: р  q.
В естественном языке, в том числе и в юридических текстах, для выражения эквивалентных суждений используют союзы: «лишь при условии что..., то...», «в том и только в том случае когда..., тогда...», «только тогда когда..., то...» и другие.
Отрицание (инверсия). В естественном языке ему соответ¬ствует либо частица «не», либо выражение «Неверно, что...». Отрицание обычно обозначается знаком «», стоящим перед буквой, представляющей некоторое суждение «а» читается «Неверно, что а». Пример: «Неверно, что Земля – шар». Следует обратить внимание на одно тонкое обсто¬ятельство. Выше мы говорили о простых отрицатель¬ных суждениях. Как их отличить от сложных суждений с отрицанием? Логика различает два вида отрица¬ния – внутреннее и внешнее. Когда отрицание стоит внутри простого суждения перед связкой «есть», то в этом случае мы имеем дело с простым отрицатель¬ным суждением, например: «Земля не шар». Если же отрицание внешним образом присоединяется к суж¬дению, например: «Неверно, что Земля – шар», то та¬кое отрицание рассматривается как логическая связка, преобразующая простое суждение в сложное.
Представление высказываний естественного языка в символическом виде с помощью ука¬занных выше обозначений означает их форма¬лизацию, которая во многих случаях оказывает¬ся полезной.
Таблицы истинности
Теперь мы подошли к очень важному и трудному вопросу. Сложное суждение – это тоже мысль, ко¬торая что-то утверждает или отрицает и которая поэтому оказывается истинной или ложной. Во¬прос об истинности простых суждений лежит вне сферы логики – на него отвечают конкретные на¬уки, повседневная практика или наблюдение.
Короче говоря, вопрос об истинности или ложнос¬ти простых суждений в итоге всегда решается по¬средством обращения к той реальности, к которой они относятся.
Но как установить истинность или ложность сложного суждения? Во¬прос об истинности или ложности высказываний с логическими связками – не вопрос конкретных наук или материальной практики, а чисто логичес¬кий вопрос. И его решает логика.
Мы договариваемся или принимаем соглаше¬ния относительно того, когда высказывания с той или иной логической связкой считать истинными, а когда —