что если любой житель острова

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



Содержание раздела