Сложным называют суждение, содержащее логические связки и состоящее из нескольких простых суждений.
В дальнейшем простые суждения мы будем рассматривать как некие неделимые атомы, как элементы, из соединения которых возникают сложные структуры. Простые суждения будем обозначать отдельными латинскими буквами: a, b, c, d, … Каждая такая буква представляет некоторое простое суждение. Откуда это видно? Отвлекаясь от сложной внутренней структуры простого суждения, от его количества и качества, забыв о том, что в нем имеется субъект и предикат, мы удерживаем лишь одно свойство суждения – то, что оно может быть истинным или ложным. Все остальное нас здесь не интересует. И когда мы говорим, что буква «a» представляет суждение, а не понятие, не число, не функцию, мы имеем в виду только одно: это «a» представляет истину или ложь. Если под «a» мы подразумеваем суждение «Кенгуру живут в Австралии», мы подразумеваем истину; если же под «а» мы подразумеваем суждение «Кенгуру живут в Сибири», мы подразумеваем ложь. Таким образом, наши буквы «a», «b», «c» и т.д. – это переменные, вместо которых могут подставляться истина или ложь.
Логические связки представляют собой формальные аналоги союзов нашего родного естественного языка. Как сложные предложения строятся из простых с помощью союзов «однако», «так как», «или» и т.п., так и сложные суждения образуются из простых с помощью логических связок. Здесь ощущается гораздо большая связь мысли с языком, поэтому в дальнейшем мы вместо слова «суждение», обозначающего чистую мысль, часто будем использовать слово «высказывание», обозначающее мысль в ее языковом выражении. Итак, давайте познакомимся с наиболее употребительными логическими связками.
Отрицание. В естественном языке ему соответствует выражение «Неверно, что…». Отрицание обычно обозначается знаком «¬», стоящим перед буквой, представляющей некоторое суждение: «¬а» читается «Неверно, что а». Пример: «Неверно, что Земля – шар».
Следует обратить внимание на одно тонкое обстоятельство. Выше мы говорили о простых отрицательных суждениях. Как их отличить от сложных суждений с отрицанием? Логика различает два вида отрицания – внутреннее и внешнее. Когда отрицание стоит внутри простого суждения перед связкой «есть», то в этом случае мы имеем дело с простым отрицательным суждением, например: «Земля не шар». Если же отрицание внешним образом присоединяется к суждению, например: «Неверно, что Земля – шар», то такое отрицание рассматривается как логическая связка, преобразующая простое суждение в сложное.
Конъюнкция. В естественном языке этой связке соответствуют союзы «и», «а», «но», «однако» и т.п. Чаще всего конъюнкция обозначается значком «&». Сейчас этот значок часто встречается в названиях различных фирм и предприятий. Суждение с такой связкой называется конъюнктивным, или просто конъюнкцией, и выглядит следующим образом:
a & b. Пример: «В корзине у деда лежали подберезовики и маслята». Это сложное суждение представляет собой конъюнкцию двух простых суждений: – «В корзине у деда лежали подберезовики» и «В корзине у деда лежали маслята».
Дизъюнкция. В естественном языке этой связке соответствует союз «или». Обычно она обозначается знаком «v». Суждение с такой связкой называется дизъюнктивным, или просто дизъюнкцией, и выглядит следующим образом: a v b.
Союз «или» в естественном языке употребляется в двух разных смыслах: нестрогое «или» – когда члены дизъюнкции не исключают друг друга, т.е. могут быть одновременно истинными, и строгое «или» (часто заменяется парой союзов «либо…, либо…») – когда члены дизъюнкции исключают друг друга. В соответствии с этим различают и два вида дизъюнкции – строгую и нестрогую.
Импликация. В естественном языке ей соответствует союз «если… то». Она обозначается знаком «->». Суждение с такой связкой называется импликативным, или просто импликацией, и выглядит следующим образом: a -> b. Пример: «Если по проводнику проходит электрический ток, то проводник нагревается». Первый член импликации называется антецедентом, или основанием; второй – консеквентом, или следствием. В повседневном языке союз «если… то» обычно соединяет предложения, которые выражают причинно-следственную связь явлений, причем первое предложение фиксирует причину, а второе – следствие. Отсюда и названия членов импликации.
Представление высказываний естественного языка в символическом виде с помощью указанных выше обозначений означает их формализацию, которая во многих случаях оказывается полезной.
4) Прекрасный остров лежал в теплом океане. И все бы хорошо, да повадились на этом острове устраиваться на жительство чужестранцы. Едут и едут со всех концов света, уж коренных жителей стеснять стали. Дабы воспрепятствовать нашествию чужестранцев, правитель острова издал указ: «Всякий приезжий, желающий поселиться на нашем благословенном острове, обязан высказать какое-нибудь суждение. Если суждение окажется истинным, чужестранца следует расстрелять; если же суждение окажется ложным, его следует повесить». Боишься – тогда молчи и поворачивай восвояси!
Спрашивается: какое нужно высказать суждение, чтобы остаться в живых и все-таки поселиться на острове?
| |
Отрицание (знак ). Если А - высказывание, то (читается: не А) также высказывание; оно истинно или ложно в зависимости от того, ложно или истинно высказывание А. Видим, что операция в теории высказываний вполне соответствует понятию отрицания в обыденном смысле слова. Операция отрицания может быть описана таблицей
Конъюнкция. В качестве знака для конъюнкции употребляется знак л, а также & (иными словами, союз and - и).
Если А и В - высказывания, то А ˄ В (читается: А и В ) - новое высказывание. Оно истинно тогда и только тогда, когда А истинно и В истинно.
В отличие от операции отрицания, зависящей от одного элементарного высказывания, конъюнкция, как и все последующие приводимые нами связки, зависит от двух элементарных высказываний, поэтому они называются двуместными связками, отрицание же - связка одноместная.
Для задания двухместных связок удобно записывать матрицы истинности в виде таблиц с двумя входами: строки соответствуют значениям истинности одного элементарного высказывания, столбцы - значениям другого элементарного высказывания, а в клетке пересечения столбца и строки помещается значение истинности соответствующего сложного высказывания.
Значение истинности сложного высказывания А ˄ В задается матрицей:
Как видно, определение операции конъюнкции вполне соответствует обыденному значению союза «u». Например, проблема защищенности автоматизированных линий от возникновения аварии существенно зависит от надежности работы ЭА. Влияние вибраций, возникающих при замыкании контактов, на коммутационную износостойкость ЭА регулируется соотношением механической и тяговой характеристик электромагнитного привода.
Дизъюнкция. В качестве знака для дизъюнкции употребим знак ˅. Если Аи В - высказывания, то A v В (читается: А или В) - новое высказывание. Оно ложное, если А и В ложны; во всех остальных случаях A v В истинно. Таким образом, матрица истинности для операции дизъюнкции выглядит так:
Операция дизъюнкции соответствует обычному значению союза «или». Например, контроль износа контактов осуществляется выбором провала или взвешиванием до и после работы контактов на весах.
Импликация. В качестве знака для импликации будем употреблять знак . Если А и В - два высказывания, то А В (читается: А имплицирует В) - новое высказывание. Оно всегда истинно, кроме того случая, когда А истинно, а В ложно.
Матрица истинности операции импликации следующая:
В импликации А В первый член А называется антецедентом, второй член В -консеквентном.
Импликация описывает в некоторой мере то, что в обыденной речи выражается словами «если А , то В », «из А следует В », «А - достаточное условие для В».
Если нарастание сопротивления в межконтактном промежутке после прохождения тока через нуль проходит интенсивнее, чем нарастание напряжения, то повторного зажигания дуги не произойдет. Если ток короткого замыкания значительно превышает ток плавления плавкой вставки, то плавкая вставка перегорает и предохранитель отключает электрическую цепь.
Эквиваленция. Для этой операции употребляется знак ⇔. Операция определяется так: если А и В - высказывания, то А ⇔ В (читается: А эквивалентно В ) - новое высказывание, которое истинно, если либо оба высказывания истинны, либо оба ложны.
С помощью введенных связок можно строить сложные высказывания, зависящие не только от двух, но и от любого числа элементарных высказываний.
В режимах номинальных токов 25...600 А пара контактов может выполнять двойную роль: длительное пропускание тока во включенном положении и отключение, сопровождающееся возникновением дуги. В первом случае контакты должны иметь малое переходное сопротивление; во втором - накладываются требования высокого переходного сопротивления. В обоих случаях применяют одну и ту же одноступенчатую контактную систему. Оба процесса влияют на износ контактов.
Примечание.
Нестрогое неравенство представляет собой дизъюнкцию А<В ˅ (А = В).Оно истинно, если истинно по меньшей мере одно из входящих в него простых высказываний. Примерами сложных высказываний, встречающихся в практике, являются так называемые двойные неравенства А< В < С(А < В) ˄ (В < С), а, например, означает сложное высказывание (А< В) ˄ ((В Располагая значением истинности простых высказываний, легко подсчитать на основании определения связок значение истинности сложного высказывания. Пусть дано сложное высказывание ((В ˅ С) ⇔ (В ˄ А)) и пусть входящие в него элементарные высказывания имеют следующие значения истинности: А = Л, В = И, С =
И. Тогда В ˅ С= И, В ˄ А = Л, так что рассматриваемое высказывание ((В ˅ С) ⇔ (В ˄ А)) ложно. символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие логические связки, как конъюнкция (союз «и», символические обозначения: &, л и точка в виде знака умножения, которые часто опускают, записывая конъюнкцию А и В как AB), дизъюнкция (нестрогий союз «или», обозначается как «v»), импликация («если..., то», обозначается с помощью знака, . Пропозициональная истинностная функция ставит в соответствие каждому перечисленному набору одно из значений истинности - 1 или 0. Всгго таких функций 16. Конъюнкция приписывает выражению А&.В значение 1 только в случае, когда как Л, так и В истинны, т. е. оба имеют значение 1, в остальных случаях значение А&.В равно 0. Дизъюнкция В, напротив, ложна только в одном случае, когда ложны как А, так и В. Импликация А э В является ложной только при истинном (антецеденте) А и ложном (консеквенте) В. В остальных случаях А => В принимает значение 1. Из четырех одноместных функций интерес представляет только отрицание, меняющее значение высказывания на противоположное: когда А - истинно, -А - ложно, и наоборот. Все другие унарные и бинарные классические функции могут быть выражены через представленные. Когда принятая в соответствующей семантике система логических связок позволяет дать определение всех остальных, ее называют функционально полной. К полным системам в классической логике относятся, в частности, конъюнкция и отрицание; дизъюнкция и отрицание; импликация и отрицание. Конъюнкция и дизъюнкция определимы друг через друга за счет эквивалентностей (А&В) = -i(-i/4v-i.) и (A v В) a -,(-&-), именуемых законами де Моргана, а также: (A^B)s(-iA^ В), (А&В) s -,(А э -), (В) = ((А => В) зА). Любая эквивалентность видаЛ = В имеет силу только тогда, когда общезначима (всегда истинна) конъюнкция (А =) В)&(В э А). Функции антидизъюнкция и антиконъюнкция, определимые соответственно как -(В) и -(А&.В), также представляют каждая в отдельности функционально полную систему связок. Это последнее обстоятельство было известно уже Ч. Пирсу (неопубликованная при его жизни работа 1880 г.) и было переоткрыто X. Шеффером (H. M. Shefier). Используя антидизъюнкцию как единственную логическую связку, Шеффер в 1913 построил полное исчисление высказываний. Антидизъюнкцию обозначают А В и называют штрихом Ше4)фера, читая данное выражение, как «не-Д и не-В». Ж. Нико (J. G. P. Nicod) употребил то же обозначение для антиконъюнкции («Неверно, что одновременно А и В») и с помощью только этой связки в 1917 сформулировал полное исчисление высказываний с одной (всего!) аксиомой и одним правилом вывода. Т. о., штрихом Шеффера называют по сути саму вертикальную черту, которая у разных авторов может обозначать как антидизъюнкцию, так и антиконъюнкцию. Экстенсиональность логических связок придает им однозначность, упрощает проблему построения логических исчислений, дает возможность решать для последних метатеоретические проблемы непротиворечивости, разрешимости, полноты (см. Металогика). Однако в некоторых случаях истинностно-функциональная трактовка связок приводит к значительному несоответствию с тем, как они понимаются в естественном языке. Так, указанная истинностная интерпретация импликации вынуждает признавать верными предложения вида «Если А, то В» даже в том случае, когда между высказываниями А и В (и, соответственно, событиями, о которых в них идет речь) нет никакой реальной связи. Достаточно, чтобы А было ложным или В - истинным. Поэтому из двух предложений: «Если А, то В» и «Если В, то А», по крайней мере одно приходится признавать верным, что плохо сообразуется с обычным употреблением условной связки. Импликацию в данном случае специально называют «материальной», отличая ее тем самым от условного союза, предполагающего, что между антецедентом и консеквентом истинного условного высказывания имеется действительная связь. При этом материальная импликация может прекрасно использоваться во многих контекстах, напр., математических, когда при этом не забывают о ее специфических особенностях. В некоторых случаях, однако, именно контекст не позволяет трактовать условный союз как материальную импликацию, предполагая взаимосвязь высказываний. Для анализа таких контекстов приходится строить специальные неклассические логики, напр., релевантные (см. Релевантная логика), в язык которых вместо материальной импликации (или наряду с ней) вводятся другие импликации, которые понимаются интенсионально (содержательно) и верность которых не может быть обоснована истинностно-функционально. Интенсионально могут трактоваться также другие логические связки. С грамматической точки зрения, высказывание – это повествовательное предложение. Сложные предложения строятся из выражений, обозначающих некоторые понятия, и логических связок. Слова и обороты НЕ, И, ИЛИ, ЕСЛИ … ТО, ТОГДА И ТОЛЬКО ТОГДА, СУЩЕСТВУЕТ, ВСЕ и некоторые другие называются логическими связками (операторами) и обозначают логические операции, с помощью которых из одних предложений строятся другие. Предложения без логических связок являются элементарными, их нельзя расчленить на части так, чтобы при этом каждая из частей была также предложением. Элементарные высказывания называются также высказываниями (суждениями). В высказываниях содержится информация о предметах, явлениях, процессах. Элементарное высказывание состоит из субъекта (логического подлежащего) – того, о чем идет речь в высказывании, и предиката (логического сказуемого) – того, что утверждается или отрицается в высказывании о субъекте. Таким образом, высказывание – это форма мышления, в которой утверждается или отрицается логическая связь между понятиями, выступающими в качестве субъекта и предиката данного высказывания. Соответствие или несоответствие этой связи реальности делает высказывание (суждение) истинным или ложным. Логическая связь между субъектом и предикатом высказывания выражается обычно в виде связки ЕСТЬ или НЕ ЕСТЬ, хотя в самом предложении эта связка может отсутствовать, а лишь подразумеваться. При этом субъект высказывания может выражаться не обязательно только подлежащим в предложении, так же как и предикат – не только сказуемым (это могут быть и другие члены предложения). Что считать в предложении субъектом, а что предикатом высказывания определяется логическимударением. Логическое ударение связано со смыслом, содержащимся в предложении для говорящего или слушающего. По форме высказывания делятся на простые (имеющие логическую форму «S
есть P
» или «S
не есть P
», где S
– субъект, P
– предикат) и сложные (грамматически выражающиеся сложными предложениями). Пример простого высказывания: «Все медведи любят мед», сложного – «Некоторые медведи любят мед и молодые побеги бамбука». Простые высказывания позволяют выразить следующие типы высказываний: · атрибутивные высказывания – выражают принадлежность или не принадлежность свойства объекту или классу (например, Земля есть планета); · высказывания об отношениях– говорят о наличии отношения между объектами (например, 3<5
); · высказывания существования (экзистенциональные высказывания)– говорят о существовании или не существовании объекта или явления. Операции на множестве высказываний. Из элементарных высказываний можно составлять сложные высказывания с помощью логических операций. Элементарные высказывания, входящие в состав сложного высказывания, связываются логическими операторами не по смысловому описанию, а только по их истинностным значениям. Следовательно, сложные высказывания являются функциями от входящих в них элементарных высказываний. Все операции в логике высказываний описываются только таблицей истинности. К операциям на множестве высказываний относятся: · Отрицание. Для него таблица истинности: В естественном языке она чаще всего интерпретируется союзом «и». · Дизъюнкция двух элементарных высказываний истинна тогда и только тогда, когда истинно хотя бы одно из элементарных высказываний. Ее иногда называется логическим сложением или логическим максимумом. Таблица истинности дизъюнкции выглядит так: · Операция «исключающего или» задается следующей таблицей истинности, она истинна, когда истинен только один из операндов. Эту операцию еще называют строгой дизъюнкцией или логическим неравенством. В таком виде часто формулируются математические теоремы. Если теорема сформулирована как-нибудь иначе, то ее можно перефразировать в указанном виде, не теряя её сущности. Сложным называют суждение, содержащее логические связки и состоящее из нескольких простых суждений. В дальнейшем простые суждения мы будем рассматривать как некие неделимые атомы, как элементы, из соединения которых возникают сложные структуры. Простые суждения будем обозначать отдельными латинскими буквами: а, Ь, с, d,... Каждая такая буква представляет некоторое простое суждение. Откуда это видно? Отвлекаясь от сложной внутренней структуры простого суждения, от его количества и качества, забыв о том, что в нем имеется субъект и предикат, мы удерживаем лишь одно свойство суждения - то, что оно может быть истинным или ложным. Все остальное нас здесь не интересует. И когда мы говорим, что буква “а” представляет суждение, а не понятие, не число, не функцию, мы имеем в виду только одно: это “а” представляет истину или ложь. Если под “а” мы подразумеваем суждение “Кенгуру живут в Австралии”, мы подразумеваем истину; если же под “а” мы подразумеваем суждение “Кенгуру живут в Сибири”, мы подразумеваем ложь. Таким образом, наши буквы “а”, “Ь”, “с” и т.д. - это переменные, вместо которых могут подставляться истина или ложь. Логические связки представляют собой формальные аналоги союзов нашего родного естественного языка. Как сложные предложения строятся из простых с помощью союзов “однако”, “так как”, “или” и т.п., так и сложные суждения образуются из простых с помощью логических связок. Здесь ощущается гораздо большая связь мысли с языком, поэтому в дальнейшем мы вместо слова “суждение”, обозначающего чистую мысль, часто будем использовать слово “высказывание”, обозначающее мысль в ее языковом выражении. Итак, давайте познакомимся с наиболее употребительными логическими связками. Отрицание. В естественном языке ему соответствует выражение “Неверно, что...”. Отрицание обычно обозначается знаком “-”, стоящим перед буквой, представляющей некоторое суждение: “-а” читается “Неверно, что а”. Пример: “Неверно, что Земля - шар”. Следует обратить внимание на одно тонкое обстоятельство. Выше мы говорили о простых отрицательных суждениях. Как их отличить от сложных суждений с отрицанием? Логика различает два вида отрицания - внутреннее и внешнее. Когда отрицание стоит внутри простого суждения перед связкой “есть”, то в этом случае мы имеем дело с простым отрицательным суждением, например: “Земля не шар”. Если же отрицание внешним образом присоединяется к суждению, например: “Неверно, что Земля - шар”, то такое отрицание рассматривается как логическая связка, преобразующая простое суждение в сложное. Конъюнкция. В естественном языке этой связке соответствуют союзы “и”, “а”, “но”, “однако” и т.п. Чаще всего конъюнкция обозначается значком “&”. Сейчас этот значок часто встречается в названиях различных фирм и предприятий. Суждение с такой связкой называется конъюнктивным, или просто конъюнкцией, и выглядит следующим образом: а & Ь. Пример: “В корзине у деда лежали подберезовики и маслята”. Это сложное суждение представляет собой конъюнкцию двух простых суждений: -“В корзине у деда лежали подберезовики” и “В корзине у деда лежали маслята”. Дизъюнкция. В естественном языке этой связке соответствует союз “или”. Обычно она обозначается знаком “v”. Суждение с такой связкой называется дизъюнктивным, или просто дизъюнкцией, и выглядит следующим образом: а v Ь. Союз “или” в естественном языке употребляется в двух разных смыслах: нестрогое “или” - когда члены дизъюнкции не исключают друг друга, т.е. могут быть одновременно истинными, и строгое “или” (часто заменяется парой союзов “либо..., либо...”) - когда члены дизъюнкции исключают друг друга. В соответствии с этим различают и два вида дизъюнкции - строгую и нестрогую. Импликация. В естественном языке ей соответствует союз “если... то”. Она обозначается знаком “->”. Суждение с такой связкой называется импликативным, или просто импликацией, и выглядит следующим образом: а -> Ь. Пример: “Если по проводнику проходит электрический ток, то проводник нагревается”. Первый член импликации называется антецедентом, или основанием; второй - консеквентом, или следствием. В повседневном языке союз “если... то” обычно соединяет предложения, которые выражают причинно-следственную связь явлений, причем первое предложение фиксирует причину, а второе - следствие. Отсюда и названия членов импликации. Представление высказываний естественного языка в символическом виде с помощью указанных выше обозначений означает их формализацию, которая во многих случаях оказывается полезной. 4) Прекрасный остров лежал в теплом океане. И все бы хорошо, да повадились на этом острове устраиваться на жительство чужестранцы. Едут и едут со всех концов света, уж коренных жителей стеснять стали. Дабы воспрепятствовать нашествию чужестранцев, правитель острова издал указ: “Всякий приезжий, желающий поселиться на нашем благословенном острове, обязан высказать какое-нибудь суждение. Если суждение окажется истинным, чужестранца следует расстрелять; если же суждение окажется ложным, его следует повесить”. Боишься - тогда молчи и поворачивай восвояси! Спрашивается: какое нужно высказать суждение, чтобы остаться в живых и все-таки поселиться на острове?