Рэймонд Смаллиан - Как же называется эта книга
Значит, 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 может быть только лжецом.
Итак, вот что мы выяснили, рассматривая три возможных случая:
Подсудимый Не виновен Не виновен Виновен Рыцарь Нормальный Нормальный человек человек
Защитник Виновен Виновен Не виновен Нормальный Рыцарь Лжец человек
Обвинитель Не виновен Не виновен Не виновен Лжец Лжец Рыцарь
Все три случая согласуются с заявлениями, сделанными тремя главными участниками судебного процесса до прибытия Крэга.
После прибытия Крэга. Крэг спросил у обвинителя, виновен ли тот. Задавая свой вопрос, инспектор Крэг уже знал, что обвинитель не виновен (так как во всех трех случаях обвинитель не виновен), поэтому ответ обвинителя был нужен Крэгу лишь для того, чтобы установить, кто такой обвинитель: рыцарь или лжец. Если бы обвинитель правдиво ответил "нет", то инспектор Крэг понял бы, что случаи (1) и (2) можно исключить, и не стал бы задавать новых вопросов. Но инспектору Крэгу после того, как обвинитель ответил, понадобилось задать еще несколько вопросов.
Следовательно, обвинитель должен быть лжецом и на вопрос инспектора ответить "да". Такой ответ заставил инспектора Крэга (а вместе с ним и читателя) исключить из рассмотрения случай (3) и в дальнейшем рассматривать только случаи (1) и (2). Это означает, что в действительности виновен защитник, но относительно подсудимого и защитника не известно, кто из них рыцарь и кто нормальный человек. Затем Крэг спросил у подсудимого, виновен ли обвинитель и, получив ответ, смог до конца разобраться в ситуации. На вопрос Крэга рыцарь ответил бы "нет", в то время как нормальный человек ответил бы либо "да", либо "нет".
