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

Смаллиан Рэймонд М.

Предположим, что Траляля поинтересовался показаниями подсудимого С. Если бы Траляля было сказано, что С обвинял подсудимого А, то Траляля исключил бы случаи 1, 3 и 5 и решил бы задачу (придя к заключению, что виновен В). Но

Траляля не решил задачу. Значит, ему было сказано, что С заявил о невиновности подсудимого А. Такое могло произойти в случаях 1 или 3, и А должен быть виновен (хотя Траляля об этом и не знал, потому что имевшиеся у него неполные данные не позволяли исключить случай 5, в котором виновен был бы В).

Мы видим, что если бы Траляля спросил о показаниях подсудимого В, то (поскольку Траляля не решил задачу) имел бы место либо случай 1, либо случай 2. Если бы Траляля поинтересовался бы показаниями подсудимого С, то имел бы место случай 1 или случай 3. Шалтай-Болтай осведомился, о чьих показаниях спрашивал Траляля: подсудимого В или С. Если бы Шалтай-Болтай узнал, что Траляля интересовали показания подсудимого В, то он установил бы, что речь может идти только о случаях 1 или 2, и, следовательно, не мог бы сказать, кто из двух подсудимых, А или В, виновен. Но Шалтай-Болтай решил задачу. Следовательно, он должен был узнать, что Траляля спрашивал о показаниях подсудимого С. Этим Шалтай-Болтай сузил круг поисков до двух случаев 1 или 3, а в каждом из них виновен подсудимый А.

Тем самым виновность подсудимого А доказана.

Глава 11

88. Всего лишь один вопрос. Действительно следуют. Рассмотрим сначала утверждение 1. Предположим, некто убежден, что он бодрствует. В действительности он либо бодрствует, либо не бодрствует. Предположим, что он бодрствует. Тогда его убеждение правильно, но всякий, кто придерживается наяву правильных убеждений, должен принадлежать к типу А. С другой стороны, предположим, что он спит. Тогда его убеждение ложно, а всякий, кто придерживается во сне ложных убеждений, должен принадлежать к типу А. Следовательно, персона, о которой идет речь, бодрствует ли она или спит, должна принадлежать к типу А. Тем самым утверждение I доказано.

Перейдем теперь к утверждению 2. Предположим, некто убежден, что принадлежит к типу А. Если он действительно принадлежит к типу А, то его убеждение правильно, а те, кто принадлежит к типу А, могут придерживаться правильных убеждений только наяву. С другой стороны, если в действительности он принадлежит к типу В, то его убеждение ложно, а те, кто принадлежит к типу В, могут придерживаться ложных убеждений только наяву.

И в том и в другом случае интересующая нас персона бодрствует. Тем самым утверждение 2 доказано.