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

 
 
 
 
 
 

ТЕМА 12. Сложные суждения 

План

      1. Образование сложных суждений.

      2. Установление логического значения  сложных суждений при помощи  таблиц истинности. 

Упражнения

     1. Установите вид следующих сложных суждений и определите их истинность при помощи таблиц истинности:

     1.1. Редакция вправе увеличить или  уменьшить размер гонорара.

     1.2. Банан – пищевое растение и  источник доходов для экспортирующих стран.

     1.3. Он сейчас находится в Минске  или в Петербурге.

     1.4. Кукушка хвалит петуха за то, что хвалит он кукушку.

     1.5. Если к двум прибавить два,  то получится четыре.

2. Постройте таблицу истинности для следующего выражения: ù(p®(pvq)). 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

1 Образование  сложных суждений

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

    1) соединительные;

    2) разделительные;

    3) условные;

    4) эквивалентные. 

    Истинность  таких сложных суждений определяется истинностью составляющих их простых.

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

Соединительным, или конъюнктивным называют суждение, состоящее из нескольких простых, связанных логической связкой «и». Например, суждение «Этот автомобиль очень качественный и пробежал всего десять тысяч метров» является соединительным суждением, состоящим из двух простых: «Этот автомобиль очень качественный», «пробежал всего десять тысяч метров». Если первое обозначать р, а второе — q, то соединительное суждение символически можно выразить как р ^ q, где р и q — члены конъюнкции (или конъюнкты), ^ — символ конъюнкции.

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

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

    «Возок  несется чрез ухабы, Мелькают мимо будки, бабы, Мальчишки, лавки, фонари, Дворцы, сады, монастыри, Бухарцы, сани, огороды, Купцы, лачужки, мужики, Бульвары, башни, казаки, Аптеки, магазины моды, Балконы, львы на воротах и стаи галок на крестах».

    1.2 Разделительные (дизъюнктивные) суждения.

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

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

    Разделительное  суждение может быть как двух-, так и многосоставным: р v q v ... v п.

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

    1) Разделительная связка представлена  в сложном субъекте по схеме:  Si или S2 есть Р. Например, «хищение в крупных размерах или совершенное группой лиц имеет повышенную общественную опасность».

    2) Разделительная связка представлена  в сложном предикате по схеме:  S есть Р1 или Р2. Например: «Хищение наказывается исправительными работами или тюремным заключением».

    3) Разделительная связка представлена  сочетанием первых двух способов  по схеме: Si или S2 есть Pi или Рг. Например: «Ссылка или высылка могут применяться в качестве основной или дополнительной санкции».

    1.3 Условные (импликативные) суждения.

    Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гаснет». Первое суждение — «Предохранитель плавится» называют антецедентом (предшествующим), второе — «Электролампа гаснет» —консеквентом (последующим). Если антецедент обозначить р, консеквент — q, а связку «если..., то...» знаком «—›», то импликативное суждение символически можно выразить как p —› q.

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

    1.4. Эквивалентные суждения (двойная импликация).

    Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если—, то...». Например: «Если и только если человек награжден орденами и медалями (р), то он имеет право на ношение соответствующих орденских планок (q)».Логическая характеристика этого суждения состоит в том, что истинность утверждения о награждении (р) рассматривается как необходимое и достаточное условие истинности утверждения о наличии права на ношение орденских планок (q). Точно так же истинность утверждения о наличии права на ношение орденских планок (q) является необходимым и достаточным условием истинности утверждения о том, что данное лицо награждено соответствующими орденом или медалью (р). Такую обоюдную зависимость символически можно выразить двойной импликацией pt^q, которая читается: «Если и только если р, то q». Эквивалентность выражают идругим знаком: р = q.

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

    1.5 Выражение высказываний

    Выражение высказываний происходит при помощи символов  — переменных и знаков, обозначающих логические термины. Других символов для этой цели нет. Переменные высказывания  выражаются в виде букв латинского алфавита (a, b, p, q и т. д.). Такие буквы называют переменными высказываниями, а также пропозициональными переменными. Под этой группой символов понимаются простые суждения, составляющие высказывание. Другая группа символов , использующаяся для выражения высказываний в виде формул, это знаки.  Они обозначают логические термины, такие как конъюнкция и дизъюнкция, которая может быть строгой и нестрогой, отрицание, эквиваленция и импликация. Конъюнкция отображается в виде галочки, направленной вверх (^) дизъюнкция как галочка, направленная вниз (V). При строгой дизъюнкции выше галочки ставится точка. Импликация имеет знак «—› », отрицание (-), эквиваленция (=).

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

    Символы, обозначающие логические термины, типы связки, характеризуются разной силой. Так, связка ^ считается самой сильной, т. е. она связывает сильнее всех остальных. Связка V сильнее, чем —, что важно только в некоторых случаях. Так, определение силы связок становится немаловажным в случае записи формул без использования скобок. Если мы имеем высказывание, выраженное формулой (p ^ q )V c , можно не писать скобки, а прямо указывать, что p ^ q V c.  То же правило действует и при использовании символа — ›. Однако данное правило справедливо не во всех случаях. То есть во многих случаях недопустимо опускать скобки. Например, когда конъюнктивная связка понятия p осуществляется с двумя другими понятиями, связанными отношением импликации и отделенными круглыми скобками, опускать последние недопустимо (p ^ (q  —› c)).  Это очевидно, так как в противном случае пришлось бы вначале осуществлять связку конъюнкции и только затем импликацию.

    В связи со сказанным выше можно  отметить, что далеко не каждое символьное выражение высказываний является формулой. Для этого необходимо наличие определенных признаков. Например, формула должна быть построена правильно.  Примерами такого построения могут быть: (p^q), (p  V q), (p — q), (p  = q).  Это построение отмечается как ППФ, т. е. правильно построенная формула. Примерами неправильно построенных формул могут быть: p^q, p  V q , p  — b, V q, (p^q  и др. В первых трех случаях неправильность формулы заключается в том, что понятия, объединенные связками, должны быть заключены в скобки. Последняя формула имеет незакрытую скобку, четвертый пример характеризуется тем, что одно простое понятие не объединено с другим, несмотря на то что имеется символ дизъюнкции.

    1.6 Коммутативность суждений.

    Коммутативность  — это эквивалентность суждений (высказываний), когда (p^q) = (q^p).  В языке закон коммутативности конъюнкции не действует, так как принимается во внимание фактор времени. Действительно, невозможно себе представить эквивалентность некоторых суждений, одно из которых по времени раньше другого, и наоборот. Например, не будут эквивалентны высказывания «Пошел дождь, и мы промокли» (p^q)  и «Мы промокли, и пошел дождь» (q^p).  Здесь учитывается фактор времени, согласно которому одно событие или действие, отраженное в сложном суждении, предшествует другому, отчего зависит смысл всего высказывания.

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

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

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

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

    Дизъюнкция  бывает строгой и нестрогой. Различия этих двух видовзаключаются в том, что члены нестрогой дизъюнкции исключают друг друга, в то время как члены строгой — нет.

    Закон коммутативности при дизъюнкции действует независимо от того, какой  ее вид имеется в виду. Дизъюнкция выражается союзами, главные из которых «или» и «либо». Приведем примеры строгой и нестрогой дизъюнкции и используем их для иллюстрации действия закона коммутативности. Суждение «Я выпью воды с газом или без газа» является примером нестрогой дизъюнкции, в то время как суждение «Я пойду в университет или останусь дома» — строгой. Различие между ними состоит в том, что в первом случае действие все равно будет совершено, вне зависимости от выбранного типа воды. Во втором же случае действие (пойду в университет) исключается, если выбрать второй вариант и остаться дома.

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

    1.6 Отрицание сложных суждений

    Отрицание суждения в логике  — это замена существующей связки внутри сложного высказывания на другую, противоположную последней. Если мы говорим о формуле, в которой можно выразить отрицание сложных суждений, то нужно отметить, что отрицание графически выражается как горизонтальная черта над отрицаемым суждением. Таким образом, мы получим два понятия, объединенных логической связкой, над которыми проведена горизонтальная черта. Если такая черта уже есть, то для осуществления отрицания необходимо такую черту удалить.