Как же называется эта книга? (Смаллиан) - страница 69

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

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

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

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

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

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

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

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

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

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