РЕШЕНИЯ. 127. Шкатулка работы Беллини

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

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

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

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

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

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

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

Предположим теперь, что золотую шкатулку сделал Челлини.

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

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

Следовательно, патриций положил его в золотую шкатулку.

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

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

Следовательно, золотую шкатулку изготовил Челлини, а серебряную Беллини.

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

Предположим, что золотая шкатулка изготовлена кем-то из семейства Беллини. Тогда надпись на ее крышке истинна:

"Если эту шкатулку изготовил кто-нибудь из членов семейства Беллини, то серебряную шкатулку изготовил Челлини". Но золотую шкатулку (по предположению) изготовил либо отец, либо сын из семейства Беллини. Значит, серебряную шкатулку сделал Челлини. Итак, мы доказали, что если золотую шкатулку изготовил кто-то из членов семейства Беллини, то серебряную шкатулку сделал Челлини /* Так как из посылки "золотую шкатулку изготовил кто-то из членов семейства Беллини" следовало заключение "серебряную шкатулку изготовил Челлини". Мы снова воспользовались фактом (4) об импликации (см. последний абзац в преамбуле к гл. 8).*/. Иначе говоря, мы доказали, что на крышке золотой шкатулки выгравировано истинное утверждение.

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

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

Следовательно, ее сделал Беллини. Итак, золотая шкатулка работы Беллини, а серебряная - Челлини.

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 - Челлини.

Дата добавления: 2015-06-27