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