Рэймонд Смаллиан - Как же называется эта книга?
72. Этот случай еще проще. Если A не виновен, то (так как C не виновен) виновным должен быть B — в силу высказывания (1). Если A виновен, то в силу высказывания (2) у него должен быть соучастник. Из высказывания (3) следует, что этим соучастником не мог быть C. Значит, им должен быть B. Итак, и в том и в другом случае B виновен.
73. Предположим, что B не виновен. Тогда должен быть виновен один из двух близнецов. У этого близнеца должен быть соучастник, а поскольку B не мог быть сообщником, то им должен быть другой близнец. Но это невозможно, так как одного из близнецов во время преступления видели в Дувре. Следовательно, B виновен. А поскольку B всегда «ходит на дело» в одиночку, то оба близнеца не виновны.
74. Не вызывает ни малейших сомнений виновность B. Доказать это можно при помощи любого из следующих рассуждений.
Рассуждение первое. Предположим, что B не виновен. Тогда если бы A был виновен, то C также был бы виновен в силу высказывания (1). Это означало бы, что вопреки высказыванию (3) A совершил преступление вместе с C. Следовательно, A должен быть не виновен. Но тогда вопреки высказыванию (2) C единственный, кто виновен. Значит, B виновен.
Рассуждение второе. Оно прямее приводит к ответу на вопрос задачи.
а) Предположим, что A виновен. Тогда в силу высказывания (3) B и C не могут быть оба не виновны, поэтому у A должен быть соучастник. Так как C в силу высказывания (3) не мог быть соучастником A, то им должен быть B. Следовательно, если A виновен, то B также виновен.
б) Предположим, что C виновен. Тогда в силу высказывания (2) у него должен быть соучастник, которым в силу высказывания (3) не мог быть A. Следовательно, им должен быть B.
в) Если ни A, ни C не виновны, то B несомненно виновен!
75. Инспектор Крэг выдвинул против мистера Макгрегора обвинение в попытке ввести полицию в заблуждение: никакого ограбления в действительности не было. Вот как рассуждал инспектор Крэг.
Первый шаг. Предположим, что 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 — либо рыцарь, либо нормальный человек.
