Широко употребительных логических связок пять. Это отрицание (изображается знаком ¬), конъюнкция (знак ), дизъюнкция (знак v), импликация (знак ) и эквивалентность (знак ).

Высказывание ¬A (читается «не A ») означает, что высказывание A ложно. Иначе говоря, ¬A истинно тогда, когда A ложно, и ложно тогда, когда A истинно.

Высказывание A B (читается «A и B ») означает утверждение, что верно и A , и B . Оно верно только в том случае, если верны оба высказывания A и B .

Высказывание A v B («A или B ») верно, если верно хотя бы одно из высказываний A и B .

Высказывание A B читается «A влечет B » или «если A , то B ». Оно неверно, если A истинно, B ложно, и верно во всех остальных случаях.

Наконец, высказывание A B верно в том случае, если высказывания A и B либо оба истинны, либо оба ложны.

Для обозначения структуры связей пользуются скобками подобно тому, как это делается в алгебре для обозначения порядка выполнения арифметических действий. Так, например, высказывание ¬A B означает «A неверно, а B верно», а высказывание ¬(A B ) - «неверно, что A и B оба верны». И так же, как в алгебре, для уменьшения числа скобок устанавливается порядок старшинства связок по силе связи. Выше мы перечислили связки в порядке ослабления связи. Например, конъюнкция связывает сильнее, чем импликация, поэтому высказывание A B C понимается как A (B C ), но не как (A B ) C . Это соответствует тому, что в алгебре a + b ? c означает a + (b ? c ), но не (a + b ) ? c .

Приведем несколько примеров составных высказываний.

Известная скороговорка утверждает: «цапля чахла, цапля сохла, цапля сдохла». Это высказывание можно записать в виде: «цапля чахла» «цапля сохла» «цапля сдохла».

Соотношение 0 < Z < 1 есть конъюнкция «Z > 0» «Z < 1», a соотношение |Z | > 1 - дизъюнкция «Z > 1» v «Z < -1». Определение логической связки данное выше, можно записать так:

[(A B ) (A B ) v (¬A ¬B )] [(A B ) v (¬A ¬B ) (A B )]

Предоставляем читателю перевести на обычный язык следующее высказывание:

«Свет включен» «Лампочка не горит» «Нет электричества» v «Перегорели пробки» v «Перегорела лампочка».

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

Однако естественный язык отражает большее разнообразие в оценке высказываний, чем просто деление их на истинные и ложные. Например, высказывание можно рассматривать как бессмысленное или как недостоверное, хотя и возможное («в этом лесу, наверное, есть волки»). Этим вопросам посвящены специальные разделы логики, в которых находятся другие связки. Большого значения для современной науки эти разделы (в отличие от классической математической логики) не имеют, и мы их касаться не будем.

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

Связь между элементами сложного суждения осуществляется с помощью логических союзов (логических связок).

Логические связки:

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

1. КОНЪЮНКЦИЯ (от лат. сonjunctio– союз, связь).

Знак: ˄ или &

и », «а », «но », «да », «хотя », «который », «зато », «однако », «при этом » и т.п.

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

а ˄ b или а & b

2. ДИЗЪЮНКЦИЯ (от лат.disjunctio– разобщение).

Знак: ˅

В русском языке конъюнкции соответствуют союзы: «или », «либо », «то ли… то ли ».

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

Запись этого суждения с помощью логических связок будет выглядеть: а ˅ b

3.Строгаядизъюнкция

Знак: .

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

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

4. ИМПЛИКАЦИЯ (от лат.implico– тесно связываю)

Знак: → .

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

Обычно с помощью импликации выражаются причинно-следственные отношения типа: «Если выглянет Солнце, то станет тепло ».a → b . Первый элемент импликации называетсяоснованием (антецедентом), второй –следствием (консеквентом).

5. ЭКВИВАЛЕНЦИЯ (от позднелат.aequivalens– равнозначный; равноценный)

Знак: ↔ или ≡ .

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

Суждение: «Только тогда ребёнок получит конфету, когда доест весь суп » является эквиваленцией.

Запись этого суждения с помощью логической связки будет выглядеть: a ↔ b илиa ≡ b

6 .ОТРИЦАНИЕ

Знак: ~ или ¬ . ставятся перед суждением ~а или ¬а ; или черта, которая ставится над суждением

В языке отрицание выражается союзами и словами: «не », «неверно » и т.п.

