ПРЕАМБУЛА

Многие из задач в этой главе содержат так называемые условные высказывания, то есть сложные высказывания вида "Если P истинно, то Q истинно", где P и Q - некоторые высказывания. Прежде чем приступить к решению задач этого типа, необходимо выяснить, какие неоднозначности могут встретиться в истолковании условных высказываний. С одними фактами согласятся все, по поводу других могут возникнуть значительные разногласия.
   Обратимся к конкретному примеру. Рассмотрим следующее высказывание:
Если Джон виновен, то его жена виновна. (1)
   Всякий согласится с тем, что если Джон виновен и если высказывание (1) истинно, то жена Джона также виновна.
   Предположим теперь, что жена Джона виновна, но не известно, виновен Джон или не виновен. Как, по-вашему, будет ли в этом случае высказывание (1) истинно или ложно? Не считаете ли вы, что независимо от того, виновен Джон или не виновен, его жена виновна? Может быть, вы предпочитаете выразить свою мысль иначе: если Джон виновен, то его жена виновна, и если Джон не виновен, то его жена виновна?
   Примеры такого словоупотребления мы находим в литературе. В рассказе Киплинга "Рики-тики-тави" кобра говорит перепуганному семейству: "Если вы двинетесь с места, я укушу, и если вы не двинетесь с места, я укушу". В переводе на более привычный язык это означает просто-напросто: "Я укушу". О наставнике секты дзен Токусане легенда рассказывает, что на все вопросы (и "невопросы") он отвечал ударами своего посоха. Ему принадлежит знаменитое изречение: "Тридцать ударов, если тебе есть что сказать, тридцать ударов, если тебе нечего сказать".
   Итак, мы с трогательным единодушием заключаем, что если высказывание Q истинно, то условное высказывание "Если P, то Q" (так же как и условное высказывание "Если не P, то Q") истинно.
   Наиболее спорный вопрос состоит в том, истинно или ложно условное высказывание "Если P, то Q", когда оба высказывания P и Q ложны. Обратимся к нашему примеру. Можно ли считать высказывание (1) истинным, если и Джон и его жена не виновны? К этому жизненно важному вопросу мы вскоре вернемся.
   С интересующим, нас вопросом тесно связан другой. Мы уже пришли к единому мнению относительно того, если Джон виновен, а его жена не виновна, то высказывание (1) должно быть ложным. Верно ли обратное утверждение? Иначе говоря, следует ли из ложности высказывания (1), что Джон должен быть виновен, а его жена невиновна? Ту же мысль можно сформулировать и по-другому: правильно ли утверждать, что высказывание (1) ложно лишь в том случае, если Джон виновен, а его жена не виновна? Если связку "если ... , то ... " понимать так, как это делают большинство логиков, математиков и других ученых, то на наш вопрос следует ответить утвердительно. Мы также будем придерживаться общепринятого соглашения. Заключается оно в том, что если нам заданы любые два высказывания P и Q, то сложное высказывание ``Если P, то Q" означает: "Не верно, что P истинно, а Q ложно" (не больше и не меньше). В частности, принятое соглашение означает, что если Джон и его жена не виновны, то высказывание (1) следует считать истинным.
   Единственный случай, когда высказывание (1) ложно, может представиться, если Джон виновен, а его жена не виновна. Это условие заведомо не выполняется, если Джон и его жена не виновны. Иначе говоря, если Джон и его жена не виновны, то заведомо не верно, что Джон виновен, а его жена не виновна, поэтому высказывание (1) не может быть истинным.
   Следующий пример еще более причудлив:
Если Конфуций родился в Техасе, то я Дракула. (2)
   Высказывание (2) означает всего-навсего: "Не верно, что Конфуций родился в Техасе, и я не Дракула". Таким образом, высказывание (2) следует считать истинным.
   К оценке истинности высказывания (2) можно подойти и с другой стороны. Высказывание (2) ложно лишь в том случае, если Конфуций родился в Техасе, а я не Дракула. Но поскольку Конфуций родился не в Техасе, то не может быть верно, что Конфуций родился в Техасе и что я не Дракула. Иначе говоря, высказывание (2) не может быть ложным. Следовательно, оно должно быть истинным.
   Рассмотрим теперь любые два высказывания P, Q. Составим из них сложное высказывание.
Если P, то Q. (3)
   Будем обозначать его P => Q (эту сокращенную запись принято читать либо как "если P, то Q", либо как "из P следует Q", либо "P влечет за собой Q", либо даже P имплицирует Q"). Слово "следует" (и его синонимы) не слишком удачно, но оно привилось в литературе. Понимать его, как мы видели, надлежит лишь в совершенно определенном, хотя, быть может, и несколько необычном смысле: не верно, что P истинно и Q
ложно. (В книге было "не верно, что P ложно и Q истинно", а это неправильно. - SStas)
   Итак, относительно высказывания P => Q мы располагаем следующей информацией.
Факт 1. Если P ложно, то P => Q автоматически истинно.
Факт 2. Если Q истинно, то P => Q автоматически истинно.
Факт 3. Высказывание P => Q может быть ложно в том и только в том случае, если P истинно, а Q ложно.

Факт 1 иногда формулируют иначе: "Из ложного высказывания следует что угодно". Такое утверждение вызывает у некоторых философов самые решительные возражения (см., в частности, задачу 244 из гл. 14). Факт 2 иногда формулируют так: "Истинное высказывание следует из чего угодно".

Межсетевое экранирование тут