ПРЕАМБУЛА
Многие из задач в этой главе содержат так называемые условные высказывания, то есть сложные высказывания вида «Если Р истинно, то Q истинно», где Р и Q – некоторые высказывания. Прежде чем приступить к решению задач этого типа, необходимо выяснить, какие неоднозначности могут встретиться в истолковании условных высказываний. С одними фактами согласятся все, по поводу других могут возникнуть значительные разногласия.
Обратимся к конкретному примеру. Рассмотрим следующее высказывание:
Если Джон виновен, то его жена виновна. (1)
Всякий согласится с тем, что если Джон виновен и если высказывание (1) истинно, то жена Джона также виновна.
Предположим теперь, что жена Джона виновна, но неизвестно, виновен Джон или невиновен. Как, по-вашему, будет ли в этом случае высказывание (1) истинно или ложно? Не считаете ли вы, что независимо от того, виновен Джон или невиновен, его жена виновна? Может быть, вы предпочитаете выразить свою мысль иначе: если Джон виновен, то его жена виновна, и если Джон невиновен, то его жена виновна?
Примеры такого словоупотребления мы находим в литературе. В рассказе Киплинга «Рикки-Тикки-Тави» кобра говорит перепуганному семейству: «Если вы двинетесь с места, я укушу, и если вы не двинетесь с места, я укушу». В переводе на более привычный язык это означает просто-напросто: «Я укушу». О наставнике секты дзен Токусане легенда рассказывает, что на все вопросы (и «невопросы») он отвечал ударами своего посоха. Ему принадлежит знаменитое изречение: «Тридцать ударов, если тебе есть что сказать, тридцать ударов, если тебе нечего сказать».
Итак, мы с трогательным единодушием заключаем, что если высказывание Q истинно, то условное высказывание «Если Р, то Q» (так же как и условное высказывание «Если не Р, то Q») истинно.
Наиболее спорный вопрос состоит в том, истинно или ложно условное высказывание «Если Р, то Q», когда оба высказывания Р и Q ложны. Обратимся к нашему примеру. Можно ли считать высказывание (1) истинным, если и Джон и его жена невиновны? К этому жизненно важному вопросу мы вскоре вернемся.
С интересующим нас вопросом тесно связан другой. Мы уже пришли к единому мнению относительно того, если Джон виновен, а его жена невиновна, то высказывание (1) должно быть ложным. Верно ли обратное утверждение? Иначе говоря, следует ли из ложности высказывания (1), что Джон должен быть виновен, а его жена невиновна? Ту же мысль можно сформулировать и по-другому: правильно ли утверждать, что высказывание (1) ложно лишь в том случае, если Джон виновен, а его жена невиновна? Если связку «если …, то …» понимать так, как это делают большинство логиков, математиков и других ученых, то на наш вопрос следует ответить утвердительно. Мы также будем придерживаться общепринятого соглашения. Заключается оно в том, что если нам заданы любые два высказывания Р и Q, то сложное высказывание «Если Р, то Q» означает: «Неверно, что Р истинно, a Q ложно» (не больше и не меньше). В частности, принятое соглашение означает, что если Джон и его жена невиновны, то высказывание (1) следует считать истинным. Единственный случай, когда высказывание (1) ложно, может представиться, если Джон виновен, а его жена невиновна. Это условие заведомо не выполняется, если Джон и его жена невиновны. Иначе говоря, если Джон и его жена невиновны, то заведомо неверно, что Джон виновен, а его жена невиновна, поэтому высказывание (1) не может быть истинным.