Суждение: «Не заводится машина » записывается как~а

Суждение: «Любит или не любит » содержит строгую дизъюнкцию и отрицание.

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

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

Для самопроверки выделите столбец «формула» и измените цвет шрифта

§ 4. Выражение логических связок (логических постоянных) в естественном языке

В мышлении мы оперируем не только простыми, но и слож­ными суждениями, образуемыми из простых посредством логи­ческих связок (или операций) - конъюнкции, дизъюнкции, имп­ликации, эквиваленции, отрицания, которые также называются логическими константами, или логическими постоянными. Про­анализируем, каким образом перечисленные логические связки выражаются в естественном (русском) языке.

Конъюнкция (знак «л») выражается союзами «и», «а», «но», «да», «хотя», «который», «зато», «однако», «не только..., но и» и др. В логике высказываний знак « л » соединяет простые выска­зывания, образуя из них сложные. В естественном языке союз «и» и другие слова, соответствующие конъюнкции, могут соединять существительные, глаголы, наречия, прилагательные и другие части речи. Например, «В корзине у деда лежали подберезовики и маслята» (ab), «Интересная и красиво оформленная книга лежит на столе». Последнее высказывание нельзя разбить на два простых, соединенных конъюнкцией: «Интересная книга лежит на толе» и «Красиво оформленная книга лежит на столе», - так как создается впечатление, что на столе лежат две книги, а не одна.

В логике высказываний действует закон коммутативности конъюнкции (ab)(ba). В естественном русском языке такого закона нет, так как действует фактор времени. Там, где учитывается последовательность во времени, употребление союза «и» некоммутативно. Поэтому не будут эквивалентными, например, такие два высказывания: 1) «Прицепили паровоз, и поезд тро­нулся» и 2) «Поезд тронулся, и прицепили паровоз».

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

О выражении конъюнкции средствами естественного языка пишет С. Клини в своей книге «Математическая логика». В раз­деле «Анализ рассуждений» он приводит (не исчерпывающий) список выражений естественного языка, которые могут быть заменены символами « Л » или «&». Формула А ^ В в естествен­ном языке может выражаться так:

«Не только А , но и В. Как А, так и В.

В, хотя и Л. А вместе с В.

В, несмотря на А. А , в то время как В» 7 .

Придумать примеры всех этих структур предоставляем чита­телю.

В естественном (русском) языке дизъюнкция (обозначенная ab и ab) выражается союзами: «или», «либо», «то ли... то ли» и др. Например, «Вечером я пойду в кино или в библиотеку»; «Это животное принадлежит либо к позвоночным, либо к беспоз­воночным»; «Доклад будет то ли по произведениям Л. Н. Тол­стого, то ли по произведениям Ф. М. Достоевского».

