JК
Принцесса или тигр :: Смаллиан Рэймонд
Страница: 47 из 257Если же С и D безумны, то заявление С оказывается ложным и, значит, оба они должны быть врачами, причем врачами, лишенными рассудка.
Итак, в обследованной Крейгом лечебнице содержится по крайней мере один находящийся в здравом уме пациент или работают двое лишившихся рассудка врачей.
10, 11, 12. Поначалу мы обратимся к задачам 11 и 12, поскольку самый легкий путь к решению задачи 10 состоит в том, чтобы сначала рассмотреть решение задачи 12.
Прежде чем приступить к их решению, позвольте мне сформулировать полезное правило. Пусть мы имеем два конкретных утверждения, например X и V, про которые нам известно, что они либо оба истинны, либо оба ложны. Тогда любой обитатель лечебницы, верящий в одно из этих утверждений, должен поверить также и другому. Основание: если оба утверждения истинны, то любой обитатель, который поверит одному из них, должен находиться в здравом уме, а значит, сразу должен поверить и другому утверждению, так как оно также является истинным. Если же оба утверждения ложны, тогда обитатель лечебницы, который примет за истину одно из них, непременно должен оказаться безумным, а значит, обязательно должен поверить и другому утверждению, поскольку оно тоже будет ложным.
Обратимся теперь к решению задачи 12. Рассмотрим два произвольных комитета — комитет 1 и комитет 2. Обозначим через U множество всех тех обитателей лечебницы, чьи злейшие враги объединены в комитет 1, а через V — множество всех тех обитателей, чьи лучшие друзья принадлежат комитету 2.
Итак, в обследованной Крейгом лечебнице содержится по крайней мере один находящийся в здравом уме пациент или работают двое лишившихся рассудка врачей.
10, 11, 12. Поначалу мы обратимся к задачам 11 и 12, поскольку самый легкий путь к решению задачи 10 состоит в том, чтобы сначала рассмотреть решение задачи 12.
Прежде чем приступить к их решению, позвольте мне сформулировать полезное правило. Пусть мы имеем два конкретных утверждения, например X и V, про которые нам известно, что они либо оба истинны, либо оба ложны. Тогда любой обитатель лечебницы, верящий в одно из этих утверждений, должен поверить также и другому. Основание: если оба утверждения истинны, то любой обитатель, который поверит одному из них, должен находиться в здравом уме, а значит, сразу должен поверить и другому утверждению, так как оно также является истинным. Если же оба утверждения ложны, тогда обитатель лечебницы, который примет за истину одно из них, непременно должен оказаться безумным, а значит, обязательно должен поверить и другому утверждению, поскольку оно тоже будет ложным.
Обратимся теперь к решению задачи 12. Рассмотрим два произвольных комитета — комитет 1 и комитет 2. Обозначим через U множество всех тех обитателей лечебницы, чьи злейшие враги объединены в комитет 1, а через V — множество всех тех обитателей, чьи лучшие друзья принадлежат комитету 2.