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

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


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

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


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


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

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

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

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