Онлайн библиотека PLAM.RU


  • V. Тайна шкатулок Порции
  • А. История первая
  • Б. История вторая
  • В. Появление Беллини и Челлини
  • Г. Загадочная история: в чем ошибка?
  • Решения
  • VI. Из записок инспектора Крэга
  • А. Из записок инспектора Крэга
  • Б. Не могли бы вы помочь?
  • В. Шесть необычных случаев
  • Решения
  • VII. Как избежать оборотней и другие полезные практические советы
  • А. Как вести себя в лесу, где водятся оборотни
  • Б. Как выбрать или завоевать невесту
  • В. Да, вы не виновны, но как это доказать?
  • Г. Как жениться на дочери короля?
  • Решения
  • VIII. Логические задачи
  • Преамбула
  • А. Применение импликации к рыцарям и лжецам
  • Б. Любовь и логика
  • В. Есть ли сокровища на этом острове?
  • Решения
  • IX. Беллини или Челлини?
  • А. Чьей работы шкатулка?
  • Б. Пары шкатулок
  • Решения
  • Часть вторая. Шкатулки Порции и другие загадочные истории

    V. Тайна шкатулок Порции

    А. История первая

    67.

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

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

    На золотойНа серебрянойНа свинцовой
    Портрет в этой шкатулкеПортрет не в этой шкатулкеПортрет не в золотой шкатулке

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

    Какую шкатулку следует выбрать поклоннику Порции?

    67а.

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

    На золотойНа серебрянойНа свинцовой
    Портрет не в серебряной шкатулкеПортрет не в этой шкатулкеПортрет вэтой шкатулке

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

    В какой шкатулке хранится портрет Порции?

    Эпилог

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

    Б. История вторая

    Вступив вторично в брак, Порция и ее муж зажили счастливо. У них родилась дочь, Порция II, которую мы в дальнейшем будем для краткости называть просто Порцией. Когда юная Порция подросла, она стала необычайно умной и красивой девушкой, совсем как ее мама. Она также вздумала выбирать себе мужа «по методу шкатулок». Чтобы получить Порцию в жены, претендент на ее руку должен был пройти два испытания.

    68. Первое испытание.

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

    На золотойНа серебрянойНа свинцовой
    1) Портрет не в этой шкатулке1) Портрет не в золотой шкатулке1) Портрет не в этой шкатулке
    2) Портрет написан художником из Венеции2) Портрет в действительности написан художником из Флоренции2) B действительности портрет в серебряной шкатулке

    В какой шкатулке находится портрет?

    68а. Второе испытание.

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

    На золотойНа серебрянойНа свинцовой
    1) Портрет не в этой шкатулке1) Портрет не в золотой шкатулке1) Портрет не в этой шкатулке
    2) Портрет в серебряной шкатулке2) Портрет в свинцовой шкатулке2) Портрет в золотой шкатулке

    В какой шкатулке находится портрет?

    В. Появление Беллини и Челлини

    Претендент на руку Порции из предыдущей истории успешно прошел оба испытания и провозгласил Порцию II своей невестой. Вскоре они поженились и жили счастливо. У нихродилась очаровательная дочка, которую назвали Порцией III (впредь мы будем называть ее просто Порция). Когда Порция выросла, она стала умной и красивой девушкой — такой же, какими были в юности ее мама и бабушка. Следуя семейной традиции, она решила воспользоваться при выборе мужа «методом шкатулок». Претендент на ее руку должен был пройти три испытания! Программа испытаний была составлена весьма искусно. Порция решила воспользоваться идеей своей бабушки и приказала выгравировать на крышке каждой шкатулки не по две, а только по одной надписи. Но она не только возродила старую идею, но и обогатила ее новшеством.

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

    69. Первое испытание.

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

    На золотойНа серебрянойНа свинцовой
    Кинжал в этой шкатулкеЭта шкатулка пустаяБеллини изготовил не более одной шкатулки

    Какую шкатулку следует выбрать претенденту на руку Порции?

    69а. Второе испытание.

    В этом испытании претендент на руку Порции, если бы он выбирал шкатулку наугад, имел бы шансы на успех один к трем. Порция взяла две шкатулки, золотую и серебряную, и в одну из них положила свой портрет (кинжал в этом испытании не понадобился). И эти шкатулки были изготовлены Челлини или Беллини. Надписи нэ крышках шкатулок гласили:

    На золотойНа серебряной
    Портрет не в этой шкатулкеРовно одна из этих двух шкатулок изготовлена Беллини

    Какую шкатулку следует выбрать претенденту на руку Порции (в шкатулке должен находиться портрет)?

    69б. Третье испытание.

    Если претендент на руку Порции успешно проходил первое и второе испытания, его вводили в комнату, где на столе были расставлены три шкатулки: золотая, серебряная и свинцовая. Каждая шкатулка была изготовлена либо Челлини, либо Беллини. В этом испытании тот, кто вздумал бы выбирать шкатулку наугад, имел бы шансы на успех один к трем. В одну из шкатулок Порция положила свой портрет. Чтобы пройти испытание, претендент должен был: 1) указать шкатулку с портретом Порции; 2) назвать мастера, изготовившего каждую шкатулку. Надписи на шкатулках гласили:

    На золотойНа серебрянойНа свинцовой
    Портрет в этой шкатулкеПортрет в этой шкатулкеПо крайней мере две шкатулки изготовлены Челлини

    Как решить эту задачу?

    Г. Загадочная история: в чем ошибка?

    70.

    Четвертая и последняя история — самая поразительная из всех и служит иллюстрацией одного весьма важного логического принципа.

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

    Через несколько поколений в Америке родилась прапрапра…внучка, которая была так похожа на портреты своих прапрапра…бабушек, что ее назвали Порцией N-й (для краткости условимся называть ее в дальнейшем просто Порцией). Когда Порция выросла, то, как и все Порции, она превратилась в прелестную девушку, ум которой не уступал ее красоте. Характер ее отличался необычайной живостью не без склонности к сумасбродству. Она также решила прибегнуть при выборе спутника жизни к «методу шкатулок» (что в современном Нью-Йорке было в известной мере экстравагантным поступком, но мы не будем останавливаться на этом).

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

    На золотойНа серебряной
    Портрет не в этой шкатулкеРовно одно из двух высказываний, выгравированных на крышках, истинно

    Какую шкатулку вы бы выбрали?

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

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

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

    — Ну что? — спросила Порция у поверженного претендента, явно наслаждаясь своим триумфом. — Не очень-то помогли вам ваши рассуждения! Но вы мне чем-то нравитесь, и я хочу предоставить вам еще один шанс. Я так и сделаю, хотя это против правил. Забудем о последнем испытании, словно его и не было. Я предложу вам более простое испытание, в котором ваши шансы получить мою руку возрастут с одного к двум до двух к трем. Оно напоминает испытание, некогда устроенное моей прапрапра…бабушкой Порцией III. Не сомневаюсь, что на этот раз вы успешно справитесь с задачей.

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

    На золотойНа серебрянойНа свинцовой
    Кинжал в этой шкатулкеЭта шкатулка пустаНе более чем одно из трех высказываний, выгравированных на шкатулках, истинно

    (Сравните эту задачу с первым испытанием, предложенным Порцией III. Вам не кажется, что и в том и в этом случае задача одна и та же?)

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

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

    Читателю будет приятно узнать, что Порция и претендент на ее руку все же поженились. (Порция решила выйти за него замуж задолго до испытаний, которые понадобились ей только для того, чтобы немного подразнить будущего жениха.) Но даже такой счастливый конец оставляет без ответа весьма важный вопрос: где в рассуждения претендента на руку Порции вкралась ошибка?

    Решения

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

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

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

    67a. Если бы портрет находился в свинцовой шкатулке, то вопреки условиям задачи все три высказывания были бы истинными. Если бы портрет находился в серебряной шкатулке, то (также вопреки условиям задачи) все три высказывания были бы ложными. Следовательно, портрет должен находиться в золотой шкатулке (тогда первые два высказывания истинны, а третье — ложно, что согласуется с условиями задачи).

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

    68а. Если портрет находится в золотой шкатулке, то на крышках золотой и серебряной шкатулок выгравировано по два ложных высказывания. Если портрет находится в серебряной шкатулке, то на крышках серебряной и свинцовой шкатулок выгравировано по одному истинному и одному ложному высказыванию. Следовательно, портрет находится в свинцовой шкатулке (крышка серебряной шкатулки при этом украшена двумя истинными высказываниями, крышка свинцовой шкатулки — двумя ложными высказываниями, и крышка золотой шкатулки — одним истинным и одним ложным высказыванием).

    69. Предположим, что шкатулку из свинца изготовил Беллини. Тогда высказывание, помещенное на ее крышке, было бы истинным, и, следовательно, две другие шкатулки должны были бы быть работы Челлини. Это означает, что оба остальных высказывания ложны. В частности, ложно высказывание, выгравированное на крышке серебряной шкатулки, поэтому кинжал находится в серебряной шкатулке. Итак, если свинцовая шкатулка работы Беллини, то кинжал находится в серебряной шкатулке.

    Предположим теперь, что свинцовую шкатулку изготовил Челлини. Тогда высказывание, украшающее ее крышку, ложно, поэтому по крайней мере две шкатулки изготовил Беллини. Это означает, что и золотая, и серебряная шкатулки работы Беллини (так как свинцовая по предположению изготовлена Челлини). Значит, высказывания на крышках золотой и серебряной шкатулок истинны. В частности, истинно высказывание, выгравированное на крышке золотой шкатулки. Следовательно, в этом случае кинжал лежит в золотой шкатулке.

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

    69a. Если серебряную шкатулку изготовил Беллини, то высказывание, выгравированное на ее крышке, истинно. В этом случае золотая шкатулка изготовлена Челлини. Предположим теперь, что серебряная шкатулка работы Беллини. Тогда золотую шкатулку изготовил Челлини (если бы золотая шкатулка была работы Беллини, то мы имели бы дело с тем случаем, когда ровно одна шкатулка изготовлена Беллини).

    Итак, независимо от того, кто изготовил серебряную шкатулку — Беллини или Челлини, золотая шкатулка заведомо работы Челлини. Следовательно, высказывание, выгравированное на крышке золотой шкатулки, ложно, поэтому портрет находится в золотой шкатулке.

    69б. Докажем прежде всего, что свинцовую шкатулку должен был изготовить Беллини. Предположим, что свинцовая шкатулка работы Челлини. Тогда высказывание, выгравированное на ее крышке, ложно. Это означает, что по крайней мере две шкатулки должны быть изготовлены Беллини, а именно серебряная и золотая, что невозможно, так как портрет не может находиться в золотой и в серебряной шкатулках одновременно. Следовательно, свинцовая шкатулка в действительности изготовлена Беллини. Но тогда выгравированное на ее крышке высказывание истинно, и поэтому по крайней мере две шкатулки изготовлены Челлини. Это означает, что и золотая, и серебряная шкатулки работы Челлини. Следовательно, высказывания, украшающие крышки этих шкатулок, ложны, и портрет не находится ни в золотой, ни в серебряной шкатулке. Значит, портрет находится в свинцовой шкатулке.

    Мы доказали также, что свинцовую шкатулку изготовил Беллини, а две остальные шкатулки — Челлини. Тем самым получен ответ и на второй вопрос задачи.

    70. Претенденту на руку Порции следовало бы понять, что без информации об истинности или ложности любого высказывания или об отношении принимаемых высказываниями значений истинности высказывания не позволяют прийти к какому-либо выводу, и предмет (портрет или кинжал) может находиться где угодно. Что мешает мне взять любое число шкатулок, положить в одну из них какой-нибудь предмет и сделать на крышках любые надписи, какие только мне заблагорассудится? Эти надписи не будут нести в себе никакой информации о предмете, спрятанном в одной из шкатулок. Отсюда ясно, что Порция не лгала своему возлюбленному. Все, что она утверждала, сводилось к следующему: некий предмет спрятан в одной из шкатулок. И в каждом случае ее утверждение соответствовало истине.

    Иное дело-истории о предках Порции N-й: если бы портрет или кинжал не оказался бы там, где его рассчитывал найти претендент на руку прапрапра…бабушки Порции N-й, то это означало бы (как мы вскоре увидим), что где-то «по дороге» прапрапра…бабушка допустила ложное высказывание.

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

    Весьма поучительно сравнить это испытание со вторым испытанием, предложенным Порцией III (которой также хватило двух шкатулок). Надпись на золотой шкатулке в том испытании совпадала с надписью на золотой шкатулке в испытании, устроенном Порцией N-й, и гласила: «Портрет не в этой шкатулке». Но надпись на серебряной шкатулке была иной (старая надпись гласила: «Ровно одна из этих двух шкатулок изготовлена Беллини», новая — сообщала, что «Ровно одно из двух высказываний, выгравированных на крышках, истинно»). У читателя может возникнуть вопрос о том, существенно ли различие между этими двумя высказываниями, если известно, что Беллини гравировал на крышках шкатулок только истинные, а Челлини — только ложные высказывания. Различие, хотя и довольно тонкое, все же существует. Высказывание «Ровно одна из этих шкатулок изготовлена Беллини» — это высказывание, которое должно быть либо истинным, либо ложным, некое историческое утверждение о реальном мире. Беллини либо изготовил ровно одну из двух шкатулок, либо не изготовил. Предположим, что в истории о Порции III портрет оказался бы не в золотой, а в серебряной шкатулке. Какой вывод вы сделали бы из этого? Стали бы считать, что надпись, выгравированная на серебряной шкатулке, ни истинна, ни ложна? Такой вывод был бы неверен! Я уже говорил о том, что надпись на серебряной шкатулке представляет собой высказывание, которое может быть либо истинным, либо ложным. Поэтому правильным был бы иной вывод: если бы портрет был обнаружен в серебряной шкатулке, то Порция III, утверждая о Беллини и Челлини то, что она утверждала, лгала бы. В отличие от своей прапрапра…бабушки Порция N-я могла бы, не прибегая ко лжи, поместить свой портрет в серебряную шкатулку, так как она ничего не сказала о значении истинности высказываний, выгравированных на крышках шкатулок.

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

    VI. Из записок инспектора Крэга

    А. Из записок инспектора Крэга

    Инспектор Лесли Крэг из Скотланд-Ярда любезно согласился предоставить мне записки о некоторых распутанных им делах, с тем чтобы я мог поведать о них для пользы и в назидание тем, кто интересуется применением логики к раскрытию уголовных преступлений.

    71.

    Начнем с простого дела. На складе было совершено крупное хищение. Преступник (или преступники) вывез награбленное на автомашине. Подозрение пало на трех преступников-рецидивистов A, B и C, которые были доставлены в Скотланд-Ярд для допроса. Было установлено следующее:

    1) Никто, кроме A, B и C, не был замешан в хищении.

    2) C никогда не ходит на дело без A (и, возможно, других соучастников).

    3) B не умеет водить машину.

    Виновен или не виновен A?

    72.

    Другое, также несложное дело о хищении. Подозреваемые A, B и C были вызваны для допроса. Установлено следующее:

    1) Никто, кроме A, B и C, в хищении не замешан.

    2) A никогда не идет на дело без по крайней мере одного соучастника.

    3) C не виновен.

    Виновен или не виновен B?

    73. Дело о двух неразличимых близнецах.

    Это дело поинтереснее предыдущих. В Лондоне совершено ограбление. Трое подозреваемых — рецидивисты A, B и C — вызваны на допрос. Подозреваемые A и С — близнецы и похожи друг на друга настолько, что мало кто умеет отличать одного из них от другого. В картотеке Скотланд-Ярда имеются подробные сведения о всех троих, в том числе об их характере, наклонностях и привычках. В частности, известно, что оба близнеца по характеру робки, и ни один из них не отваживается идти на дело без соучастника. Подозреваемый B отличается большой дерзостью и терпеть не может ходить на дело с соучастником. Кроме того, несколько свидетелей показали, что во время ограбления одного из близнецов видели в баре в Дувре, но установить, о ком из двух близнецов шла речь, не удалось.

    Предположим, что в ограблении не был замешан никто, кроме A, B и C. Кто из них виновен и кто не виновен?

    74.

    «Какие выводы вы сделали бы из следующих фактов?» — спросил инспектор Крэг у сержанта Макферсона:

    1) Если A виновен и B невиновен, то C виновен.

    2) C никогда не действует в одиночку.

    3) A никогда не ходит на дело вместе с C.

    4) Никто, кроме A, B и C, в преступлении не замешан, и по крайней мере один из этой тройки виновен.

    Сержант поскреб в затылке и сказал:

    — Боюсь, что я смогу извлечь из этих фактов не слишком много, сэр. А вы можете, опираясь на них, доказать, кто из трех подозреваемых виновен и кто не виновен?

    — Не могу, — признался Крэг, — но чтобы выдвинуть неопровержимое обвинение против одного из них, материала вполне достаточно.

    Чья виновность не вызывает сомнений?

    75. Дело об ограблении лавки Макгрегора.

    Мистер Макгрегор, владелец лавки из Лондона, сообщил по телефону в Скотланд-Ярд о том, что его ограбили. Трех преступников-рецидивистов A, B и C, подозреваемых в ограблении, вызвали на допрос. Установлено следующее:

    1) Каждый из тройки подозреваемых A, B и C в день ограбления побывал в лавке, и никто больше в тот день в лавку не заходил.

    2) Если A виновен, то у него был ровно один сообщник.

    3) Если B не виновен, то C также не виновен.

    4) Если виновны ровно двое подозреваемых, то A — один из них.

    5) Если C не виновен, то B также не виновен.

    Против кого инспектор Крэг выдвинул обвинение?

    76. Дело четырех.

    На этот раз на допрос были вызваны четверо подозреваемых в ограблении: A, B, C и D. Неопровержимыми уликами доказано, что по крайней мере один из них виновен и что никто, кроме A, B, C и D, в ограблении не участвовал. Кроме того, удалось установить следующее:

    1) A безусловно не виновен.

    2) Если B виновен, то у него был ровно один соучастник.

    3) Если C виновен, то у него было ровно два соучастника.

    Инспектору Крэгу было особенно важно узнать, виновен или не виновен D, так как D был опасным преступником. К счастью, приведенных выше фактов достаточно, чтобы установить виновность или невиновность подозреваемого D.

    Итак, виновен или не виновен D?

    Б. Не могли бы вы помочь?

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

    77. Глупый защитник.

    Одного человека судили за участие в ограблении. Обвинитель и защитник в ходе судебного заседания заявили следующее:

    Обвинитель. Если подсудимый виновен, то у него был сообщник.

    Защитник. Не верно!

    Ничего хуже защитник сказать не мог. Почему?

    78.

    По обвинению в ограблении перед судом предстали A, B и C. Установлено следующее:

    1) Если A не виновен или B виновен, то C виновен.

    2) Если A невиновен, то C не виновен.

    Можно ли на основании этих данных установить виновность каждого из трех подсудимых?

    79.

    По обвинению в ограблении перед судом предстали A, B и C. Установлено следующее:

    1) По крайней мере один из трех подсудимых виновен.

    2) Если A виновен и B не виновен, то C не виновен.

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

    80.

    Этот случай более интересен, чем предыдущие. Подсудимых четверо: A, B, C, D. Установлено следующее:

    1) Если A и B оба виновны, то C был соучастником.

    2) Если A виновен, то по крайней мере один из обвиняемых B, C был соучастником.

    3) Если C виновен, то D был соучастником.

    4) Если A не виновен, то D виновен.

    Кто из четырех подсудимых виновен вне всякого сомнения и чья вина остается под сомнением?

    81.

    И в этом случае подсудимых было четверо: A, B, C, D. Установлено следующее:

    1) Если A виновен, то B был соучастником.

    2) Если B виновен, то либо C был соучастником, либо A не виновен.

    3) Если D не виновен, то A виновен и C не виновен.

    4) Если D виновен, то A виновен. Кто из подсудимых виновен и кто не виновен?

    В. Шесть необычных случаев

    82. Не лучше ли было промолчать?

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

    Разумно ли было с его стороны такое заявление? Помогло ли оно или только ухудшило его положение? Может быть, оно никак не повлияло на решение суда?

    83.

    Загадочный обвинитель.

    В другом случае на том же острове за совершение некоторого преступления судили двух местных жителей X и Y. Дело было в высшей степени необычно, так как об обвинителе было известно, что он либо рыцарь, либо лжец. На суде обвинитель сделал два следующих заявления:

    1) X виновен.

    2) X и Y не могут быть виновны оба.

    К какому заключению вы бы пришли на основании этих заявлений на месте присяжных? Можно ли утверждать что-нибудь относительно виновности X или Y? Кто, по-вашему, обвинитель: рыцарь или лжец?

    84.

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

    1) Либо X виновен, либо Y виновен.

    2) X не виновен.

    К какому заключению вы бы пришли на основании этих заявлений?

    85.

    Предположим, что обвинитель из задачи 83 сделал на суде два следующих заявления:

    1) Либо X не виновен, либо Y виновен.

    2) X виновен.

    К какому заключению вы бы пришли на основании этих заявлений?

    86.

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

    Трое жителей острова A, B и C предстали перед судом. Известно, что преступление мог совершить только один из них. Известно также, что совершивший преступление был рыцарем и что других рыцарей среди трех подсудимых не было. На суде A, B и C сделали следующие заявления:

    A: Я не виновен.

    B: Это правда.

    C: B — не нормальный человек.

    Кто из троих виновен в совершенном преступлении?

    87.

    Этот случай, самый интересный из всех, внешне напоминает предыдущие, но в действительности в корне отличен от них. Он также произошел на острове рыцарей, лжецов и нормальных людей.

    Главными действующими лицами были подсудимый, обвинитель и защитник. Судебный процесс проходил весьма необычно. Начать хотя бы с того, что один из его трех главных участников был рыцарем, другой лжецом, а третий нормальным человеком, но кто из них рыцарь, лжец или нормальный человек, не было известно никому. Еще более странным было другое обстоятельство: суду достоверно было известно, что если подсудимый не виновен, то виновен либо защитник, либо обвинитель. Было известно также, что виновный не лжец. В ходе судебного заседания подсудимый, обвинитель и защитник сделали следующие заявления:

    Подсудимый. Я невиновен.

    Защитник. Мой подзащитный действительно не виновен.

    Обвинитель. Не правда, подсудимый виновен.

    Их заявления прозвучали вполне естественно. Присяжные удалились на совещание, но не смогли вынести никакого решения: сведений, содержащихся в трех заявлениях, сделанных на суде, для этого оказалось недостаточно. В те времена, когда происходил суд, остров входил в британские владения, поэтому правительство острова направило в Скотланд-Ярд телеграмму с просьбой направить к ним инспектора Крэга, чтобы тот помог разрешить возникшее затруднение.

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

    Кто виновен? Кто был нормальным человеком, кто рыцарем и кто лжецом?

    Решения

    71. Покажем прежде всего, что по крайней мере один из A, C виновен. Если B не виновен, то ясно, что виновен кто-то из A, C (или оба), так как из высказывания (1) следует, что никто, кроме A, B и C, не может быть виновен. Если B виновен, то у него должен быть соучастник (так как B не умеет водить машину). Следовательно, и в этом случае A или C должен быть виновен. Таким образом, кто-то из A и C (или оба) виновен. Если C не виновен, то A должен быть виновен. С другой стороны, если C виновен, то в силу высказывания (2) A также виновен. Следовательно, A виновен.

    72. Этот случай еще проще. Если A не виновен, то (так как C не виновен) виновным должен быть B — в силу высказывания (1). Если A виновен, то в силу высказывания (2) у него должен быть соучастник. Из высказывания (3) следует, что этим соучастником не мог быть C. Значит, им должен быть B. Итак, и в том и в другом случае B виновен.

    73. Предположим, что B не виновен. Тогда должен быть виновен один из двух близнецов. У этого близнеца должен быть соучастник, а поскольку B не мог быть сообщником, то им должен быть другой близнец. Но это невозможно, так как одного из близнецов во время преступления видели в Дувре. Следовательно, B виновен. А поскольку B всегда «ходит на дело» в одиночку, то оба близнеца не виновны.

    74. Не вызывает ни малейших сомнений виновность B. Доказать это можно при помощи любого из следующих рассуждений.

    Рассуждение первое. Предположим, что B не виновен. Тогда если бы A был виновен, то C также был бы виновен в силу высказывания (1). Это означало бы, что вопреки высказыванию (3) A совершил преступление вместе с C. Следовательно, A должен быть не виновен. Но тогда вопреки высказыванию (2) C единственный, кто виновен. Значит, B виновен.

    Рассуждение второе. Оно прямее приводит к ответу на вопрос задачи.

    а) Предположим, что A виновен. Тогда в силу высказывания (3) B и C не могут быть оба не виновны, поэтому у A должен быть соучастник. Так как C в силу высказывания (3) не мог быть соучастником A, то им должен быть B. Следовательно, если A виновен, то B также виновен.

    б) Предположим, что C виновен. Тогда в силу высказывания (2) у него должен быть соучастник, которым в силу высказывания (3) не мог быть A. Следовательно, им должен быть B.

    в) Если ни A, ни C не виновны, то B несомненно виновен!

    75. Инспектор Крэг выдвинул против мистера Макгрегора обвинение в попытке ввести полицию в заблуждение: никакого ограбления в действительности не было. Вот как рассуждал инспектор Крэг.

    Первый шаг. Предположим, что A был бы виновен. Тогда в силу высказывания (2) у него был бы ровно один соучастник — не больше, не меньше. Следовательно, кто-то один из B, C виновен, а другой не виновен. Но это противоречит высказываниям (3) и (5), из которых, если взять их вместе, следует, что B, C либо оба виновны, либо оба не виновны. Значит, A должен быть не виновен.

    Второй шаг. Из высказываний (3) и (5) следует, что B и C либо оба виновны, либо оба не виновны. Если бы они были оба виновны, то других виновных не было бы (так как A не виновен). Следовательно, виновных в этом случае было бы ровно двое. В силу высказывания (4) это означало бы, что A виновен. Тем самым мы пришли бы к противоречию, так как A не виновен. Следовательно, B и C оба не виновны.

    Третий шаг. Итак, установлено, что A, B, C не виновны. Но, как следует из высказывания (1), в день ограбления никто, кроме A, B и C, в лавку не заходил и не мог совершить ограбления. Значит, никакого ограбления не было, и Макгрегор лгал.

    Эпилог. Не устояв перед неопровержимыми доводами инспектора Крэга, Макгрегор признался в том, что он солгал в надежде получить страховку.

    76. Если B виновен, то в силу высказывания (2) в преступлении замешаны ровно двое подсудимых. Если же виновен C, то в силу высказывания (3) в преступлении замешаны трое подсудимых. Поскольку ни того, ни другого быть не может, то по крайней мере один из B и C не виновен. Подсудимый A также не виновен, поэтому виновных не может быть больше двух. Следовательно, у C не было ровно двух соучастников, и в силу высказывания (3) подсудимый C должен быть не виновен. Если B виновен, то у него был ровно один соучастник. Им должен быть D (так как A и B оба не виновны). Если B не виновен, то A, B и C не виновны. Тогда D должен быть виновен. Итак, независимо от того, виновен или не виновен B, подсудимый D должен быть виновен. Следовательно, D виновен.

    77. В действительности обвинитель сказал, что подсудимый не совершал преступления в одиночку. Защитник, отрицая высказывание обвинителя, тем самым утверждал, что подсудимый совершил преступление в одиночку.

    78. Можно, причем очень просто. В силу высказывания (1) если A не виновен, то C виновен (поскольку если A не виновен, то дизъюнкция «либо A не виновен, либо B виновен» — истина). В силу высказывания (2), если A не виновен, то C не виновен. Следовательно, если A не виновен, то C одновременно виновен и не виновен, что невозможно. Значит, A должен быть виновен.

    79. Двое подсудимых, один из которых должен быть виновен, это B и C. Действительно, предположим, что A не виновен. Тогда в силу высказывания (1) B или, C должен быть виновен. С другой стороны, предположим, что A виновен. Если B виновен, то по крайней мере кто-то один из B и C заведомо виновен. Но предположим, что B не виновен. Тогда A виновен, а B не виновен. Следовательно, в силу высказывания (2) C должен быть виновен, то есть и в этом случае либо B, либо C виновен.

    80. Прежде всего докажем, что если A виновен, то C виновен. Предположим, что A виновен. Тогда в силу высказывания (2) либо B, либо C виновен. Если B не виновен, то виновен должен быть C. Но предположим, что B виновен. Тогда A и B оба виновны. Следовательно, в силу высказывания (1) C также виновен. Это доказывает, что если A виновен, то C виновен. Кроме того, в силу высказывания (3), если C виновен, то D виновен. Сопоставляя эти два факта, мы заключаем, что если A виновен, то D виновен. Но в силу высказывания (4), если A не виновен, то D виновен.

    Следовательно, независимо от того, виновен или не виновен A, подсудимый D должен быть виновен. Таким образом, виновность D не вызывает сомнений. Виновность всех остальных подсудимых остается под сомнением.

    81. Все подсудимые виновны. Действительно, в силу высказывания (3) если D не виновен, то A виновен. В силу высказывания (4) если D виновен, то A виновен. Следовательно, независимо от того, виновен или не виновен D, подсудимый A должен быть виновен. Тогда в силу высказывания (1) B также виновен. Из высказывания (2) мы заключаем, что либо C виновен, либо A не виновен. Поскольку уже известно, что A не невиновен, то C должен быть виновен. Наконец, из высказывания (3) следует, что если D не виновен, то C не виновен. Но мы уже доказали, что C не невиновен, поэтому D должен быть виновен. Итак, все подсудимые виновны.

    82. Вполне разумно: оно помогло подсудимому снять с себя все подозрения! Действительно, предположим, что подсудимый — рыцарь. Тогда его высказывание истинно, и виновный — лжец. Следовательно, подсудимый должен быть не виновен. С другой стороны, предположим, что подсудимый — лжец. Тогда его высказывание ложно, поэтому тот, кто совершил преступление, — рыцарь. Следовательно, и в этом случае подсудимый не виновен.

    83. Предположим, что обвинитель был бы лжецом. Тогда высказывания (1) и (2) были бы ложными. Но если высказывание (1) ложно, то X не виновен, а если ложно высказывание (2), то X и Y оба виновны. Итак, X должен был быть виновным и не виновным одновременно, что невозможно. Следовательно, обвинитель должен быть рыцарем. Значит, X в действительности виновен, а поскольку X и Y не могут быть виновными одновременно, то Y должен быть не виновен. Следовательно, X виновен, Y не виновен, и обвинитель — рыцарь.

    84. Если бы обвинитель был лжецом, то тогда

    1) X и Y оба были бы виновны;

    2) X был бы виновен.

    И в этом случае мы бы опять пришли к противоречию. Следовательно, обвинитель — рыцарь, X не виновен, а Y виновен.

    85. Предположим, что обвинитель был бы лжецом. Тогда высказывание (1) ложно, поэтому X виновен и Y не виновен. Следовательно, X виновен. Но высказывание (2) также ложно, поэтому X не виновен, и мы приходим к противоречию. Значит, в этой задаче, так же как и в предыдущей, обвинитель — рыцарь. Тогда в силу высказывания (2) X виновен. Из высказывания (1) (так как X не невиновен) мы заключаем, что Y виновен. Следовательно, в этом случае X и Y оба виновны.

    86. Подсудимый A не может быть рыцарем, так как если бы он был рыцарем, то был бы виновен и не лгал бы, утверждая, что не виновен. Подсудимый A не может быть и лжецом, так как если бы он был лжецом, то его высказывание было бы ложным, и он был бы виновен и, следовательно, был бы рыцарем. Значит, A — нормальный человек и не виновен. Поскольку A не виновен, то высказывание островитянина B истинно. Следовательно, B не лжец: он либо рыцарь, либо нормальный человек. Предположим, что B был бы нормальным человеком. Тогда высказывание островитянина C было бы ложным, и C был бы либо лжецом, либо нормальным человеком. Это означало бы, что среди трех островитян A, B, C нет ни одного рыцаря. Следовательно, вопреки условиям задачи ни один из них не виновен. Отсюда мы заключаем, что B не может быть нормальным человеком. Он должен быть рыцарем и, следовательно, виновен.

    87. Пока Крэг не прибыл. Обозначим подсудимого A, защитника B и обвинителя C. Прежде всего заметим, что A не может быть лжецом, так как если бы он был лжецом, то его высказывание было бы ложно и, следовательно, он был бы виновен. Мы пришли бы к противоречию с тем условием задачи, в котором говорится, что лжец не виновен. Значит, A — либо рыцарь, либо нормальный человек.

    Первый случай: A — рыцарь. Поскольку его высказывание истинно, то он не виновен. Тогда высказывание защитника B также истинно. Следовательно, B — либо рыцарь, либо нормальный человек. Но A — рыцарь; поэтому B — нормальный человек. Значит, C может быть только лжецом. А поскольку известно, что лжец не виновен, то B виновен.

    Второй случай: A — нормальный человек и не виновен. Высказывание защитника B истинно и в этом случае, поэтому B — рыцарь (поскольку A — нормальный человек). Так как A не виновен и C, будучи лжецом, не виновен, то виновен B.

    Третий случай: A — нормальный человек и виновен. В этом случае высказывание обвинителя истинно, поэтому обвинитель должен быть рыцарем (он не может быть нормальным человеком, так как «вакансия» нормального человека занята A). Следовательно, B может быть только лжецом.

    Итак, вот что мы выяснили, рассматривая три возможных случая:

    ПодсудимыйНе виновенНе виновенВиновен
    РыцарьНормальный человекНормальный человек
    ЗащитникВиновенВиновенНе виновен
    Нормальный человекРыцарьЛжец
    ОбвинительНе виновенНе виновенНе виновен
    ЛжецЛжецРыцарь

    Все три случая согласуются с заявлениями, сделанными тремя главными участниками судебного процесса до прибытия Крэга.

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

    Следовательно, обвинитель должен быть лжецом и на вопрос инспектора ответить «да». Такой ответ заставил инспектора Крэга (а вместе с ним и читателя) исключить из рассмотрения случай (3) и в дальнейшем рассматривать только случаи (1) и (2). Это означает, что в действительности виновен защитник, но относительно подсудимого и защитника не известно, кто из них рыцарь и кто нормальный человек. Затем Крэг спросил у подсудимого, виновен ли обвинитель и, получив ответ, смог до конца разобраться в ситуации. На вопрос Крэга рыцарь ответил бы «нет», в то время как нормальный человек ответил бы либо «да», либо «нет». Получив ответ «нет», Крэг не смог бы определить, был ли подсудимый рыцарем или нормальным человеком. Но поскольку для Крэга после ответа все стало ясно, то подсудимый должен был ответить «да». Следовательно, подсудимый — нормальный человек, а защитник — рыцарь (хотя он и виновен).

    VII. Как избежать оборотней и другие полезные практические советы

    Эта глава посвящена не столько занимательным аспектам логики, сколько ее практическим приложениям. Во многих житейских ситуациях полезный совет был бы как нельзя кстати. Учитывая это, я обстоятельно, шаг за шагом научу вас: A) как избежать оборотней в лесу; Б) как выбрать невесту; B) как защищать себя на суде; Г) как жениться на дочери короля.

    Разумеется, я не могу поручиться, что вам непременно представится случай убедиться, насколько полезны мои советы, но как мудро объяснил Алисе Белый Рыцарь, нужно быть готовым ко всему!

    А. Как вести себя в лесу, где водятся оборотни

    Предположим, что вы находитесь в лесу, каждый обитатель которого либо рыцарь, либо лжец. (Напомним, что рыцари всегда говорят правду, а лжецы всегда лгут.) Кроме того, в лесу водятся оборотни, имеющие на редкость неприятную привычку иногда превращаться в волков и пожирать людей. Оборотень может быть либо рыцарем, либо лжецом.

    88.

    Вы берете интервью у трех обитателей леса A, B, C. Известно, что ровно один из них оборотень. В беседе с вами они заявляют:

    A: C — оборотень.

    B: Я не оборотень.

    C: По крайней мере двое из нас лжецы.

    Наша задача состоит из двух частей.

    а) Кто оборотень: рыцарь или лжец?

    б) Если бы вам предстояло выбрать одного из трех обитателей леса в попутчики и вопрос о том, не окажется ли ваш избранник оборотнем, волновал бы вас сильнее, чем вопрос, не окажется ли он лжецом, то на ком из трех вы бы остановили свой выбор?

    89.

    Вы снова берете интервью у трех обитателей леса A, B и C. Известно, что каждый из них либо рыцарь, либо лжец и среди них имеется ровно один оборотень. В беседе с вами они заявляют:

    A: Я оборотень.

    B: Я оборотень.

    C: Не более чем один из нас рыцарь.

    Проведите полную классификацию A, B и C.

    90.

    В этой и в двух следующих задачах мы снова встречаем трех обитателей леса A, B, C, каждый из которых либо рыцарь, либо лжец. Заявления делают только двое из них: A и B. В их высказываниях слово «нас» относится ко всем трем героям (к A, B и C), а не только к A и B.

    Предположим, что A и B заявили следующее:

    A: По крайней мере один из нас рыцарь.

    B: По крайней мере один из нас лжец.

    Известно, что по крайней мере один из них оборотень и ни один не является одновременно рыцарем и оборотнем. Кто оборотень?

    91.

    На этот раз A и B сделали следующие заявления:

    A: По крайней мере один из нас лжец.

    B: C — рыцарь.

    Известно, что ровно один из них оборотень и что он рыцарь. Кто оборотень?

    92.

    В этой задаче A и B заявили следующее:

    A: По крайней мере один из нас лжец.

    B: C — оборотень.

    И в этой задаче известно, что ровно один из них оборотень и что он рыцарь. Кто оборотень?

    93.

    В этой задаче известно, что из трех обитателей леса ровно один оборотень, что он рыцарь, а два остальных — лжецы. Заявление сделал только B: «С — оборотень».

    Кто оборотень?

    94.

    В этой задаче, отличающейся изящной простотой, лишь два действующих лица: A и B. Лишь одно из них оборотень. A и B заявили следующее:

    A: Оборотень — рыцарь.

    B: Оборотень — лжец.

    Кого из них вы выбрали бы себе в попутчики?

    Б. Как выбрать или завоевать невесту

    95. Как ее убедить?

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

    96.

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

    97. Как выбрать невесту?

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

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

    98. Как выбрать невесту на острове Бахава?

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

    Предположим, что вам надлежит выбрать себе в невесты одну из трех сестер A, B, C. Известно, что одна из них рыцарь, одна — лжец и одна — нормальный человек. Известно также, что нормальная сестра (нечего сказать, в хорошенькое положение вы попали!) — оборотень, а две другие сестры не оборотни. Предположим, что вы не откажетесь взять в жены лжеца (или рыцаря), но жениться на оборотне даже для такого покладистого человека, как вы, — это уж слишком! Чтобы определить, кто из сестер кто, вам разрешается задать им один-единственный вопрос, на который можно ответить либо «да», либо «нет».

    Какой вопрос вы бы задали?

    В. Да, вы не виновны, но как это доказать?

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

    На острове совершено преступление. По совершенно непонятным соображениям подозрения пали на вас. Вы задержаны и предстали перед судом. На судебном заседании вам разрешают произнести одну-единственную фразу. Ваша задача — убедить присяжных в том, что вы не виновны.

    99.

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

    100.

    Предположим, что вы находитесь в такой же ситуации, как и в предыдущей задаче, с единственным отличием: теперь вы виновны. Какое заявление вы бы сделали на суде, чтобы убедить присяжных (людей вполне разумных и способных рассуждать логично) в своей невиновности?

    101.

    В этой задаче мы будем предполагать, что преступник — рыцарь. (Наше допущение внутренне непротиворечиво: чтобы совершить преступление, вовсе не обязательно лгать.) Предположим также, что вы рыцарь (о чем присяжным не известно), но не виновны в совершении преступления. Что бы вы заявили на суде?

    102.

    Эта задачка потруднее. Предположим, что преступник — не нормальный человек, то есть либо рыцарь, либо лжец. Вы не виновны. Какое высказывание, которое могло бы исходить и от рыцаря, и от лжеца, и от нормального человека, вы бы произнесли на суде, чтобы убедить присяжных в своей невиновности?

    103.

    А вот гораздо более простая задача. Известно, что преступник — не нормальный человек. Вы не преступник, но вполне нормальны. Какое высказывание, которое не могло бы исходить ни от виновного рыцаря, ни от лжеца, вы бы произнесли на суде, чтобы убедить присяжных в своей невиновности?

    104.

    Эта задача поинтереснее. Известно, что преступник — не нормальный человек. Предположим, что 1) вы не виновны и что 2) вы не лжец.

    Можете ли вы одним-единственным высказыванием убедить присяжных в этих двух фактах?

    105.

    Эта задача в известном смысле «двойственна» предыдущей. Известно, что преступник — не нормальный человек, вы не виновны, но не рыцарь. Предположим, что по каким-то известным вам соображениям вы не прочь приобрести репутацию лжеца или нормального человека, но с презрением относитесь к рыцарям. Могли бы вы одним-единственным высказыванием убедить присяжных в том, что вы не виновны, но не рыцарь?

    Г. Как жениться на дочери короля?

    Наконец-то мы добрались до темы, которую вы все ожидали с нетерпением!

    106.

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

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

    а) Сколько истинных высказываний понадобится вам, чтобы убедить короля в том, что его будущий зять — не нормальный человек?

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

    (Подчеркнем, что и в том и в другом случае речь идет о минимальном числе высказываний.)

    107.

    На другом острове рыцарей, лжецов и нормальных людей король придерживался противоположных взглядов и дал дочери иные отеческие наставления: «Дорогая, я не хочу, чтобы ты вышла замуж за какого-нибудь рыцаря или лжеца. Мне хотелось бы, чтобы твой муж был солидным нормальным человеком с хорошей репутацией. Тебе не следует выходить замуж за рыцаря, потому что все рыцари — ханжи. Тебе не следует выходить замуж и за лжеца, потому что все лжецы вероломны. Нет, что ни говори, а добропорядочный нормальный человек был бы тебе как раз под пару!»

    Предположим, что вы житель этого острова и нормальный человек. Ваша задача — убедить короля в том, что вы нормальный человек.

    а) Сколько истинных высказываний понадобится вам для этого?

    б) Сколько ложных высказываний понадобится вам для той же цели?

    (И в том и в другом случае речь идет о минимальном числе высказываний.)

    108.

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

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

    1) Оно должно убедить короля в том, что вы нормальный человек.

    2) Король не должен знать, истинно или ложно ваше высказывание.

    Как это сделать?

    Решения

    88. C — либо рыцарь, либо лжец. Предположим, что C — рыцарь. Тогда по крайней мере двое из трех островитян — лжецы. Следовательно, ими должны быть A и B. Отсюда мы заключаем, что B — оборотень (так как, по его словам, он не оборотень, а по доказанному B — лжец). Итак, если C — рыцарь, то оборотень — лжец (так как им должен быть B). Предположим теперь, что C — лжец. Тогда неверно, что по крайней мере два из трех островитян — лжецы, поэтому среди них есть самое большее один лжец. Этим лжецом должен быть C. Следовательно, и A, и B — рыцари. Так как A — рыцарь и утверждает, что C — оборотень, то C действительно оборотень. Таким образом, и в этом случае оборотень — лжец (а именно C).

    Следовательно, независимо от того, рыцарь ли C или лжец, оборотень — лжец (хотя в каждом случае речь идет о другом лице). Итак, ответ на первый вопрос гласит: оборотень — лжец. Кроме того, мы доказали, что оборотнем может быть либо B, либо C. Следовательно, если вы хотите выбрать себе попутчика, который заведомо не был бы оборотнем, то вам следует остановить свой выбор на A.

    89. Докажем сначала, что C — рыцарь. Предположим, что C был бы лжецом. Тогда его первое высказывание было бы ложным, поэтому по крайней мере двое из трех островитян были бы рыцарями. Это означало бы, что A и B оба должны быть рыцарями (так как по предположению C — лжец). Следовательно, их высказывания были бы истинными, и они оба вопреки условиям задачи были бы оборотнями. Итак, C — рыцарь. Тогда ровно двое из трех лжецы. Ими должны быть A и B. А поскольку их высказывания ложны, то ни A, ни B не оборотни. Следовательно, оборотнем должен быть C. Таким образом, C — рыцарь и оборотень, A и B — лжецы, и ни один из них не оборотень.

    90. Если бы B был лжецом, то по крайней мере один из трех островитян действительно был бы лжецом. Но тогда его высказывание было бы истинным, и мы пришли бы к противоречию, так как лжецы не говорят правды. Следовательно, B — рыцарь. Тогда высказывание A истинно, и A также должен быть рыцарем. Таким образом, и A, и B — рыцари. Так как B — рыцарь, то его высказывание истинно, поэтому один из трех — рыцарь. Им должен быть C. Следовательно, он и только он оборотень.

    91. A должен быть рыцарем по тем же самым причинам, по которым в предыдущей задаче был рыцарем B, а именно: если бы A был лжецом, то было бы истинным высказывание о том, что по крайней мере один из трех лжец, и мы пришли бы к противоречию (высказывание лжеца было бы истинным). Так как A — рыцарь, то его высказывание истинно, поэтому по крайней мере один из трех действительно лжец. Если бы B был рыцарем, то (в силу высказывания B) C также был бы рыцарем, и все трое оказались бы рыцарями. Но в истинном высказывании A утверждается, что по крайней мере один из трех — лжец. Следовательно, B должен быть лжецом. А так как B утверждает, что C — рыцарь, то C в действительности лжец. Таким образом, A — единственный рыцарь. Следовательно, A — оборотень.

    92. Из высказывания A следует, что A должен быть рыцарем и по крайней мере один из трех должен быть лжецом. Если бы B был рыцарем, то C был бы оборотнем и, значит, еще одним рыцарем, но тогда трое были бы рыцарями. Следовательно, B — Но тогда C не оборотень. Поскольку известно, что оборотень — рыцарь, то B также не может быть оборотнем. Значит, оборотень A.

    93. Если бы B был рыцарем, то C был бы оборотнем и рыцарем, то есть рыцарей было бы двое. Следовательно, B — лжец, а C не оборотень. Кроме того, B, будучи лжецом, не оборотень. Значит, оборотень A.

    94. Вам следовало бы выбрать A. Предположим, что B — рыцарь. Тогда его высказывание истинно. Следовательно, оборотень — лжец, поэтому B не может быть оборотнем. Предположим, что B — лжец. Тогда его высказывание ложно, а это означает, что оборотень в действительности рыцарь. Следовательно, и в этом случае B не может быть оборотнем.

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

    96. Вам нужно сказать: «Я не бедный рыцарь». Услыхав такое признание, ваша возлюбленная стала бы рассуждать следующим образом. Если бы вы были лжецом, то вы действительно не были бы бедным рыцарем. Следовательно, ваше высказывание было бы истинным. Это означало бы, что вы, будучи лжецом, высказали истинное утверждение. Возникшее противоречие показывает, что вы рыцарь. Но тогда ваше высказывание истинно, и вы не бедный рыцарь. А поскольку вы рыцарь, то вы должны быть богатым рыцарем.

    97. Эта задача имеет несколько решений. Простейшее из них состоит в следующем. Вы спрашиваете у брата вашей избранницы: «Вы и Элизабет однотипны?» Если он ответит «да», то Элизабет должна быть рыцарем независимо от того, будет ли ее брат рыцарем или лжецом. Если же он ответит «нет», то Элизабет должна быть лжецом независимо от того, кто ее брат. Докажем это.

    Предположим, что на ваш вопрос брат Элизабет ответил «да». Мы знаем, что ее брат — либо рыцарь, либо лжец. Если он рыцарь, то его высказывание, утверждающее, что Элизабет рыцарь, истинно. Следовательно, Элизабет также должна быть рыцарем. Если брат Элизабет — лжец, то его высказывание ложно. Следовательно, он и Элизабет разнотипны, а это означает, что Элизабет и в этом случае должна быть рыцарем. Итак, если Артур отвечает вам «да», то Элизабет рыцарь.

    Предположим, что Артур отвечает «нет». Если он рыцарь, то говорит правду. Следовательно, он и Элизабет разнотипны, поэтому Элизабет должна быть лжецом. Если же он лжец, то его высказывание ложно. Тогда Элизабет в действительности однотипна с ним, а следовательно, и в этом случае должна быть лжецом. Итак, если Артур отвечает вам «нет», то Элизабет — лжец.

    98. Эта задача также допускает несколько решений. Простейшее и наиболее изящное из известных мне решений состоит в том, чтобы, выбрав одну из сестер (например, A), спросить у нее: «В по рангу ниже C?»[1]

    Предположим, что A отвечает «да». Тогда вы выбираете себе в невесты B, рассуждая при этом следующим образом. Предположим, что A — рыцарь. Тогда B по рангу действительно ниже C. Следовательно, B — лжец, а сестра C — нормальный человек. В этом случае B не оборотень (так как оборотень C). Предположим, что A — лжец. Тогда B в действительности по рангу выше C. Это означает, что B — рыцарь, а C — нормальный человек. Следовательно, и в этом случае B — не оборотень. Если A — нормальный человек, То B заведомо не оборотень, так как оборотень A. Итак, если A отвечает на ваш вопрос «да», то независимо от того, будет ли она рыцарем или лжецом, вам следует выбрать себе в невесты сестру B.

    Если бы A ответила «нет», то ее ответ был бы эквивалентен утверждению, что C по рангу ниже B. В этом случае вам следовало бы выбрать себе в невесты сестру C.

    99. Все подозрения с вас могло бы снять одно-единственное высказывание: «Я виновен». Вы, будучи лжецом, могли бы сделать такое заявление на суде, поскольку оно ложно, и оно сняло бы с вас подозрения, так как присяжные, искушенные в логике, рассуждали бы следующим образом. Если бы вы действительно были виновны, то вы были бы лжецом (так как известно, что преступник — лжец). Но тогда вы, будучи лжецом, высказали бы истинное утверждение. Таким образом, предположение о том, что вы виновны, приводит к противоречию. Следовательно, вы не виновны.

    Приведенное нами рассуждение присяжных может служить типичным примером рассуждения от противного (ложность утверждения доказывается тем, что высказанный тезис доводится до нелепости, отсюда латинское название этого способа доказательства reductio ad absurdum — приведение к нелепости). Присяжные могли бы прийти к тому же выводу и более прямым путем, рассуждая следующим образом. Вы либо лжец, либо не лжец (напомним, что присяжным не известно, лжец вы или не лжец). Если вы лжец, то ваше высказывание ложно. Следовательно, вы не виновны. Если вы не лжец, то вы заведомо не виновны, так как преступник — лжец.

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

    101. Эта задача в известном смысле «двойственна» задаче 99 (и даже несколько проще той). Вам необходимо лишь заявить на суде: «Я не виновен». Услышав ваше заявление, присяжные стали бы рассуждать следующим образом. Если вы рыцарь (о чем они не знают), то ваше высказывание истинно. Следовательно, вы не виновны. Если же вы не рыцарь, то вы опять-таки не виновны, так как по имеющимся у присяжных сведениям преступник — рыцарь.

    102. Одно из решений состоит в том, что вы должны выступить на суде с заявлением: «Либо я рыцарь и не виновен, либо я лжец и виновен». Сформулируем ваше высказывание несколько проще: «Я либо невиновный рыцарь, либо виновный лжец». Выслушав подобное заявление, присяжные принялись бы рассуждать следующим образом.

    Первый шаг. Предположим, что он рыцарь. Тогда его высказывание истинно. Следовательно, он либо невиновный рыцарь, либо виновный лжец. Быть виновным рыцарем он не может, так как он не лжец. Значит, он невиновный рыцарь. Следовательно, он не виновен.

    Второй шаг. Предположим, что он лжец. Тогда его заявление ложно. Следовательно, он ни невиновный рыцарь, ни виновный лжец. В частности, он не может быть виновным лжецом. Но он лжец. Следовательно, он невиновный лжец и, значит, не виновен.

    Третий шаг. Если он нормальный человек, то он заведомо не виновен, так как преступник — не нормальный человек.

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

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

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

    Второй шаг. Нам известно, что он либо рыцарь, лицо нормальный человек. Если он нормальный человек, то он не виновен. Предположим, что он рыцарь. Тогда его высказывание истинно. Следовательно, он не может быть виновным рыцарем. Но он рыцарь. Значит, он должен быть невиновным рыцарем.

    Следует заметить, что вы могли бы сделать на суде и другие (по форме, но эквивалентные по существу) заявления, например «Либо я не рыцарь, либо я не виновен», «Если я рыцарь, то я не виновен».

    105. Вы могли бы сказать: «Я виновный лжец». Выслушав ваше заявление, присяжные стали бы рассуждать следующим образом: «Ясно, что он не рыцарь. Значит, он либо нормальный человек, либо лжец. Если он нормальный человек, то он не виновен. Предположим, что он лжец. Тогда его высказывание ложно, и он может быть виновным лжецом. Следовательно, он невиновный лжец».

    106. Любого числа высказываний недостаточно, чтобы убедить короля в вашей ненормальности. Действительно, любые ваши высказывания, сколько бы их ни было, могли бы принадлежать нормальному человеку, так как нормальный человек высказывает и истинные, и ложные утверждения. Следовательно, вам не удастся жениться на дочери этого короля! Жаль! Придется вам попытать счастья на следующем острове.

    107. И в том и в другом случае достаточно одного высказывания. Короля могло бы убедить истинное высказывание «Я не рыцарь» (такое высказывание не могло бы принадлежать ни рыцарю, ни лжецу) и ложное высказывание «Я лжец».

    108. В связи с этой задачей я хотел бы заметить, что если вы выскажете первое утверждение, то король узнает, что хотя вы и нормальный человек, но только что вы высказали истинное утверждение. Если вы выскажете второе утверждение, то король узнает, что хотя вы и нормальный человек, но только что вы высказали ложное утверждение.

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

    Такое утверждение не могло бы принадлежать лжецу (потому что утверждение, в котором о лжеце говорится, что он либо нормальный человек, у которого 11 долларов в кармане, либо лжец, истинно). Такое утверждение не могло бы принадлежать и рыцарю (рыцарь не может быть ни нормальным человеком с 11 долларами в кармане, ни лжецом). Следовательно, король узнает, что вы нормальный человек, но не сможет узнать, истинно выше высказывание или ложно, пока ему не станет известно, сколько денег у вас в кармане.

    VIII. Логические задачи

    Преамбула

    Многие из задач в этой главе содержат так называемые условные высказывания, то есть сложные высказывания вида «Если 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 иногда формулируют так: «Истинное высказывание следует из чего угодно».

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

    Если заданы два высказывания P, Q, то их значения истинности могут распределяться четырьмя возможными способами: 1) P и Q истинны; 2) P истинно, Q ложно; 3) P ложно, Q истинно; 4) P и Q ложны.

    В каждом конкретном случае мы должны иметь дело с одним и только с одним из этих четырех вариантов. Рассмотрим теперь высказывание P ? Q. Можно ли определить, в каких случаях оно истинно и в каких — ложно? Можно, если воспользоваться следующими соображениями.

    Случай 1: P и Q истинны. Так как Q истинно, то P ? Q истинно (факт 2).

    Случай 2: P истинно, Q ложно. Тогда P ? Q ложно (факт 3).

    Случай 3: P ложно, Q истинно. Тогда P ? Q истинно (факт 1 или факт 2).

    Случай 4: P ложно, Q ложно. Тогда P ? Q истинно (факт 1).

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

    (В «нормальной» таблице истинности вместо букв И и Л используют сокращения 0 — ложно и 1 — истинно — SStas)

    Три буквы И, И, И (истинно, истинно, истинно) в первой строке означают, что когда P истинно и Q истинно, высказывание P ? Q истинно. Буквы И, Л, Л во второй строке означают, что если P истинно, Q ложно, то P ? Q истинно, а буквы Л, Л, И в четвертой строке — что если P ложно и Q ложно, то P ? Q истинно.

    Заметим, что P ? Q истинно в трех из четырех случаев и ложно только во втором случае.

    Еще одно свойство импликации. Импликация обладает еще одним важным свойством. Чтобы доказать истинность высказывания «Если P, то Q», достаточно, приняв высказывание P за посылку, убедиться в том, что из него следует высказывание Q. Иначе говоря, если из посылки P следует заключение Q, то высказывание «Если, то Q» истинно.

    В дальнейшем мы будем ссылаться на это свойство импликации, как на факт 4.

    PQP?Q
    1ИИИ
    2ИЛЛ
    3ЛИИ
    4ЛЛИ

    А. Применение импликации к рыцарям и лжецам

    109. О каждом из двух людей A и B известно, что он либо рыцарь, либо лжец. Предположим, что A высказывает следующее утверждение: «Если я рыцарь, то B — рыцарь».

    Можно ли определить, кто такие A и B: кто из них рыцарь и кто лжец?

    110. У A спрашивают: «Вы рыцарь?» Тот отвечает: «Если я рыцарь, то съем собственную шляпу».

    Докажите, что A придется съесть свою шляпу.

    111. A утверждает: «Если я рыцарь, то дважды два — четыре». Кто такой A: рыцарь или лжец?

    112. A заявляет: «Если я рыцарь, то дважды два — пять». Кто, по-вашему, A: рыцарь или лжец?

    113. Относительно A и B известно, что каждый из них либо рыцарь, либо лжец. А заявляет: «Если B — рыцарь, то я лжец». Кто A и кто B?

    114. Двух человек X и Y судят за участие в ограблении, A и B выступают на суде в качестве свидетелей. Относительно A и B известно, что каждый из них либо рыцарь, либо лжец. В ходе судебного заседания свидетели выступили со следующими заявлениями:

    A: Если X виновен, то Y виновен.

    B: Либо X не виновен, либо Y виновен.

    Можно ли утверждать, что A и B однотипны? (Напомним, что двух обитателей острова рыцарей и лжецов мы называем однотипными, если они оба рыцари либо оба лжецы.)

    115.

    У трех обитателей A, B и C острова рыцарей и лжецов взяли интервью, в ходе которого они высказали следующие утверждения:

    A: B — рыцарь.

    B: Если A — рыцарь, то C — рыцарь.

    Можно ли определить, кто из A, B и C рыцарь и кто лжец?

    Б. Любовь и логика

    116.

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

    1) Я люблю Бетти или я люблю Джейн.

    2) Если я люблю Бетти, то я люблю Джейн.

    Следует ли из них непременно, что я люблю Бетти? Следует ли из них непременно, что я люблю Джейн?

    117.

    Предположим, что у меня спрашивают: «Верно ли, что если вы любите Бетти, то вы также любите Джейн?» Я отвечаю: «Если это верно, то я люблю Бетти».

    Следует ли отсюда, что я люблю Бетти? Следует ли отсюда, что я люблю Джейн?

    118.

    На этот раз перед нами две девушки: Ева и Маргарет. У меня спрашивают: «Правда ли, что если вы любите Еву, то вы также любите Маргарет?» Я отвечаю: «Если это правда, то я люблю Еву, и если я люблю Еву, то это правда».

    О какой девушке можно с уверенностью сказать, что я ее люблю?

    119.

    На этот раз перед нами предстанут три девушки: Сью, Марция и Диана. Предположим, что известно следующее.

    1) Я люблю по крайней мере одну из этих трех девушек.

    2) Если я люблю Сью, а не Диану, то я также люблю Марцию.

    3) Я либо люблю и Диану и Марцию, либо не люблю ни одну из них.

    4) Если я люблю Диану, то я также люблю Сью.

    Кого из девушек я люблю?

    Не кажется ли вам, что логики — народ глуповатый? Уж кому, как не мне, знать, люблю я или не люблю Бетти, Джейн, Еву, Маргарет, Сью, Марцию, Диану и всех прочих. Разве для этого непременно нужно сесть за стол и что-то прикинуть на бумаге? Не сочли бы вы странным, если бы жена, спросив у своего высокоученого мужа: «Милый, ты меня любишь?» — услышала бы в ответ: «Минуточку, дорогая», после чего муж уселся бы за письменный стол и после напряженных вычислений через час сказал бы: «Ты знаешь, милая, выходит, что я тебя люблю»?

    В этой связи мне вспоминается история, якобы приключившаяся с Лейбницем. Однажды великий философ стал размышлять, не жениться ли ему на некоей даме. Взяв лист бумаги, он разделил его на две части и на одной подробно перечислил все достоинства дамы, а на другой — ее недостатки. Недостатков оказалось больше, и Лейбниц решил воздержаться от женитьбы.

    120.

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

    1) Я люблю Линду.

    2) Если я люблю Линду, то я люблю Кати.

    Кто я: рыцарь или лжец?

    121. Новый вариант старинной пословицы.

    Старинная английская пословица гласит: «Под приглядом котел не закипит». Как я установил, это утверждение ложно. Однажды мне довелось приглядывать за котлом, стоявшим на раскаленной плите, и котел закипел.

    А что если мы исправим старинную пословицу, например, так: «Под приглядом котел не закипит, если за ним не приглядывать»?

    Как, по-вашему, истинно или ложно такое утверждение?

    В. Есть ли сокровища на этом острове?

    Задачи двух предыдущих групп были связаны в основном с условными высказываниями, то есть с высказываниями вида «Если P истинно, то Q. Задачи этой группы связаны главным образом с высказываниями вида „P истинно в том и только в том случае, если Q истинно“. Оно означает, что если P истинно, то Q истинно, и если Q истинно, то P истинно. Иначе говоря, если одно из двух высказываний P, Q истинно, то другое также истинно. Оно означает также, что высказывания P и Q либо оба истинны, либо оба ложны. Сложное высказывание „P в том и только в том случае, если Q“ принято обозначать P <? Q».

    Таблица истинности для P <? Q имеет следующий вид:

    PQP <? Q
    1ИИИ
    2ИЛЛ
    3ЛИЛ
    4ЛЛИ

    Высказывание «P в том и только в том случае, если Q» иногда читают как «P эквивалентно Q» или как «P и Q эквивалентны». Отметим два следующих факта:

    Факт 1. Любое высказывание, эквивалентное истинному высказыванию, истинно.

    Факт 2. Любое высказывание, эквивалентное ложному высказыванию, ложно.

    122. Есть ли сокровище на этом острове?

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

    Наша задача подразделяется на две части:

    а) Можно ли определить, кто такой A — рыцарь или лжец?

    б) Можно ли определить, есть ли сокровища на острове?

    123.

    В предыдущей задаче коренной житель A острова рыцарей и лжецов добровольно снабдил вас информацией. Предположим, что теперь вы спросили у A: «Эквивалентно ли высказывание о том, что вы рыцарь, высказыванию о том, что на этом острове спрятаны сокровища?» Если бы A ответил «да», то задача свелась бы к предыдущей. Предположим, что A ответил «нет». Могли бы вы в таком случае сказать, спрятаны ли сокровища на острове?

    124. Как я разбогател.

    К сожалению, история, которую я хочу вам поведать, не соответствует истине. Но поскольку она интересна, то мне все равно хочется рассказать ее вам.

    В океане (в каком именно — не помню) неподалеку друг от друга расположены три острова: A, B и C. Мне удалось разузнать, что по крайней мере на одном из них закопаны сокровища, но на каком именно, осталось невыясненным. Острова B и C были необитаемы, население острова A составляли рыцари и лжецы. Не исключено, что среди местных жителей встречались и нормальные люди, но сказать с уверенностью, был ли на острове хоть один нормальный человек, я не берусь.

    Мне посчастливилось раздобыть карту островов, составленную знаменитым капитаном Марстоном — пиратом, славившимся своими причудами (он-то и запрятал сокровища). К карте была приложена записка, разумеется зашифрованная. Когда я ее расшифровал, то выяснилось, что она состоит лишь из двух предложений. Вот что в ней значилось:

    (1) На острове A нет сокровищ.

    (2) Если среди жителей острова A встречаются нормальные люди, то сокровища закопаны на двух островах.

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

    было.

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

    Какой вопрос следовало мне задать островитянину?

    125.

    Случилось мне как-то раз побывать на другом острове рыцарей, лжецов и нормальных людей. По слухам, на том острове были закопаны несметные сокровища, и я хотел разузнать, как обстоит дело в действительности. Король острова (рыцарь) любезно представил меня трем своим подданным A, B и C и сообщил мне, что не более чем один из них нормальный человек. Любому из них разрешалось задать два вопроса, на которые можно ответить «да» или «нет».

    Можно ли при помощи двух таких вопросов выяснить, запрятаны ли на острове сокровища?

    126. Умеете ли вы рассуждать логически?

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

    Вы выбираете наугад один из островов и отправляетесь туда. Все обитатели острова знают, сколько рыцарей и сколько лжецов живет среди них. Вы беседуете с тремя обитателями A, B и C острова и получаете от них следующие заявления:

    A: Число лжецов на этом острове четно.

    B: На нашем острове сейчас находится нечетное число людей.

    C: Я рыцарь в том и только в том случае, если A и B однотипны.

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

    Решения

    109–112. Эти четыре задачи основаны на использовании одной и той же идеи, которая сводится к следующему. Пусть P — любое высказывание, а A — любой обитатель острова рыцарей и лжецов. Тогда если A высказывает утверждение: «Если я рыцарь, то P», то он должен быть рыцарем, а высказывание P должно быть истинным! B это трудно поверить, и мы докажем наше удивительное утверждение двумя способами.

    1. Предположим, что A — рыцарь. Тогда высказывание «Если A — рыцарь, то P» должно быть истинным (так как рыцари всегда говорят правду). Следовательно, A — рыцарь, и верно, что если A — рыцарь, то P. Из этих двух фактов мы заключаем, что P должно быть истинно. Таким образом, приняв в качестве посылок предположение о том, что A — рыцарь, мы получаем в качестве заключения высказывание P. Тем самым (с учетом факта 4 об импликации) мы доказали, что если A — рыцарь, то P. Но именно это и утверждал A! Следовательно, A должен быть рыцарем. А так как мы доказали, что если A — рыцарь, то P, то заключаем, что P должно быть истинно.

    2. Другой способ убедиться в истинности нашего утверждения состоит в следующем. Напомним, что из ложного высказывания следует любое высказывание. Поэтому если A не рыцарь, то высказывание «Если A — рыцарь, то P» автоматически становится истинным и, следовательно, не могло бы принадлежать лжецу. Значит, если кто-нибудь, о ком известно, что он может быть либо рыцарем, либо лжецом, высказывает такое утверждение, то он может быть только рыцарем и высказывание P должно быть истинным.

    Применим этот принцип к нашим задачам. Начнем с задачи 109. Если в качестве P принято высказывание «В — рыцарь», то ясно, что A должен быть рыцарем, а его высказывание истинным. Следовательно, B — рыцарь, и мы получаем ответ: A и B — оба рыцари.

    В задаче 110 в качестве P выберем высказывание «А придется съесть свою шляпу». Мы видим, что A должен быть рыцарем и что ему придется съесть свою шляпу. (Тем самым доказано, что хотя рыцари обладают несомненными достоинствами и добродетелями, они тем не менее могут быть глуповатыми.)

    Ответ к задаче 111: A — рыцарь.

    Правильное заключение, к которому можно прийти в задаче 112: автор опять мистифицирует читателей! Условия задачи противоречивы: высказывание «Если я рыцарь, то дважды два — пять» не может принадлежать ни рыцарю, ни лжецу.

    113. A должен быть рыцарем, а B — лжецом.

    Докажем прежде всего, что только рыцарь может высказать утверждение вида «Если P, то я лжец». Напомним, что истинное высказывание следует из любого высказывания. Значит, если высказывание «Я лжец» истинно, то полное высказывание «Если P, то я лжец». также истинно. Но если я лжец, то никакое истинное высказывание не могло бы принадлежать мне. Следовательно, высказывая утверждение «Если P, то я лжец», я должен быть рыцарем.

    Итак, A должен быть рыцарем. Следовательно, верно также, что если B — рыцарь, то A — лжец (потому что A настаивает на истинности этого высказывания). Тогда B не может быть рыцарем, так как в противном случае A должен бы быть лжецом, а он им не является[2]. Следовательно, B — лжец.

    114. A в действительности утверждает: «Не верно, что X виновен, а Y не виновен». Но это то же самое, как если бы A утверждал: «Либо X не виновен, либо Y виновен». Следовательно, A и B в действительности утверждают одно и то же, но выражают свою мысль по-разному. Таким образом, утверждения, приведенные в задаче, либо оба истинны, либо оба ложны, поэтому A и B должны быть однотипными.

    115. Предположим, что A — рыцарь. Тогда B также рыцарь (по утверждению A). Следовательно, высказывание B «Если A — рыцарь, то C — рыцарь» истинно. Но (по предположению) A — рыцарь. Следовательно, C — рыцарь (в предположении, что A — рыцарь).

    Итак, мы доказали, что если A — рыцарь, то C — рыцарь[3]. Именно это и утверждал B. Следовательно, B — рыцарь. Значит, высказывание A о том, что B — рыцарь, истинно, поэтому A также рыцарь. Итак, мы доказали, что если A — рыцарь, то C — рыцарь. Следовательно, C также рыцарь. Значит, все трое — рыцари.

    116. Из приведенных в задаче высказываний не следует, что я люблю Бетти, но следует, что я люблю Джейн. В том, что я люблю Джейн, можно убедиться при помощи, например, таких рассуждений.

    Я либо люблю Бетти, либо не люблю ее. Если я не люблю Бетти, то по условию (1) я должен любить Джейн (так как в задаче сказано, что я люблю по крайней мере одну из девушек). С другой стороны, если я люблю Бетти, то по условию (2) должен любить и Джейн. Значит, независимо от того, люблю ли я или не люблю Бетти, мы приходим к выводу, что я люблю Джейн.

    Замечу, кстати, что тем из читательниц, кого зовут Бетти, огорчаться было бы преждевременно: хотя из условий задачи не следует, что я люблю Бетти, из них не следует, что я не люблю Бетти. Вполне возможно, что я люблю и ее, причем даже больше, чем Джейн.

    117. На этот раз из условий задачи не следует, что я люблю Джейн, но следует, что я люблю Бетти. Действительно, предположим, что я не люблю Бетти. Тогда утверждение «Если я люблю Бетти, то я люблю Джейн» должно быть истинным (так как из ложного утверждения следует любое утверждение). Но по условиям задачи если это утверждение истинно, то я должен любить Бетти. Значит, если я не люблю Бетти, то из этого можно заключить, что я люблю ее, и мы приходим к противоречию. Единственный способ избежать противоречия состоит в признании того, что я люблю Бетти.

    Условия задачи не позволяют определить, люблю ли я или не люблю Джейн.

    118. Из условий задачи следует, что я должен любить и Еву, и Маргарет. Пусть P — высказывание «Если я люблю Еву, то я люблю и Маргарет». Нам известно:

    1) Если P истинно, то я люблю Еву.

    2) Если я люблю Еву, то P истинно. Решая предыдущую задачу, мы убедились: из (1) следует, что я люблю Еву. Значит, я люблю Еву. Тогда по условию (2) должно быть истинно высказывание P, то есть верно, что если я люблю Еву, то люблю и Маргарет. Но я люблю Еву. Следовательно, я люблю и Маргарет.

    119. Я должен любить всех трех девушек. Доказать это можно разными способами. Приведем один из них.

    По условию (3) я люблю и Диану, и Марцию, либо не люблю ни одну из них. Предположим, что я не люблю ни Диану, ни Марцию. Тогда по условию (1) я должен любить Сью. Значит, я люблю Сью, но не люблю Диану и не люблю Марцию, что противоречит высказыванию (2). Следовательно, не верно, что я не люблю ни Диану, ни Марцию. Значит, я люблю и Диану, и Марцию. Так как я люблю Диану, то по условию (4) я люблю и Сью. Итак, доказано, что я люблю всех трех девушек.

    120. Я должен быть рыцарем. Если бы я был лжецом, то утверждения (1) и (2) были бы ложными. Предположим, что утверждение (2) ложно. Тогда я любил бы Линду, но я не любил бы Кати. Значит, Линду я любил бы, а это означает, что утверждение (1) было бы истинным. Поэтому невозможно, чтобы оба утверждения (1) и (2) были ложными. Следовательно, я не могу быть лжецом.

    121. Сказать: «P ложно, если не Q» — то же самое, что сказать: «Если P, то Q». (Например, высказывание «Я не пойду в кино, если вы не пойдете со мной» эквивалентно высказыванию «Если я пойду в кино, то вы пойдете со мной».) Следовательно, «исправленный» вариант пословицы «Под приглядом котел не закипит, если за ним не приглядывать» эквивалентно утверждению «Если котел под приглядом закипит, то за ним приглядывают», а оно заведомо истинно, так как за котлом под приглядом, кипит он или не кипит, несомненно кто-то приглядывает.

    122. Определить, кто такой A — рыцарь или лжец, невозможно. Однако сокровища должны быть на острове.

    Для решения этой и других задач серии «Есть ли сокровища на этом острове?» установим раз и навсегда следующий основной принцип: если говорящий (либо рыцарь, либо лжец) высказывает утверждение «Я рыцарь в том и только в том случае, если P», то P должно быть истинным (независимо от того, кто такой говорящий — рыцарь или лжец).

    Пусть K — утверждение о том, что говорящий — рыцарь. По словам говорящего, K эквивалентно P. Предположим, что говорящий действительно рыцарь. Тогда K действительно эквивалентно P, и K — истинно. Следовательно, P эквивалентно истинному утверждению. Значит, P должно быть истинно. С другой стороны, предположим, что говорящий — лжец. Тогда его утверждение ложно, поэтому P не эквивалентно K. Кроме того, так как он лжец, то утверждение K ложно. Поскольку P не эквивалентно ложному утверждению K, то P должно быть истинно (если бы P было эквивалентно K, то P было бы ложно). Итак, независимо от того, кто такой говорящий — рыцарь или лжец, P должно быть истинно.

    Интересно сравнить новый принцип с принципом, установленным в решениях задач 109–112: если рыцарь или лжец высказывает утверждение «Если я рыцарь, то P», то мы можем заключить, что он рыцарь и что P истинно. Но если рыцарь или лжец высказывает утверждение «Я рыцарь в том и только в том случае, если P», то мы можем заключить, что P истинно, но у нас нет способа определить, рыцарь или лжец тот, кто высказал утверждение.

    123. Да, могли бы: никаких сокровищ на острове нет.

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

    С другой стороны, предположим, что A — лжец. Тогда G в действительности эквивалентно K (поскольку лжец сказал, что G и K не эквивалентны). Но K — ложное утверждение (поскольку его высказал лжец). Следовательно, G должно быть ложным, как утверждение, эквивалентное ложному утверждению K. Таким образом, независимо от того, кто такой A — рыцарь или лжец, его отрицательный ответ на ваш вопрос означает, что утверждение G ложно. Следовательно, никаких сокровищ на острове нет.

    Примечание. Из двух последних задач (122 и 123) следует один весьма важный принцип, хорошо известный знатокам и специалистам по «рыцарям и лжецам». Предположим, что P — любое высказывание, истинность или ложность которого вам требуется установить, и кому-то (он может быть либо рыцарем, либо лжецом) известно подлинное значение истинности высказывания P. Тогда, задав носителю знаний один-единственный вопрос, вы можете установить, истинно P или ложно. Достаточно спросить: «Эквивалентно ли высказывание „вы рыцарь“ высказыванию „P истинно“?» Получив утвердительный ответ, вы поймете, что P истинно. Получив отрицательный ответ, вы будете знать, что P ложно.

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

    124. Нам заранее известно, что на острове A нет никаких сокровищ, что сокровища зарыты либо на острове B, либо на острове C и что если на острове A есть хоть один нормальный житель, то сокровища зарыты и на острове B, и на острове C.

    У выбранного наугад островитянина я спросил: «Эквивалентно ли утверждение, что вы рыцарь, утверждению, что сокровища зарыты на острове B?»

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

    Предположим, что островитянин на мой вопрос ответил отрицательно. Если он рыцарь или лжец, то (в силу фундаментального принципа) сокровищ на острове B нет. Значит, сокровища должны быть на острове C. С другой стороны, если он нормальный человек, то сокровища зарыты и на острове B, и на острове C. Следовательно, на острове C зарыты сокровища. Таким образом, отрицательный ответ на мой вопрос означает, что на острове C есть сокровища.

    125. Чтобы решить эту задачу, достаточно дважды воспользоваться фундаментальным принципом (объяснение его см. в решении задачи 123).

    Один вопрос понадобится вам, чтобы установить, кто из трех островитян заведомо не нормальный человек. Обращаясь к A, вы спрашиваете его: «Эквивалентно ли утверждение, что вы рыцарь, утверждению, что B — нормальный человек?» Предположим, что A отвечает утвердительно. Если A либо рыцарь, либо лжец, то (в силу фундаментального принципа) B должен быть нормальным человеком. Значит, C — не нормальный человек. Если же A не рыцарь и не лжец, то он должен быть нормальным человеком, и тогда C снова не может быть нормальным человеком. Таким образом, утвердительный ответ на ваш вопрос означает, что C — не нормальный человек.

    Предположим, что A отвечает отрицательно. Если он рыцарь или лжец, то B — не нормальный человек (в силу фундаментального принципа). Если же A — не рыцарь и не лжец, то B, как и в предыдущем случае, не может быть нормальным человеком, так как A — нормальный человек. Таким образом, отрицательный ответ на ваш вопрос означает, что B — не нормальный человек.

    Итак, получив от A утвердительный ответ, вы обращаетесь со вторым вопросом к C. Если же на ваш первый вопрос A отвечает отрицательно, то со вторым вопросом вам надлежит обратиться к B. И в том и в другом случае вы знаете, что обращаетесь со вторым вопросом либо к рыцарю, либо к лжецу. Вы спрашиваете (тот же вопрос был задан вами островитянину A в задаче 122): «Эквивалентно ли утверждение, что вы рыцарь, утверждению, что на этом острове зарыты сокровища?» Утвердительный ответ означает, что на острове есть сокровища, отрицательный — что их нет.

    126. Не будь у вас «на вооружении» фундаментального принципа, решить эту задачу было бы довольно трудно. Но фундаментальный принцип позволяет без труда «расправиться» с задачей. Я предполагаю, что вам известны следующие свойства целых чисел: сумма двух четных чисел четна, сумма двух нечетных чисел также четна. Следовательно, вычитая четное число из четного числа или нечетное число из нечетного числа, вы получаете четноечисло. (Например, 12-8=4, 13-7=6.)

    Из высказанного C утверждения (в силу фундаментального принципа) следует, то A и B однотипны, то есть они либо оба рыцари, либо оба лжецы. Следовательно, их высказывания либо оба истинны, либо оба ложны. Предположим, что оба высказывания истинны. Тогда по утверждению A на острове имеется четное число лжецов. По утверждению B на острове (вместе с вами) находится нечетное число людей. Но вы не рыцарь и не лжец, и, кроме вас, других гостей на острове нет. Поэтому, вычитая четное число лжецов из четного числа рыцарей и лжецов, вы получаете четное число рыцарей. Следовательно, в данном случае сокровища зарыты где-то на острове. Предположим теперь, что оба утверждения ложны. Это означает, что на острове находится нечетное число лжецов и нечетное число рыцарей и лжецов (так как всего на острове вместе с вами находится четное число людей). Следовательно, число рыцарей снова должно быть четным, и сокровище, как и в предыдущем случае, должно быть зарыто где-то на острове.

    IX. Беллини или Челлини?

    В гл. 5 мы рассказали о шкатулках Порции. История эта имеет продолжение. Напомним, что Беллини всегда гравировал на крышках шкатулок своей работы истинные надписи, а Челлини украшал шкатулки своей работы ложными высказываниями. У Беллини и Челлини были сыновья, которые переняли у отцов секреты мастерства и также стали делать изящные шкатулки. Сыновья пошли по стопам отцов: наследники Беллини гравировали на крышках своих шкатулок только истинные высказывания, а сыновья Челлини — только ложные.

    Других мастеров по изготовлению шкатулок, кроме Беллини и Челлини, в Италии эпохи Возрождения не было: каждая шкатулка была работы либо Беллини, либо Челлини, либо сына Беллини, либо сына Челлини.

    У знатоков и любителей старины шкатулки, изготовленные Беллини и Челлини (особенно отцами), ценятся необычайно высоко.

    А. Чьей работы шкатулка?

    127.

    Однажды мне в руки попала шкатулка, на крышке которой выгравирована надпись:

    Эта шкатулка не была сделана ни одним из сыновей Беллини

    Чьей работы эта шкатулка: Беллини, Челлини или кого-нибудь из их сыновей?

    128.

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

    Какую надпись мог выгравировать знаменитый мастер на крышке шкатулки?

    129.

    Особенно высоко ценятся шкатулки с надписями, по которым можно установить, что шкатулки изготовлены Беллини или Челлини, но нельзя определить, кем именно. Однажды мне посчастливилось держать в руках такую шкатулку. Какая надпись могла украшать ее крышку?

    130. От великого до смешного.

    Предположим, что вам удалось найти шкатулку со следующей надписью на крышке:

    Эту шкатулку сделал я

    К какому заключению вы бы пришли на основании такой надписи?

    131. Флорентийский патриций.

    Один флорентийский патриций любил предаваться весьма изысканным и дорогостоящим забавам. Кульминацией званых вечеров была какая-нибудь игра, победителю которой вручался драгоценный приз. Прослышав про шкатулки Порции, патриций решил придумать очередную игру в том же духе. Он приказал изготовить три шкатулки — золотую, серебряную и свинцовую — и в одну из них положил драгоценный камень, который должен был стать наградой победителю. Своим гостям патриций объяснил, что каждая шкатулка изготовлена либо Беллини, либо Челлини (а не сыновьями знаменитых мастеров). Первого, кто догадается, в какой шкатулке спрятан драгоценный камень, и сможет доказать правильность своей догадки, ждет награда. Надписи на крышках шкатулок гласили:

    На золотойНа серебрянойНа свинцовой
    Если драгоценный камень лежит в серебряной шкатулке, то ее изготовил БеллиниЕсли драгоценный камень лежит в этой шкатулке, то золотую шкатулку изготовил ЧеллиниШкатулку, в которой лежит драгоценный камень, изготовил Челлини

    В какую шкатулку патриций положил драгоценный камень?

    Б. Пары шкатулок

    В некоторых музеях шкатулки экспонируются парами. Именно так — в комплекте из одной золотой и одной серебряной шкатулок — их некогда изготовляли и продавали. Род Беллини был связан с семейством Челлини узами крепкой дружбы, и нередко над созданием одного комплекта из двух шкатулок Беллини и Челлини трудились сообща. Разумеется, каждую шкатулку делал только один мастер, но золотая и серебряная шкатулки даже в одном комплекте могли быть работы различных мастеров. Знаменитые мастера любили украшать свои шедевры надписями, по которым сообразительные потомки могли полностью или хотя бы частично определить, кто изготовил ту или иную шкатулку. Искусствоведы подсчитали, что существует 16 вариантов атрибуции шкатулок в каждом комплекте: золотую шкатулку мог изготовить Беллини, сын Беллини, Челлини и сын Челлини, причем в каждом случае любой из четырех мог оказаться создателем серебряной шкатулки.

    132.

    В одном музее мне довелось увидеть пару шкатулок, украшенных следующими надписями:

    На золотойНа серебряной
    Обе шкатулки в этом комплекте изготовлены членами семейства ЧеллиниНи одна из этих шкатулок не была изготовлена ни сыном Беллини, ни сыном Челлини

    Чьей работы каждая из двух шкатулок?

    133.

    В другой раз мне случилось видеть пару шкатулок с надписями:

    На золотойНа серебряной
    Если эту шкатулку изготовил кто-нибудь из членов семейства Беллини, то серебряную шкатулку изготовил ЧеллиниЗолотую шкатулку сделал сын Беллини

    Чьей работы каждая из двух шкатулок?

    134.

    Перед вами пара шкатулок с надписями на крышках;

    На золотойНа серебряной
    Серебряную шкатулку сделал сын БеллиниЗолотую шкатулку изготовил не сын Беллини

    Докажите, что по крайней мере одна из этих двух шкатулок работы Беллини.

    135.

    Перед вами пара шкатулок с надписями:

    На золотойНа серебряной
    Серебряную шкатулку изготовил ЧеллиниЗолотую шкатулку изготовил не Челлини

    Докажите, что по крайней мере одна из этих двух шкатулок работы сына Челлини.

    136.

    Взгляните теперь на две шкатулки, украшенные следующими надписями:

    На золотойНа серебряной
    Серебряную шкатулку изготовил сын БеллиниЗолотую шкатулку изготовил сын Челлини

    Докажите, что по крайней мере одну из этих двух шкатулок изготовил либо Беллини, либо Челлини.

    137.

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

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

    138.

    В другой раз мне довелось видеть две шкатулки с одинаковыми надписями на крышках. Зная обе надписи, я смог прийти к заключению, что обе шкатулки изготовлены Челлини, хотя надпись на каждой шкатулке в отдельности не позволяла утверждать, что даже одна шкатулка изготовлена Челлини.

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

    139.

    Однажды мне довелось видеть две шкатулки с одинаковыми надписями на крышках. Из надписей следовало, что обе шкатулки были изготовлены одним мастером: либо Беллини, либо Челлини, но определить, кто из двух мастеров сделал их, было невозможно. Более того, надпись на одной шкатулке не позволяла прийти даже к такому заключению.

    Какая надпись выгравирована на крышках шкатулок?

    140.

    Особенно высоко ценятся пары шкатулок, удовлетворяющие следующим условиям:

    1) Из надписей на крышках можно заключить, что одна из шкатулок изготовлена Беллини, а другая — Челлини, но невозможно определить, какая из шкатулок чьей работы.

    2) Надпись на крышке любой из двух шкатулок сама по себе не позволяет прийти к заключению, что шкатулки изготовлены либо Беллини, либо Челлини.

    Однажды мне посчастливилось увидеть такую пару. (Насколько я могу понять, это была единственная в своем роде пара шкатулок.) Какие надписи могли, по-вашему, украшать крышки шкатулок?

    141. Необыкновенное приключение.

    В юности, еще до женитьбы, мне довелось побывать во Флоренции. Проглядывая от нечего делать какую-то местную газету, я неожиданно заметил объявление: «Срочно требуется логик» (к счастью, оно было напечатано на английском языке, так как итальянским я совершенно не владею). Из любопытства я отправился в музей, поместивший объявление, и там узнал, что логик понадобился для решения сложной проблемы. Дело в том, что сотрудники музея разыскали четыре шкатулки: две золотые и две серебряные. По ряду признаков удалось установить, что некогда шкатулки составляли два комплекта, но впоследствии их перемешали, и никто не мог сказать, какие шкатулки образуют пару. Я получил разрешение взглянуть на шкатулки и довольно быстро установил, какие из них входят в один комплект, за что мне было выплачено солидное вознаграждение. Кроме того, мне удалось установить, кто из мастеров изготовил каждую шкатулку, за что благодарная дирекция музея выплатила мне дополнительное вознаграждение (в качестве премии я, помимо всего прочего, получил целый ящик превосходного кьянти), а одна из красивейших девушек Флоренции в знак благодарности поцеловала меня[4].

    Вот какие надписи были выгравированы на крышках четырех шкатулок:

    На шкатулке A из золотаНа шкатулке B из золотаНа шкатулке C из серебраНа шкатулке D из серебра
    Серебряную шкатулку изготовил кто-то из семейства ЧеллиниЛибо серебряную шкатулку изготовил кто-то из семейства Челлини, либо обе шкатулки сделал БеллиниЗолотую шкатулку изготовил кто-то из семейства БеллиниЗолотую шкатулку изготовил кто-то из семейства Беллини, и по крайней мере одну из шкатулок сделал либо сын Беллини, либо сын Челлини

    Возникают два вопроса.

    а) Какая шкатулка была изготовлена в комплекте со шкатулкой A: C или D?

    б) Чьей работы каждая из четырех шкатулок?

    Решения

    127. Шкатулка работы Беллини. Действительно, если бы ее сделал один из сыновей Беллини, то высказывание, выгравированное на крышке шкатулки, было бы ложным, что невозможно. Если бы шкатулка была работы либо Челлини, либо сына Челлини, то высказывание было бы истинным, что также невозможно. Следовательно, шкатулку изготовил Беллини.

    128. На крышке шкатулки достаточно было бы выгравировать надпись: «Эту шкатулку изготовил сын Челлини».

    129. «Эта шкатулка изготовлена либо Беллини, либо сыном Челлини».

    130. Высказывание, выгравированное на крышке шкатулки, очевидно, истинно. Следовательно, шкатулку мог сделать либо Беллини, либо сын Беллини.

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

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

    Пусть патриций положил драгоценный камень в серебряную шкатулку. Предположим, что золотая шкатулка изготовлена Беллини. Тогда выгравированное на ее крышке утверждение истинно, а поскольку (по предположению) драгоценный камень находится в серебряной шкатулке, то серебряная шкатулка работы Беллини. Отсюда следует, что золотую шкатулку изготовил Челлини. Итак, если золотая шкатулка работы Беллини, то ее изготовил Челлини!

    Предположим теперь, что золотую шкатулку сделал Челлини. Тогда утверждение, выгравированное на крышке золотой шкатулки, ложно. Следовательно, серебряную шкатулку изготовил не Беллини. Значит, ее сделал Челлини. Но тогда утверждение, выгравированное на крышке серебряной шкатулки, ложно, из чего мы заключаем, что золотая шкатулка работы Беллини. Итак, если золотая шкатулка изготовлена Челлини, то ее сделал Беллини, что невозможно.

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

    132. Утверждение, выгравированное на крышке золотой шкатулки, не может быть истинным, так как в противном случаемы пришли бы к противоречию. Значит, золотая шкатулка изготовлена кем-то из семейства Челлини. Так как надпись на золотой шкатулке ложна, то обе шкатулки не могли быть изготовлены членами семейства Челлини. Следовательно, серебряную шкатулку сделал кто-то из семейства Беллини. Значит, утверждение, выгравированное на крышке серебряной шкатулки, истинно, поэтому ни одна из шкатулок не была выполнена ни сыном Беллини, ни сыном Челлини. Следовательно, золотую шкатулку изготовил Челлини, а серебряную — Беллини.

    133. Напомним, что если любой житель острова рыцарей и лжецов заявляет: «Если я рыцарь, то то-то и то-то истинно», то этот житель должен быть рыцарем, а «то-то и то-то» должно быть истинно. Исходя из аналогичных соображений докажем, что утверждение, выгравированное на крышке золотой шкатулки, истинно.

    Предположим, что золотая шкатулка изготовлена кем-то из семейства Беллини. Тогда надпись на ее крышке истинна: «Если эту шкатулку изготовил кто-нибудь из членов семейства Беллини, то серебряную шкатулку изготовил Челлини». Но золотую шкатулку (по предположению) изготовил либо отец, либо сын из семейства Беллини. Значит, серебряную шкатулку сделал Челлини. Итак, мы доказали, что если золотую шкатулку изготовил кто-то из членов семейства Беллини, то серебряную шкатулку сделал Челлини[5]. Иначе говоря, мы доказали, что на крышке золотой шкатулки выгравировано истинное утверждение. Следовательно, золотая шкатулка действительно изготовлена кем-то из членов семейства Беллини. Поскольку ранее нами установлено, что если золотую шкатулку изготовил кто-то из членов семейства Беллини, то серебряную шкатулку сделал Челлини. Полученный вывод относительно атрибуции (как говорят искусствоведы) золотой шкатулки позволяет прийти к заключению, что серебряная шкатулка изготовлена Челлини. Значит, надпись на крышке серебряной шкатулки ложна, поэтому золотую шкатулку сделал не сын Беллини. Но золотая шкатулка изготовлена кем-то из членов семейства Беллини. Следовательно, ее сделал Беллини. Итак, золотая шкатулка работы Беллини, а серебряная — Челлини.

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

    Предположим теперь, что утверждение, выгравированное на крышке золотой шкатулки, ложно. Это означает, что серебряную шкатулку сделал не сын Беллини. Тем не менее утверждение, выгравированное на крышке серебряной шкатулки, должно быть Истинным (так как ложное утверждение на крышке золотой шкатулки не мог выгравировать сын Беллини). Следовательно, серебряную шкатулку изготовил Беллини.

    Итак, если надпись на крышке золотой шкатулки верна, то золотую шкатулку изготовил Беллини. Если надпись на золотой шкатулке не верна, то серебряная шкатулка работы Беллини.

    135. Предположим, что утверждение, выгравированное на крышке серебряной шкатулки, истинно. Поскольку оно истинно, то серебряную шкатулку изготовил кто-то из членов семейства Беллини. Значит, утверждение, выгравированное на крышке золотой шкатулки («Серебряную шкатулку изготовил Челлини»), должно быть ложным. Но поскольку (по предположению) надпись на крышке серебряной шкатулки верна, то золотую шкатулку изготовил не Челлини. Итак, на крышке золотой шкатулки выгравировано ложное утверждение, но шкатулку сделал не Челлини. Значит, золотую шкатулку изготовил сын Челлини.

    Предположим теперь, что утверждение, выгравированное на крышке серебряной шкатулки, ложно. Это означает, что золотую шкатулку сделал Челлини. Следовательно, надпись на ее крышке ложна, и серебряную шкатулку изготовил не Челлини. Итак, на крышке серебряной шкатулки выгравировано ложное утверждение, но сделал эту шкатулку не Челлини. Значит, серебряную шкатулку изготовил сын Челлини.

    136. Предположим, что утверждение, выгравированное на крышке золотой шкатулки, истинно. Тогда должна быть верной и надпись на крышке серебряной шкатулки, а это означало бы, что надпись на крышке золотой шкатулки не верна. Полученное противоречие доказывает, что утверждение, выгравированное на крышке золотой шкатулки, ложно. Из него следует также, что серебряную шкатулку изготовил не сын Беллини. Значит, если надпись на крышке серебряной шкатулке не верна, то золотую шкатулку изготовил не сын Челлини, но так как утверждение, выгравированное на крышке золотой шкатулки, ложно, то золотую шкатулку сделал Челлини.

    Итак, если на крышке серебряной шкатулки выгравировано истинное утверждение, то серебряную шкатулку сделал Беллини. Если же это утверждение ложно, то золотую шкатулку сделал Челлини. Итак, мы доказали, что либо серебряную шкатулку изготовил Беллини, либо золотую шкатулку изготовил Челлини.

    137. Эта задача, как и следующие три задачи, допускает много решений. Одно из возможных решений состоит в том, чтобы украсить крышки шкатулок надписью: «Либо обе шкатулки изготовлены Беллини, либо по крайней мере одну из них сделал кто-то из членов семейства Челлини».

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

    138. Одно из решений состоит в следующем. На крышках шкатулок было выгравировано: «По крайней мере одна из этих шкатулок изготовлена сыном Челлини». Если бы эти утверждения были истинны, то по крайней мере одна шкатулка была бы работы сына Челлини. Но это невозможно, так как сын Челлини не гравирует на крышках своих шкатулок истинные утверждения. Следовательно, оба утверждения «по крайней мере одна из этих шкатулок изготовлена сыном Челлини» ложны. Это означает, что ни одна из шкатулок не была изготовлена сыном Челлини, из чего мы заключаем, что обе шкатулки сделал Челлини.

    139. Крышки шкатулок могли бы украшать, например, такие надписи: «Либо обе шкатулки изготовлены Беллини, либо по крайней мере одну шкатулку сделал сын Челлини».

    Докажем, что если эти надписи верны, то обе шкатулки изготовлены Беллини, а если не верны, то обе шкатулки изготовлены Челлини.

    Предположим, что утверждения, выгравированные на крышках шкатулок, истинны. Тогда (в соответствии с надписями) либо обе шкатулки изготовлены Беллини, либо по крайней мере одну из них изготовил сын Челлини. Последняя альтернатива отпадает (сын Челлини не мог бы выгравировать на крышке шкатулки своей работы истинное утверждение). Следовательно, обе шкатулки должны быть работы Беллини.

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

    140. Одно из возможных решений состоит в следующем.

    Надпись на крышке золотой шкатулки: «Эти шкатулки изготовлены Беллини и Челлини в том и только в том случае, если серебряную шкатулку изготовил член семейства Челлини».

    Надпись на крышке серебряной шкатулки: «Золотую шкатулку изготовил член семейства Челлини».

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

    Предположим, что утверждение, выгравированное на крышке золотой шкатулки, истинно. Тогда (поскольку мы доказали, что одна из двух надписей истинна, а другая ложна) надпись на серебряной шкатулке должна быть ложной. Значит, серебряную шкатулку изготовил кто-то из членов семейства Челлини, поэтому Q истинно. Кроме того, так как надпись на золотой шкатулке истинна, P действительно эквивалентно Q. Следовательно, P должно быть истинно (так как Q истинно).

    Предположим теперь, что надпись на золотой шкатулке ложна. Тогда надпись на серебряной шкатулке истинна. Следовательно, серебряная шкатулка не может быть работы Челлини, поэтому Q ложно и, кроме того, P не эквивалентно Q. Значит, и в этом случае P истинно.

    Итак, независимо от принятых нами предположений P должно быть истинно, то есть одна из шкатулок изготовлена Беллини, а другая — Челлини.

    141. Шкатулка A входит в один комплект со шкатулкой D, так, если бы мы попытались составить комплект из шкатулки A и шкатулки C, то пришли бы к следующему противоречию.

    Предположим, что в одном комплекте со шкатулкой A была изготовлена шкатулка C. Пусть надпись на крышке шкатулки A истинна. Тогда надпись на крышке шкатулки C ложна. Но тогда ложна и надпись на крышке A, и мы приходим к противоречию. Пусть теперь надпись на крышке шкатулки A ложна. Тогда надпись на крышке шкатулки C истинна, из чего следует, что надпись на шкатулке A должна быть истинной, и мы опять приходим к противоречию. Значит, шкатулка C не входит в один комплект со шкатулкой A. Тем самым первая часть задачи решена.

    Рассмотрим теперь пару шкатулок B и C. Предположим, что надпись на крышке C ложна. Тогда шкатулка B изготовлена кем-то из членов семейства Челлини, поэтому надпись на ее крышке ложна. Это означает, что ни одна из двух входящих в нее альтернатив не истинна. В частности, ложна первая альтернатива, а это означает, что шкатулку C изготовил кто-то из членов семейства, Беллини. Итак, если утверждение, выгравированное на крышке C, ложно, то шкатулку C сделал кто-то из членов семейства Беллини, что невозможно. Значит, надпись на крышке шкатулки C истинна, в силу чего надпись на крышке шкатулки B также истинна (так как надпись на C сообщает нам, что шкатулка B изготовлена кем-то из членов семейства Беллини). Но первая альтернатива, входящая в утверждение, выгравированное на крышке шкатулки B, не может быть истинной, поэтому истинна вторая альтернатива. Итак, шкатулки B и C изготовлены Беллини.

    Рассмотрим теперь комплект шкатулок A и D. Предположим, что утверждение, выгравированное на крышке шкатулки A, ложно. Тогда шкатулка D сделана членом семейства Беллини. Следовательно, выгравированное на ней утверждение истинно. Это означает, что шкатулку A изготовил кто-то из членов семейства Беллини, и мы приходим к противоречию. Итак, надпись на шкатулке A истинна, из чего мы заключаем, что надпись на шкатулке D ложна. Следовательно, по крайней мере одна из входящих в нее альтернатив ложна. Первая альтернатива истинна (гак как истинно утверждение, выгравированное на крышке шкатулки A). Значит, ложна вторая альтернатива. Это означает, что ни одна из шкатулок не была изготовлена ни сыном Беллини, ни сыном Челлини. Следовательно, шкатулку A сделал Беллини, а шкатулку D — Челлини.


    Примечания:



    1

    Напомним, что рыцари — особы высшего ранга, нормальные люди — среднего, лжецы — низшего.



    2

    Любое высказывание, из которого следует ложное высказывание, должно быть ложным, так как из истинного высказывания не может следовать ложное высказывание. В решении задачи 113 из высказывания «В — рыцарь» следует ложное высказывание «А — лжец». Значит, высказывание «В — рыцарь» должно быть ложным. Это еще один вариант доказательства от противного.



    3

    Мы сделали это, приняв в качестве посылки высказывание «А — рыцарь», из которого вывели заключение «С — рыцарь». В силу факта (1) об импликации мы заключаем, что если A — рыцарь, то C — рыцарь.



    4

    Бенвенуто Челлини не без основания слыл хвастуном. Почему бы мне не последовать его примеру?



    5

    Так как из посылки «золотую шкатулку изготовил кто-то из членов семейства Беллини» следовало заключение «серебряную шкатулку изготовил Челлини». Мы снова воспользовались фактом (4) об импликации (см. последний абзац в преамбуле к гл. 8).









    Главная | Контакты | Нашёл ошибку | Прислать материал | Добавить в избранное

    Все материалы представлены для ознакомления и принадлежат их авторам.