Как же называется эта книга?

ввести полицию в заблуждение: никакого ограбления в действительности не было. Вот как рассуждал инспектор Крэг.

Первый шаг. Предположим, что A был бы виновен. Тогда в силу высказывания (2) у него был бы ровно один соучастник — не больше, не меньше. Следовательно, кто-то один из B, C виновен, а другой не виновен. Но это противоречит высказываниям (3) и (5), из которых, если взять их вместе, следует, что B, C либо оба виновны, либо оба не виновны. Значит, A должен быть не виновен.

Второй шаг. Из высказываний (3) и (5) следует, что B и C либо оба виновны, либо оба не виновны. Если бы они были оба виновны, то других виновных не было бы (так как A не виновен). Следовательно, виновных в этом случае было бы ровно двое. В силу высказывания (4) это означало бы, что A виновен. Тем самым мы пришли бы к противоречию, так как A не виновен. Следовательно, B и C оба не виновны.

Третий шаг. Итак, установлено, что A, B, C не виновны. Но, как следует из высказывания (1), в день ограбления никто, кроме A, B и C, в лавку не заходил и не мог совершить ограбления. Значит, никакого ограбления не было, и Макгрегор лгал.

Эпилог. Не устояв перед неопровержимыми доводами инспектора Крэга, Макгрегор признался в том, что он солгал в надежде получить страховку.

76. Если B виновен, то в силу высказывания (2) в преступлении замешаны ровно двое подсудимых. Если же виновен C, то в силу высказывания (3) в преступлении замешаны трое подсудимых. Поскольку ни того, ни другого быть не может, то по крайней мере один из B и C не виновен. Подсудимый A также не виновен, поэтому виновных не может быть больше двух. Следовательно, у C не было ровно двух соучастников, и в силу высказывания (3) подсудимый C должен быть не виновен. Если B виновен, то у него был ровно один соучастник. Им должен быть D (так как A и B оба не виновны). Если B не виновен, то A, B и C не виновны. Тогда D должен быть виновен. Итак, независимо от того, виновен или не виновен B, подсудимый D должен быть виновен. Следовательно, D виновен.

77. В действительности обвинитель сказал, что подсудимый не совершал преступления в одиночку. Защитник, отрицая высказывание обвинителя, тем самым утверждал, что подсудимый совершил преступление в одиночку.

78. Можно, причем очень просто. В силу высказывания (1) если A не виновен, то C виновен (поскольку если A не виновен, то дизъюнкция «либо A не виновен, либо B виновен» — истина). В силу высказывания (2), если A не виновен, то C не виновен. Следовательно, если A не виновен, то C одновременно виновен и не виновен, что невозможно. Значит, A должен быть виновен.

79. Двое подсудимых, один из которых должен быть виновен, это B и C. Действительно, предположим, что A не виновен. Тогда в силу высказывания (1) B или, C должен быть виновен. С другой стороны, предположим, что A виновен. Если B виновен, то по крайней мере кто-то один из B и C заведомо виновен. Но предположим, что B не виновен. Тогда A виновен, а B не виновен. Следовательно, в силу высказывания (2) C должен быть виновен, то есть и в этом случае либо B, либо C виновен.

80. Прежде всего докажем, что если A виновен, то C виновен. Предположим, что A виновен. Тогда в силу высказывания (2) либо B, либо C виновен. Если B не виновен, то виновен должен быть C. Но предположим, что B виновен. Тогда A и B оба виновны. Следовательно, в силу высказывания (1) C также виновен. Это доказывает, что если A виновен, то C виновен. Кроме того, в силу высказывания (3), если C виновен, то D виновен. Сопоставляя эти два факта, мы заключаем, что если A виновен, то D виновен. Но в силу высказывания (4), если A не виновен, то D виновен.

Следовательно, независимо от того, виновен или не виновен A, подсудимый D должен быть виновен. Таким образом, виновность D не вызывает сомнений. Виновность всех остальных подсудимых остается под сомнением.

81. Все подсудимые виновны. Действительно, в силу высказывания (3) если D не виновен, то A виновен. В силу высказывания (4) если D виновен, то A виновен. Следовательно, независимо от того, виновен или не виновен D, подсудимый A должен быть виновен. Тогда в силу высказывания (1) B также виновен. Из высказывания (2) мы заключаем, что либо C виновен, либо A не виновен. Поскольку уже известно, что A не невиновен, то C должен быть виновен. Наконец, из высказывания (3) следует, что если D не виновен, то C не виновен. Но мы уже доказали, что C не невиновен, поэтому D должен быть виновен. Итак, все подсудимые виновны.

82. Вполне разумно: оно помогло подсудимому снять с себя все подозрения! Действительно, предположим, что подсудимый — рыцарь. Тогда его высказывание истинно, и виновный — лжец. Следовательно, подсудимый должен быть не виновен. С другой стороны, предположим, что подсудимый — лжец. Тогда его высказывание ложно, поэтому тот, кто совершил преступление, — рыцарь. Следовательно, и в этом случае подсудимый не виновен.

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

84. Если бы обвинитель был лжецом, то тогда

1) X и Y оба были бы виновны;

2) X был бы виновен.

И в этом случае мы бы опять пришли к противоречию. Следовательно, обвинитель — рыцарь, X не виновен, а Y виновен.

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

86. Подсудимый A не может быть рыцарем, так как если бы он был рыцарем, то был бы виновен и не лгал бы, утверждая, что не виновен. Подсудимый A не может быть и лжецом, так как если бы он был лжецом, то его высказывание было бы ложным, и он был бы виновен и, следовательно, был бы рыцарем. Значит, A — нормальный человек и не виновен. Поскольку A не виновен, то высказывание островитянина B истинно. Следовательно, B не лжец: он либо рыцарь, либо нормальный человек. Предположим, что B был бы нормальным человеком. Тогда высказывание островитянина C было бы ложным, и C был бы либо лжецом, либо нормальным человеком. Это означало бы, что среди трех островитян A, B, C нет ни одного рыцаря. Следовательно, вопреки условиям задачи ни один из них не виновен. Отсюда мы заключаем, что B не может быть нормальным человеком. Он должен быть рыцарем и, следовательно, виновен.

87. Пока Крэг не прибыл. Обозначим подсудимого A, защитника B и обвинителя C. Прежде всего заметим, что A не может быть лжецом, так как если бы он был лжецом, то его высказывание было бы ложно и, следовательно, он был бы виновен. Мы пришли бы к противоречию с тем условием задачи, в котором говорится, что лжец не виновен. Значит, A — либо рыцарь, либо нормальный человек.

Первый случай: A — рыцарь. Поскольку его высказывание истинно, то он не виновен. Тогда высказывание защитника B также истинно. Следовательно, B — либо рыцарь, либо нормальный человек. Но A — рыцарь; поэтому B — нормальный человек. Значит, C может быть только лжецом. А поскольку известно, что лжец не виновен, то B виновен.

Второй случай: A — нормальный человек и не виновен. Высказывание защитника B истинно и в этом случае, поэтому B — рыцарь (поскольку A — нормальный человек). Так как A не виновен и C, будучи лжецом, не виновен, то виновен B.

Третий случай: A — нормальный человек и виновен. В этом случае высказывание обвинителя истинно, поэтому обвинитель должен быть рыцарем (он не может быть нормальным человеком, так как «вакансия» нормального человека занята A). Следовательно, B может быть