Рэймонд Смаллиан - Как же называется эта книга
Следовательно, золотую шкатулку изготовил Челлини, а серебряную Беллини.
133. Напомним, что если любой житель острова рыцарей и лжецов заявляет: "Если я рыцарь, то то-то и то-то истинно", то этот житель должен быть рыцарем, а "то-то и то-то" должно быть истинно. Исходя из аналогичных соображений докажем, что утверждение, выгравированное на крышке золотой шкатулки, истинно.
Предположим, что золотая шкатулка изготовлена кем-то из семейства Беллини. Тогда надпись на ее крышке истинна:
"Если эту шкатулку изготовил кто-нибудь из членов семейства Беллини, то серебряную шкатулку изготовил Челлини". Но золотую шкатулку (по предположению) изготовил либо отец, либо сын из семейства Беллини. Значит, серебряную шкатулку сделал Челлини. Итак, мы доказали, что если золотую шкатулку изготовил кто-то из членов семейства Беллини, то серебряную шкатулку сделал Челлини /* Так как из посылки "золотую шкатулку изготовил кто-то из членов семейства Беллини" следовало заключение "серебряную шкатулку изготовил Челлини". Мы снова воспользовались фактом (4) об импликации (см. последний абзац в преамбуле к гл. 8).*/. Иначе говоря, мы доказали, что на крышке золотой шкатулки выгравировано истинное утверждение.
Следовательно, золотая шкатулка действительно изготовлена кем-то из членов семейства Беллини. Поскольку ранее нами установлено, что если золотую шкатулку изготовил кто-то из членов семейства Беллини, то серебряную шкатулку сделал Челлини. Полученный вывод относительно атрибуции (как говорят искусствоведы) золотой шкатулки позволяет прийти к заключению, что серебряная шкатулка изготовлена Челлини.
Значит, надпись на крышке серебряной шкатулки ложна, поэтому золотую шкатулку сделал не сын Беллини. Но золотая шкатулка изготовлена кем-то из членов семейства Беллини.
Следовательно, ее сделал Беллини. Итак, золотая шкатулка работы Беллини, а серебряная - Челлини.
134. Предположим, что утверждение, выгравированное на крышке золотой шкатулки, истинно. Тогда серебряную шкатулку изготовил сын Беллини. Значит, утверждение, украшающее крышку серебряной шкатулки, истинно. Следовательно, золотую шкатулку изготовил не сын Беллини, а так как на ее крышке выгравировано истинное утверждение, то золотую шкатулку должен был сделать Беллини.
Предположим теперь, что утверждение, выгравированное на крышке золотой шкатулки, ложно. Это означает, что серебряную шкатулку сделал не сын Беллини. Тем не менее утверждение, выгравированное на крышке серебряной шкатулки, должно быть Истинным (так как ложное утверждение на крышке золотой шкатулки не мог выгравировать сын Беллини).
Следовательно, серебряную шкатулку изготовил Беллини.
Итак, если надпись на крышке золотой шкатулки верна, то золотую шкатулку изготовил Беллини. Если надпись на золотой шкатулке не верна, то серебряная шкатулка работы Беллини.
135. Предположим, что утверждение, выгравированное на крышке серебряной шкатулки, истинно. Поскольку оно истинно, то серебряную шкатулку изготовил кто-то из членов семейства Беллини. Значит, утверждение, выгравированное на крышке золотой шкатулки ("Серебряную шкатулку изготовил Челлини"), должно быть ложным. Но поскольку (по предположению) надпись на крышке серебряной шкатулки верна, то золотую шкатулку изготовил не Челлини. Итак, на крышке золотой шкатулки выгравировано ложное утверждение, но шкатулку сделал не Челлини. Значит, золотую шкатулку изготовил сын Челлини.
Предположим теперь, что утверждение, выгравированное на крышке серебряной шкатулки, ложно. Это означает, что золотую шкатулку сделал Челлини. Следовательно, надпись на ее крышке ложна, и серебряную шкатулку изготовил не Челлини. Итак, на крышке серебряной шкатулки выгравировано ложное утверждение, но сделал эту шкатулку не Челлини.
Значит, серебряную шкатулку изготовил сын Челлини.
136. Предположим, что утверждение, выгравированное на крышке золотой шкатулки, истинно. Тогда должна быть верной и надпись на крышке серебряной шкатулки, а это означало бы, что надпись на крышке золотой шкатулки не верна. Полученное противоречие доказывает, что утверждение, выгравированное на крышке золотой шкатулки, ложно. Из него следует также, что серебряную шкатулку изготовил не сын Беллини. Значит, если надпись на крышке серебряной шкатулке не верна, то золотую шкатулку изготовил не сын Челлини, но так как утверждение, выгравированное на крышке золотой шкатулки, ложно, то золотую шкатулку сделал Челлини.
Итак, если на крышке серебряной шкатулки выгравировано истинное утверждение, то серебряную шкатулку сделал Беллини. Если же это утверждение ложно, то золотую шкатулку сделал Челлини. Итак, мы доказали, что либо серебряную шкатулку изготовил Беллини, либо золотую шкатулку изготовил Челлини.
137. Эта задача, как и следующие три задачи, допускает много решений. Одно из возможных решений состоит в том, чтобы украсить крышки шкатулок надписью: "Либо обе шкатулки изготовлены Беллини, либо по крайней мере одну из них сделал кто-то из членов семейства Челлини".
Ни отец, ни сын Челлини в этом случае не могли изготовить, ни одной из двух шкатулок, поскольку какую бы шкатулку они ли сделали, надпись на ее крышке оказалась бы верной, что невозможно. Сле. довательно, обе шкатулки изготовлены членами семейства Беллини. Значит, утверждения, выгравированные на крышках шкатулок, истинны, поэтому либо обе шкатулки изготовлены Беллини, либо по крайней мере одна шкатулка сделана кем-то из семейства Челлини. Последняя альтернатива ложн. а. Значит, обе шкатулки изготовлены Беллини.
138. Одно из решений состоит в следующем. На крышках шкатулок было выгравировано: "По крайней мере одна из этих шкатулок изготовлена сыном Челлини". Если бы эти утверждения были истинны, то по крайней мере одна шкатулка была бы работы сына Челлини. Но это невозможно, так как сын Челлини не гравирует на крышках своих шкатулок истинные утверждения. Следовательно, оба утверждения "по крайней мере одна из этих шкатулок изготовлена сыном Челлини" ложны. Это означает, что ни одна из шкатулок не была изготовлена сыном Челлини, из чего мы заключаем, что обе шкатулки сделал Челлини.
139. Крышки шкатулок могли бы украшать, например, такие надписи: "Либо обе шкатулки изготовлены Беллини, либо по крайней мере одну шкатулку сделал сын Челлини".
Докажем, что если эти надписи верны, то обе шкатулки изготовлены Беллини, а если не верны, то обе шкатулки изготовлены Челлини.
Предположим, что утверждения, выгравированные на крышках шкатулок, истинны. Тогда (в соответствии с надписями) либо обе шкатулки изготовлены Беллини, либо по крайней мере одну из них изготовил сын Челлини. Последняя альтернатива отпадает (сын Челлини не мог бы выгравировать на крышке шкатулки своей работы истинное утверждение). Следовательно, обе шкатулки должны быть работы Беллини.
Предположим, что утверждения, выгравированные на крышках шкатулок, ложны. В этом случае обе альтернативы, входящие в дизъюнкцию, ложны. В частности, ложна вторая альтернатива (утверждающая, что по крайней мере одну из шкатулок изготовил сын Челлини). Это означает, что ни одна из шкатулок не была изготовлена сыном Челлини. Поскольку оба утверждения все же ложны, то обе шкатулки были сделаны Челлини.
140. Одно из возможных решений состоит в следующем.
Надпись на крышке золотой шкатулки: "Эти шкатулки изготовлены Беллини и Челлини в том и только в том случае, если серебряную шкатулку изготовил член семейства Челлини".
Надпись на крышке серебряной шкатулки: "Золотую шкатулку изготовил член семейства Челлини".
Пусть P - утверждение о том, что шкатулки изготовлены Беллини и Челлини, а Q - утверждение о том, что серебряную шкатулку сделал член семейства Челлини. Надпись на крышке золотой шкатулки сообщает нам, что P эквивалентно Q, а из надписи на крышке серебряной шкатулки мы узнаем, что золотую шкатулку изготовил лжец, вследствие чего надпись на ее крышке ложна. Следовательно, одна из двух надписей истинна, а другая ложна.
Предположим, что утверждение, выгравированное на крышке золотой шкатулки, истинно. Тогда (поскольку мы доказали, что одна из двух надписей истинна, а другая ложна) надпись на серебряной шкатулке должна быть ложной. Значит, серебряную шкатулку изготовил кто-то из членов семейства Челлини, поэтому Q истинно. Кроме того, так как надпись на золотой шкатулке истинна, P действительно эквивалентно Q.
Следовательно, P должно быть истинно (так как Q истинно).
Предположим теперь, что надпись на золотой шкатулке ложна.
Тогда надпись на серебряной шкатулке истинна.
Следовательно, серебряная шкатулка не может быть работы Челлини, поэтому Q ложно и, кроме того, P не эквивалентно Q. Значит, и в этом случае P истинно.
Итак, независимо от принятых нами предположений P должно быть истинно, то есть одна из шкатулок изготовлена Беллини, а другая - Челлини.
