Рэймонд Смаллиан - Как же называется эта книга
Значит, надпись на крышке серебряной шкатулки ложна, поэтому золотую шкатулку сделал не сын Беллини. Но золотая шкатулка изготовлена кем-то из членов семейства Беллини.
Следовательно, ее сделал Беллини. Итак, золотая шкатулка работы Беллини, а серебряная - Челлини.
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 изготовлены Беллини.