Для обоих видов дизъюнкции действует закон коммутативно­сти: (ab(ba) и (ab)(ba). В естественном языке эта эквивалентность сохраняется. Например, суждение «Я куплю ма­сло или хлеб» эквивалентно суждению «Я куплю хлеб или масло». С. Клини показывает, какими разнообразными способами могут быть выражены в естественном языке импликация (AB) и эквиваленция (A ~B ).

(Буквами А и В обозначены переменные высказыва­ния.)

Приведем логические схемы и соответствующие им примеры, иллюстрирующие разнообразные способы выражения имплика­ции А -> В (где А - антецедент, В - ковсеквент).

1. Если А, то В.

Если поставщики вовремя доставят детали, то завод выпол­нит свой производственный план.

2. Коль скоро А, то В.

Коль скоро приложенные силы снимаются, то сжатая пружина возвращается к своей первоначальной форме.

3. Когда А, имеет место В.

Когда наступает плохая погода, имеет место повышение числа сердечно-сосудистых заболеваний у людей.

4. Для В достаточно А.

Для того чтобы газы расширились, достаточно их нагреть.

5. Для А необходимо В.

Для сохранения мира на Земле необходимо объединить усилия всех государств в борьбе за мир.

6. А, только если В.

Студенты этого курса не приходили на субботник, только если они были больны.

7. В. если А.

Я разрешу тебе пойти погулять, если ты выполнишь все домашние задания.

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

1. А, если и только если В.

Иванов не закончит свои эксперименты к сроку, если и только если ему не помогут сотрудники.

2. Если А, то В, и наоборот.

Если студент сдал все экзамены и практику на «отлично», то он получает диплом с отличием, и наоборот.

3. А, если В, и В, если А.

Многоугольник является вписанным в круг, если его вершины лежат на окружности, и вершины многоугольника лежат на окру­жности, если этот многоугольник является вписанным в круг.

4. Для А необходимо и достаточно В.

Для того чтобы число без остатка делилось на 3, необходимо и достаточно, чтобы сумма цифр этого числа делилась без остатка на 3.

5. А равносильно В (иногда).

То, что площадь правильного многоугольника равна произ­ведению полупериметра на апофему, равносильно тому, что пло­щадь правильного многоугольника равна произведению периме­тра на половину апофемы.

6. А тогда и только тогда, когда В.

Фирма будет согласна принять предложение о покупке товара тогда и только тогда, когда будет снижена цена этого товара на 15%.

Из приведенных выше схем и соответствующих им высказы­ваний с конкретным разнообразным содержанием становится ясно, насколько многогранны в естественном языке (в частности, в русском) средства выражения импликации, эквиваленции и дру­гих логических связок (логических терминов). Это можно сказать и о других естественных языках 9 .

Импликация (ab) не совсем соответствует по смыслу союзу «если... то» естественного языка, так как в ней может отсут­ствовать содержательная связь между суждениями а и b . В логике высказываний законом является формула:(ab)(ab).

Но в естественном языке дело обстоит иначе. Иногда союз «если, то» выражает не импликацию, а конъюнкцию. Например, «Если вче­ра было пасмурно, то сегодня ярко светит солнце». Это сложное суждение выражается формулой ab. Кроме логических связок для выражения общих и частных суждений в логике используются квантор общности и квантор существования. Запись с квантором общности VP() обычно читается так: «Все х (из некоторой области объектов) обладают свойством Р », а запись с квантором существования ЗхР (х ) чита­ется так: «Существуют такие х (в данной области), которые обладают свойством Р». Например, 3x(x>100) читается как «Существуют такие х, которые больше 100», где под х подразумева­ются числа. Квантор общности выражается словами: «все», «вся­кий», «каждый», «ни один» и др. Квантор существования выража­ется словами: «некоторые», «существуют», «большинство», «ме­ньшинство», «только некоторые», «иногда», «тот, который», «не все», «многие», «немало», «немногие», «много», «почти все» и др.

С. Клини пишет о том, что, переводя выражения обычного языка с помощью табличных пропозициональных связок, мы лишаемся некоторых оттенков смысла, но зато выигрываем в то­чности 10 .

В практике математических и иных рассуждений имеются понятия «необходимое условие» и «достаточное условие». Условие называется необходимым, если оно вытекает из заключения (след­ствия). Условие называется достаточным, если из него вытекает заключение (следствие). В импликации а -> b переменная а является основанием. Она называется антецедентом. Переменная b - след­ствием (заключением). Она называется консеквентом.

Учащимся на уроках математики предлагаются задачи типа 1-4, требующие в каждом из следующих предложений вместо многоточия поставить слова: «необходимо» или «достаточно», либо «необходимо и достаточно»:

1. Для того чтобы сумма двух целых чисел была четным числом... чтобы каждое слагаемое было четным.

2. Для того чтобы число делилось на 15 ... чтобы оно дели­лось на 5.

3. Для того чтобы произведение (х - 3) (х +2) (х - 5) было рав­но 0, ... чтобы х = 3.

4. Для того чтобы четырехугольник был прямоугольником... чтобы все его углы были равны 11 .

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

В дальнейшем простые суждения мы будем рассматривать как некие неделимые атомы, как элементы, из соединения которых возникают сложные структуры. Простые суждения будем обозначать отдельными латинскими буквами: a, b, c, d, … Каждая такая буква представляет некоторое простое суждение. Откуда это видно? Отвлекаясь от сложной внутренней структуры простого суждения, от его количества и качества, забыв о том, что в нем имеется субъект и предикат, мы удерживаем лишь одно свойство суждения – то, что оно может быть истинным или ложным. Все остальное нас здесь не интересует. И когда мы говорим, что буква «a» представляет суждение, а не понятие, не число, не функцию, мы имеем в виду только одно: это «a» представляет истину или ложь. Если под «a» мы подразумеваем суждение «Кенгуру живут в Австралии», мы подразумеваем истину; если же под «а» мы подразумеваем суждение «Кенгуру живут в Сибири», мы подразумеваем ложь. Таким образом, наши буквы «a», «b», «c» и т.д. – это переменные, вместо которых могут подставляться истина или ложь.

Логические связки представляют собой формальные аналоги союзов нашего родного естественного языка. Как сложные предложения строятся из простых с помощью союзов «однако», «так как», «или» и т.п., так и сложные суждения образуются из простых с помощью логических связок. Здесь ощущается гораздо большая связь мысли с языком, поэтому в дальнейшем мы вместо слова «суждение», обозначающего чистую мысль, часто будем использовать слово «высказывание», обозначающее мысль в ее языковом выражении. Итак, давайте познакомимся с наиболее употребительными логическими связками.

Отрицание. В естественном языке ему соответствует выражение «Неверно, что…». Отрицание обычно обозначается знаком «¬», стоящим перед буквой, представляющей некоторое суждение: «¬а» читается «Неверно, что а». Пример: «Неверно, что Земля – шар».

Следует обратить внимание на одно тонкое обстоятельство. Выше мы говорили о простых отрицательных суждениях. Как их отличить от сложных суждений с отрицанием? Логика различает два вида отрицания – внутреннее и внешнее. Когда отрицание стоит внутри простого суждения перед связкой «есть», то в этом случае мы имеем дело с простым отрицательным суждением, например: «Земля не шар». Если же отрицание внешним образом присоединяется к суждению, например: «Неверно, что Земля – шар», то такое отрицание рассматривается как логическая связка, преобразующая простое суждение в сложное.

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

a & b. Пример: «В корзине у деда лежали подберезовики и маслята». Это сложное суждение представляет собой конъюнкцию двух простых суждений: – «В корзине у деда лежали подберезовики» и «В корзине у деда лежали маслята».

Дизъюнкция. В естественном языке этой связке соответствует союз «или». Обычно она обозначается знаком «v». Суждение с такой связкой называется дизъюнктивным, или просто дизъюнкцией, и выглядит следующим образом: a v b.

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

Импликация. В естественном языке ей соответствует союз «если… то». Она обозначается знаком «->». Суждение с такой связкой называется импликативным, или просто импликацией, и выглядит следующим образом: a -> b. Пример: «Если по проводнику проходит электрический ток, то проводник нагревается». Первый член импликации называется антецедентом, или основанием; второй – консеквентом, или следствием. В повседневном языке союз «если… то» обычно соединяет предложения, которые выражают причинно-следственную связь явлений, причем первое предложение фиксирует причину, а второе – следствие. Отсюда и названия членов импликации.

Представление высказываний естественного языка в символическом виде с помощью указанных выше обозначений означает их формализацию, которая во многих случаях оказывается полезной.

4) Прекрасный остров лежал в теплом океане. И все бы хорошо, да повадились на этом острове устраиваться на жительство чужестранцы. Едут и едут со всех концов света, уж коренных жителей стеснять стали. Дабы воспрепятствовать нашествию чужестранцев, правитель острова издал указ: «Всякий приезжий, желающий поселиться на нашем благословенном острове, обязан высказать какое-нибудь суждение. Если суждение окажется истинным, чужестранца следует расстрелять; если же суждение окажется ложным, его следует повесить». Боишься – тогда молчи и поворачивай восвояси!

