в один комплект со шкатулкой

Шкатулка 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 - Челлини.



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