Рэймонд Смаллиан
Алиса в стране смекалки.
Стр.129
Случай 1: A и B оба сказали "да"
A B C
1а Лжец Шпион Рыцарь 1б Шпион Рыцарь Лжец
Случай 2: A сказал "нет", B сказал "да"
A B C
2а Рыцарь Шпион Лжец 2б Шпион Лжец Рыцарь
Случай 3: A сказал "да", B сказал "нет"
A B C
3а Лжец Рыцарь Шпион 3б Лжец Шпион Рыцарь 3в Шпион Лжец Рыцарь
Случай 4: A и B оба сказали "нет"
A B C
4а Рыцарь Лжец Шпион 4б Рыцарь Шпион Лжец 4в Шпион Рыцарь Лжец
Обратимся снова к условиям задачи. После того как A и B ответили на вопросы судьи, тот сумел установить, что C не шпион. В случае 3 судья не мог бы установить, шпион ли C или рыцарь. В случае 4 судья не смог бы установить, шпион ли C или лжец. Но судья со всей определенностью заявил, что C не шпион. Значит, случаи 3 и 4 отпадают и остается либо случай 1, либо случай 2.
Когда судья утверждает, что C не шпион, ему известно, что A сказал правду. Тем самым судье известно, что A либо рыцарь, либо шпион. В случае 2 судья не смог бы определить, рыцарь ли A или шпион, и установить, кто шпион. Таким образом, остается только случай 1: судья знал, что A не мог быть лжецом (так как A сказал правду). Следовательно, A должен был быть шпионом.
50. Такой же интересный случай. Поскольку судья задал подсудимым A и B одинаковые вопросы, как и в предыдущей задаче, мы можем воспользоваться уже знакомой нам таблицей.
Рассмотрим тот момент судебного заседания, когда судья спросил подсудимого C, шпион ли тот. В этот момент судья не мог утверждать ни об одном из трех подсудимых, что тот заведомо не шпион, поскольку в противном случае судье пришлось бы освободить невиновного из-под стражи. Тем самым случаи 1 и 2 отпадают, так как в каждом из них судья бы знал, что C либо рыцарь, либо лжец, и освободил бы C.
| 001 002 003 004 005 006 007 008 009 010 011 012 013 |
| 014 015 016 017 018 019 020 021 022 023 024 025 026 |
| 027 028 029 030 031 032 033 034 035 036 037 038 039 |
| 040 041 042 043 044 045 046 047 048 049 050 051 052 |
| 053 054 055 056 057 058 059 060 061 062 063 064 065 |
| 066 067 068 069 070 071 072 073 074 075 076 077 078 |
| 079 080 081 082 083 084 085 086 087 088 089 090 091 |
| 092 093 094 095 096 097 098 099 100 101 102 103 104 |
| 105 106 107 108 109 110 111 112 113 114 115 116 117 |
| 118 119 120 121 122 123 124 125 126 127 128 129 130 |
| 131 132 133 134 135 136 137 138 139 140 141 142 143 |