Спрашивается: какое нужно высказать суждение, чтобы остаться в живых и все-таки поселиться на острове?

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

В дальнейшем простые суждения мы будем рассматривать как некие неделимые атомы, как элементы, из соединения которых возникают сложные структуры. Простые суждения будем обозначать отдельными латинскими буквами: a, b, c, d, … Каждая такая буква представляет некоторое простое суждение. Откуда это видно? Отвлекаясь от сложной внутренней структуры простого суждения, от его количества и качества, забыв о том, что в нем имеется субъект и предикат, мы удерживаем лишь одно свойство суждения – то, что оно может быть истинным или ложным. Все остальное нас здесь не интересует. И когда мы говорим, что буква «a» представляет суждение, а не понятие, не число, не функцию, мы имеем в виду только одно: это «a» представляет истину или ложь. Если под «a» мы подразумеваем суждение «Кенгуру живут в Австралии», мы подразумеваем истину; если же под «а» мы подразумеваем суждение «Кенгуру живут в Сибири», мы подразумеваем ложь. Таким образом, наши буквы «a», «b», «c» и т.д. – это переменные, вместо которых могут подставляться истина или ложь.

Логические связки представляют собой формальные аналоги союзов нашего родного естественного языка. Как сложные предложения строятся из простых с помощью союзов «однако», «так как», «или» и т.п., так и сложные суждения образуются из простых с помощью логических связок. Здесь ощущается гораздо большая связь мысли с языком, поэтому в дальнейшем мы вместо слова «суждение», обозначающего чистую мысль, часто будем использовать слово «высказывание», обозначающее мысль в ее языковом выражении. Итак, давайте познакомимся с наиболее употребительными логическими связками.

