JК
Принцесса или тигр :: Смаллиан Рэймонд
Страница: 116 из 257Наконец, если бы С заявил, будто В — плут, тогда могли бы выполняться варианты (1), (3) или (4), причем опять-таки судья не смог бы найти виновного.
Таким образом, мы полностью исключили из рассмотрения случай 3. Кроме того, теперь мы знаем, что в действительности могут иметь место либо случай 1, либо случай 2, причем в обоих этих случаях судья признал бы виновным подсудимого В.
Итак, при выполнении возможности I (если А сообщил, будто С — плут) шпионом должен оказаться обвиняемый В. Следовательно, если бы логику сказали о том, что А сообщил, будто С — плут, то он вполне мог бы решить задачу и установить, что подсудимый В является шпионом.
Возможность II. Предположим теперь, что логику было сказано, что А заявил, будто С — шпион. Покажем, что при этом логик оказался бы не в состоянии решить задачу, поскольку вполне могло случиться, что судья признал бы виновным А, или же могла возникнуть ситуация, когда виновным был бы признан В, причем логик никак не мог бы выяснить, какой из этих двух случаев имел место в действительности.
Для доказательства этого предположим, что А заявил, будто С — шпион. Тогда существует вариант, при котором судья мог бы назвать виновным подсудимого А. В самом деле, допустим, что В утверждал, будто А — рыцарь, а С заявил, будто В — плут. Если А в самом деле является шпионом, то В может быть плутом (который лгал бы, утверждая, что А — рыцарь), а С может быть рыцарем (который говорил бы правду, заявляя, будто В — плут). При этом А (будучи по предположению шпионом) солгал бы, сообщив, будто С — шпион.
Таким образом, мы полностью исключили из рассмотрения случай 3. Кроме того, теперь мы знаем, что в действительности могут иметь место либо случай 1, либо случай 2, причем в обоих этих случаях судья признал бы виновным подсудимого В.
Итак, при выполнении возможности I (если А сообщил, будто С — плут) шпионом должен оказаться обвиняемый В. Следовательно, если бы логику сказали о том, что А сообщил, будто С — плут, то он вполне мог бы решить задачу и установить, что подсудимый В является шпионом.
Возможность II. Предположим теперь, что логику было сказано, что А заявил, будто С — шпион. Покажем, что при этом логик оказался бы не в состоянии решить задачу, поскольку вполне могло случиться, что судья признал бы виновным А, или же могла возникнуть ситуация, когда виновным был бы признан В, причем логик никак не мог бы выяснить, какой из этих двух случаев имел место в действительности.
Для доказательства этого предположим, что А заявил, будто С — шпион. Тогда существует вариант, при котором судья мог бы назвать виновным подсудимого А. В самом деле, допустим, что В утверждал, будто А — рыцарь, а С заявил, будто В — плут. Если А в самом деле является шпионом, то В может быть плутом (который лгал бы, утверждая, что А — рыцарь), а С может быть рыцарем (который говорил бы правду, заявляя, будто В — плут). При этом А (будучи по предположению шпионом) солгал бы, сообщив, будто С — шпион.