JК
Алиса в стране смекалки :: Смаллиан Рэймонд
Страница: 146 из 202Между тем мы твердо знаем,что те, кто крадет перец, никогда не говорят правды. Следовательно, кухарка Герцогини невиновна.
4. Кто же украл перец? Если перец украл Мартовский Заяц, то он лгал (потому что те, кто крадет перец, всегда лгут).
Следовательно, его утверждение о Болванщике ложно. Значит, Болванщик тоже украл перец. Но из условий задачи нам известно, что перец украл кто-то один. Следовательно, Мартовский Заяц не мог украсть перец. Так как Мартовский Заяц невиновен, его заявление на суде истинно. Значит, то, что он сказал о Болванщике, истинно. Следовательно, Болванщик также невиновен. В свою очередь это означает, что Болванщик сказал правду, поэтому Соня также невиновна.
Таким образом, никто из троих подозреваемых не крал перец.
5. Так кто же все-таки украл перец? Предположим, что Грифон был бы виновен. Это означало бы, что, выступая на суде, он солгал. Следовательно, Черепаха Квази не невиновен (как утверждал Грифон), а виновен. Но тогда виновных было бы двое, хотя перец (как говорилось в предыдущей задаче) украл кто-то один. Значит, Грифон невиновен. Но тогда на суде он сказал правду, поэтому Черепаха Квази невиновен.
Следовательно, Черепаха Квази на суде сказал правду:
виновен Омар.
6. Метазадача. Те из вас, кто читал "Приключения Алисы в Стране Чудес", должно быть, помнят, что Омар (в отличие от Грифона и Черепахи Квази) не входит в число действующих лиц знаменитой сказки Льюиса Кэрролла.
4. Кто же украл перец? Если перец украл Мартовский Заяц, то он лгал (потому что те, кто крадет перец, всегда лгут).
Следовательно, его утверждение о Болванщике ложно. Значит, Болванщик тоже украл перец. Но из условий задачи нам известно, что перец украл кто-то один. Следовательно, Мартовский Заяц не мог украсть перец. Так как Мартовский Заяц невиновен, его заявление на суде истинно. Значит, то, что он сказал о Болванщике, истинно. Следовательно, Болванщик также невиновен. В свою очередь это означает, что Болванщик сказал правду, поэтому Соня также невиновна.
Таким образом, никто из троих подозреваемых не крал перец.
5. Так кто же все-таки украл перец? Предположим, что Грифон был бы виновен. Это означало бы, что, выступая на суде, он солгал. Следовательно, Черепаха Квази не невиновен (как утверждал Грифон), а виновен. Но тогда виновных было бы двое, хотя перец (как говорилось в предыдущей задаче) украл кто-то один. Значит, Грифон невиновен. Но тогда на суде он сказал правду, поэтому Черепаха Квази невиновен.
Следовательно, Черепаха Квази на суде сказал правду:
виновен Омар.
6. Метазадача. Те из вас, кто читал "Приключения Алисы в Стране Чудес", должно быть, помнят, что Омар (в отличие от Грифона и Черепахи Квази) не входит в число действующих лиц знаменитой сказки Льюиса Кэрролла.