Отрицание. В естественном языке ему соответствует выражение «Неверно, что…». Отрицание обычно обозначается знаком «», стоящим перед буквой, представляющей некоторое суждение: «а» читается «Неверно, что а». Пример: «Неверно, что Земля – шар».

Следует обратить внимание на одно тонкое обстоятельство. Выше мы говорили о простых отрицательных суждениях. Как их отличить от сложных суждений с отрицанием? Логика различает два вида отрицания – внутреннее и внешнее. Когда отрицание стоит внутри простого суждения перед связкой «есть», то в этом случае мы имеем дело с простым отрицательным суждением, например: «Земля не шар». Если же отрицание внешним образом присоединяется к суждению, например: «Неверно, что Земля – шар», то такое отрицание рассматривается как логическая связка, преобразующая простое суждение в сложное.

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

a & b. Пример: «В корзине у деда лежали подберезовики и маслята». Это сложное суждение представляет собой конъюнкцию двух простых суждений: – «В корзине у деда лежали подберезовики» и «В корзине у деда лежали маслята».

Дизъюнкция. В естественном языке этой связке соответствует союз «или». Обычно она обозначается знаком «v». Суждение с такой связкой называется дизъюнктивным, или просто дизъюнкцией, и выглядит следующим образом: a v b.

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

Импликация. В естественном языке ей соответствует союз «если… то». Она обозначается знаком «->». Суждение с такой связкой называется импликативным, или просто импликацией, и выглядит следующим образом: a -> b. Пример: «Если по проводнику проходит электрический ток, то проводник нагревается». Первый член импликации называется антецедентом, или основанием; второй – консеквентом, или следствием. В повседневном языке союз «если… то» обычно соединяет предложения, которые выражают причинно-следственную связь явлений, причем первое предложение фиксирует причину, а второе – следствие. Отсюда и названия членов импликации.

Представление высказываний естественного языка в символическом виде с помощью указанных выше обозначений означает их формализацию, которая во многих случаях оказывается полезной.

4) Прекрасный остров лежал в теплом океане. И все бы хорошо, да повадились на этом острове устраиваться на жительство чужестранцы. Едут и едут со всех концов света, уж коренных жителей стеснять стали. Дабы воспрепятствовать нашествию чужестранцев, правитель острова издал указ: «Всякий приезжий, желающий поселиться на нашем благословенном острове, обязан высказать какое-нибудь суждение. Если суждение окажется истинным, чужестранца следует расстрелять; если же суждение окажется ложным, его следует повесить». Боишься – тогда молчи и поворачивай восвояси!

Спрашивается: какое нужно высказать суждение, чтобы остаться в живых и все-таки поселиться на острове?

Таблицы истинности

Теперь мы подошли к очень важному и трудному вопросу. Сложное суждение – это тоже мысль, которая что-то утверждает или отрицает и которая поэтому оказывается истинной или ложной. Вопрос об истинности простых суждений лежит вне сферы логики – на него отвечают конкретные науки, повседневная практика или наблюдение. Истинно или ложно суждение «Все киты – млекопитающие»? Нужно спросить биолога, и он скажет нам, что это суждение истинно. Истинно или ложно суждение «Железо тонет в воде»? Нужно обратиться к практике: бросим в воду какую-нибудь железку и убедимся, что это суждение истинно.

Короче говоря, вопрос об истинности или ложности простых суждений в итоге всегда решается посредством обращения к той реальности, к которой они относятся.

