Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

РЕШЕНИЯ. 71. Покажем прежде всего, что по крайней мере один из A, C виновен




 

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

С другой стороны, если C виновен, то в силу высказывания (2) A также виновен. Следовательно, A виновен.

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 - либо рыцарь, либо нормальный человек.

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

Второй случай: A - нормальный человек и не виновен.

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

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

Следовательно, B может быть только лжецом.

Итак, вот что мы выяснили, рассматривая три возможных случая:

Подсудимый Не виновен Не виновен Виновен Рыцарь Нормальный Нормальный человек человек

Защитник Виновен Виновен Не виновен Нормальный Рыцарь Лжец человек

Обвинитель Не виновен Не виновен Не виновен Лжец Лжец Рыцарь

Все три случая согласуются с заявлениями, сделанными тремя главными участниками судебного процесса до прибытия Крэга.

После прибытия Крэга. Крэг спросил у обвинителя, виновен ли тот. Задавая свой вопрос, инспектор Крэг уже знал, что обвинитель не виновен (так как во всех трех случаях обвинитель не виновен), поэтому ответ обвинителя был нужен Крэгу лишь для того, чтобы установить, кто такой обвинитель: рыцарь или лжец. Если бы обвинитель правдиво ответил "нет", то инспектор Крэг понял бы, что случаи (1) и (2) можно исключить, и не стал бы задавать новых вопросов. Но инспектору Крэгу после того, как обвинитель ответил, понадобилось задать еще несколько вопросов.

Следовательно, обвинитель должен быть лжецом и на вопрос инспектора ответить "да". Такой ответ заставил инспектора Крэга (а вместе с ним и читателя) исключить из рассмотрения случай (3) и в дальнейшем рассматривать только случаи (1) и (2). Это означает, что в действительности виновен защитник, но относительно подсудимого и защитника не известно, кто из них рыцарь и кто нормальный человек. Затем Крэг спросил у подсудимого, виновен ли обвинитель и, получив ответ, смог до конца разобраться в ситуации. На вопрос Крэга рыцарь ответил бы "нет", в то время как нормальный человек ответил бы либо "да", либо "нет".

Получив ответ "нет", Крэг не смог бы определить, был ли подсудимый рыцарем или нормальным человеком. Но поскольку для Крэга после ответа все стало ясно, то подсудимый должен был ответить "да". Следовательно, подсудимый - нормальный человек, а защитник - рыцарь (хотя он и виновен).

 

 




Поделиться с друзьями:


Дата добавления: 2015-06-27; Просмотров: 696; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.025 сек.