Таблицы истинности. Теперь мы подошли к очень важному и трудному вопросу

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

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

Но как установить истинность или ложность сложного суждения? Пусть у нас имеется некоторая конъюнкция “а & Ь” и нам известно, что суждение “а” истинно, а суждение “Ь” ложно. Что можно ска­зать об этом сложном высказывании в целом? Если бы в реальности существовал объект, к которому относится связка “&”, то трудности не возникло бы:

обнаружив этот объект, мы могли бы сказать: “Есть! Конъюнкция истинна!”; обшарив все вокруг и не об­наружив соответствующего объекта, мы бы конста­тировали: “Конъюнкция ложна”. Но дело в том, что логическим связкам - как, впрочем, и союзам есте­ственного языка - в реальности ничего не соответ­ствует! Это изобретенные нами средства связи мыс­лей или предложений, это - орудия мышления, не имеющие аналогов в реальности. Поэтому во­прос об истинности или ложности высказываний с логическими связками - не вопрос конкретных наук или материальной практики, а чисто логичес­кий вопрос. И его решает логика.

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

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

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

А	-А
и	л
л	и

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

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

	а	Ь	а&Ь	a v b	а -> b
	и	и	и	и	и
	и	л	л	и	л
	л	и	л	и	и
	л	л	л	л	и

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

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

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

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

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

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

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

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

Дата добавления: 2015-08-26