Но как установить истинность или ложность сложного суждения? Пусть у нас имеется некоторая конъюнкция «a & b» и нам известно, что суждение «a» истинно, а суждение «b» ложно. Что можно сказать об этом сложном высказывании в целом? Если бы в реальности существовал объект, к которому относится связка «&», то трудности не возникло бы: обнаружив этот объект, мы могли бы сказать: «Есть! Конъюнкция истинна!»; обшарив все вокруг и не обнаружив соответствующего объекта, мы бы констатировали: «Конъюнкция ложна». Но дело в том, что логическим связкам – как, впрочем, и союзам естественного языка – в реальности ничего не соответствует! Это изобретенные нами средства связи мыслей или предложений, это – орудия мышления, не имеющие аналогов в реальности. Поэтому вопрос об истинности или ложности высказываний с логическими связками – не вопрос конкретных наук или материальной практики, а чисто логический вопрос. И его решает логика.

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

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

Отрицание применяется к одному суждению. Это суждение может быть истинным или ложным, поэтому таблица для отрицания выглядит следующим образом:

Если исходное суждение истинно, то его отрицание мы договариваемся считать ложным; если же исходное суждение ложно, то его отрицание мы считаем истинным. Кажется, такое соглашение соответствует нашей интуиции. Действительно, суждение «Байрон был английским поэтом» истинно, поэтому его отрицание «Неверно, что Байрон был английским поэтом» естественно считать ложным. Суждение «Афины находятся в Италии» ложно, поэтому его отрицание «Неверно, что Афины находятся в Италии» естественно считать истинным.

Таблицы истинности для остальных логических связок мы для удобства приводим все вместе:

Все приведенные здесь связки соединяют два суждения. Для двух суждений имеется четыре возможности: оба могут быть истинными; одно истинно, другое – ложно; одно ложно, другое – истинно; оба ложны. Все эти возможности учтены как случаи 1-4.

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

Аналогичные соображения оправдывают и таблицу истинности для дизъюнкции. Несколько сложнее обстоит дело с импликацией. Рассмотрим суждение «Если солнце взошло, на улице стало светло». Здесь импликация соединяет два простых суждения «Солнце взошло» и «На улице стало светло». Когда оба они истинны, то импликацию в целом мы считаем истинной. Теперь второй случай: солнце взошло, но на улице светло не стало. Если такое вдруг произошло, мы сочтем нашу импликацию ложной: видимо, чего-то мы не учли, когда формулировали такую связь между двумя суждениями. Третий случай: солнце не взошло, но на улице стало светло. Опровергнет ли это нашу импликацию? Отнюдь нет, такое вполне возможно: на улице зажглись фонари, стало светло, но это не противоречит связи между восходом солнца и наступлением светлого времени суток. Импликацию можно считать истинной. Наконец, четвертый случай: солнце не взошло и светло не стало. Это вполне естественно, наша импликация остается истинной.

Поясняя таблицы истинности для логических связок, мы старались показать, что эти таблицы в какой-то мере соответствуют нашей языковой интуиции, нашему пониманию смысла союзов естественного языка. Однако не следует переоценивать степень такого соответствия. Союзы естественного языка гораздо богаче и тоньше по смысловому содержанию, нежели логические связки. Последние схватывают лишь ту часть этого содержания, которая относится к соотношениям истинности или ложности простых высказываний. Более тонких смысловых связей логические связки не учитывают. Поэтому иногда возможно довольно большое расхождение между логическими связками и союзами естественного языка. С помощью этих связок создают программы для компьютеров, и теперь вы можете понять, какую часть нашего мышления способен усвоить и использовать компьютер.

5) Как разделить 7 яблок поровну между 12 мальчиками, не разрезая при этом ни одного яблока на 12 частей? (Наложенное условие призвано исключить самое простое решение: разрезать каждое яблоко на 12 частей и дать каждому мальчику по одной дольке от каждого яблока или 6 яблок разрезать пополам, а 7-е яблоко разрезать на 12 частей.)

6) На одном острове живут два племени – молодцы, которые всегда говорят правду, и лжецы, которые всегда лгут. На остров приезжает путешественник, который знает об этом, и, встретив местного жителя, спрашивает его: «Кто ты, из какого рода-племени?» «Я молодец!» – гордо отвечает абориген. «Вот хорошо, – обрадовался путешественник, – будешь моим проводником!» Гуляют они по острову и вдруг видят вдалеке еще одного аборигена. «Пойди спроси у него, – говорит путешественник своему проводнику, – из какого он племени?» Проводник сбегал вернулся и доложил. «Он сказал, что он – молодец!» «Ага, – подумал путешественник, – теперь я точно знаю, из какого племени ты сам!»

Как путешественник догадался, кем был его проводник?