Принцесса или тигр? (Смаллиан) - страница 43


6. Такая ситуация вполне возможна, но при этом Цорн должен принадлежать к типу B. Самый простой способ убедиться в этом — вспомнить еще раз (см. задачу 1), что ни один житель острова не может спросить, относится ли он к типу B. Поэтому, когда Цорн спрашивает, принадлежит ли он к людям того типа, которые могли бы спросить, относится ли он к типу B, правильным ответом на этот вопрос будет «нет» (так как ни один островитянин не может спросить, относится ли он к типу B). Значит, поскольку правильным ответом является «нет», то, следовательно, Цорн должен принадлежать к типу B.


7. Поскольку островитянин все-таки задал этот вопрос, то, очевидно, он мог его задать. Следовательно, правильным ответом на его вопрос является «да», а сам он относится к типу A.


8. По поводу миссис Клинк нельзя сказать ничего определенного, а ее супруг должен относиться к типу A. Основания для такого вывода следующие. Допустим, что миссис Клинк относится к типу A. Тогда правильным ответом на ее вопрос будет «да», откуда следует, что мистер Клинк мог спросить свою жену, принадлежит ли она к типу A. А поскольку миссис Клинк по предположению принадлежит к типу A, то правильным ответом на этот вопрос будет «да», что позволяет считать мистера Клинка относящимся к типу A. Итак, если миссис Клинк принадлежит к типу A, то ее муж относится к тому же самому типу. Предположим теперь, что миссис Клинк принадлежит к типу B. Тогда правильным ответом на ее вопрос будет «нет», откуда следует, что мистер Клинк не относится к людям того типа, которые могли бы спросить ее, принадлежит ли она к типу A. Поэтому он не мог задать вопрос, правильным ответом на который являлось бы «нет», а значит, должен относиться к типу A. Итак, мистер Клинк относится к типу A, независимо от того, к какому типу принадлежит миссис Клинк.


9. Предположим, что Бетти относится к типу A. Тогда правильным ответом на ее вопрос является «да», и поэтому Джон мог спросить, принадлежит ли по крайней мере один из них к типу B. Но это приводит нас к противоречию: ведь если Джон относится к типу A, то невозможно, чтобы по крайней мере один из супругов принадлежал к типу B. Следовательно. Правильным ответом на его вопрос должно быть «нет», что невозможно для человека, принадлежащего к типу A. Если же Джон относится к типу B, тогда, действительно, по крайней мере один из них принадлежит к типу B, — ведь в этом случае «да» оказывается правильным ответом на его вопрос. Но поскольку ни один человек, относящийся к типу B, не может задать вопрос, правильным ответом на который является «да», то предположение о том, что Бетти принадлежит к типу A, неверно и, значит, она должна относиться к типу B.