Алиса в Стране Смекалки

Глава 2

1. История первая. По существу, Болванщик заявил, что варенье украли либо Мартовский Заяц, либо Соня. Если Болванщик солгал, то ни Мартовский Заяц, ни Соня не украли варенье. Но тогда Мартовский Заяц, поскольку он не украл варенье, дал правдивые показания. Следовательно, если Болванщик лгал, то Мартовский Заяц не лгал, поэтому Болванщик и Мартовский Заяц не могли лгать одновременно. Следовательно, когда Соня показала, что по крайней мере один из ее соседей, то есть либо Мартовский Заяц, либо Болванщик, не лгали, она сказала правду. Но из условий задачи мы знаем, что Соня и Мартовский Заяц не могли дать правдивые показания одновременно. Так как Соня сказала правду, Мартовский Заяц не мог дать правдивые показания. Значит, Мартовский Заяц солгал. Его показания ложны. Следовательно, варенье украл Мартовский Заяц.

2. История вторая. Предположим, что муку украл Мартовский Заяц. Так как тот, кто похитил муку, дал правдивые показания, Мартовский Заяц на суде сказал правду, то есть муку украл Болванщик. Но мы твердо знаем, что муку украл только один из трех обитателей домика. Следовательно, Мартовский Заяц не мог украсть муку. Значит, Мартовский Заяц невиновен. Но поскольку двое из трех подсудимых дали ложные показания на суде, Мартовский Заяц в своем выступлении на суде солгал. Неверно, что муку украл Болванщик (как утверждал Мартовский Заяц). Следовательно, ни Мартовский Заяц, ни Болванщик не могли украсть муку. Значит, муку должна была украсть Соня.

3. История третья. Если бы кухарка украла перец, то она заведомо знала бы об этом. Следовательно, давая показания на суде (когда она заявила, что знает, кто украл перец), она сказала бы правду. Между тем мы твердо знаем, что те, кто крадет перец, никогда не говорят правды. Следовательно, кухарка Герцогини невиновна.

4. Кто же украл перец? Если перец украл Мартовский Заяц, то он лгал (потому что те, кто крадет перец, всегда лгут). Следовательно, его утверждение о Болванщике ложно. Значит, Болванщик тоже украл перец. Но из условий задачи нам известно, что перец украл кто-то один. Следовательно, Мартовский Заяц не мог украсть перец. Так как Мартовский Заяц невиновен, его заявление на суде истинно. Значит, то, что он сказал о Болванщике, истинно. Следовательно, Болванщик также невиновен. В свою очередь это означает, что Болванщик сказал правду, поэтому Соня также невиновна. Таким образом, никто из троих подозреваемых не крал перец.

5. Так кто же все-таки украл перец? Предположим, что Грифон был бы виновен. Это означало бы, что, выступая на суде, он солгал. Следовательно, Черепаха Квази не невиновен (как утверждал Грифон), а виновен. Но тогда виновных было бы двое, хотя перец (как говорилось в предыдущей задаче) украл кто-то один. Значит, Грифон невиновен. Но тогда на суде он сказал правду, поэтому Черепаха Квази невиновен. Следовательно, Черепаха Квази на суде сказал правду: виновен Омар.