Принцесса или тигр? (Смаллиан) - страница 60

Итак, если имеет место случай 1, то судья мог признать виновным только подсудимого В.

Случай 2: В утверждал, что А — шпион. Предоставим читателю доказать самому, что в этом случае могут иметь место лишь следующие варианты:

(1) А — рыцарь, В — шпион, С — плут;

(2) А — плут, В — шпион, С — рыцарь;

(3) А — шпион, В — рыцарь, С — плут.

Если бы С заявил, будто В — шпион, тогда нам могут встретиться как вариант (2), так и вариант (3), так что в данной ситуации судья никак не сумел бы найти виновного. Если бы С заявил, будто В — рыцарь, то тогда может выполняться лишь вариант (1), и судья признал бы виновным подсудимого В. Если бы, наконец, С заявил, будто В — плут, тогда вполне могут иметь место как вариант (1), так и вариант (3), и судья опять не смог бы обнаружить виновного. Стало быть, С заявил, что В — рыцарь, а подсудимый В был признан виновным.

Итак, в случае 2 виновным оказывается вновь подсудимый В.

Случай 3: В утверждал, что А — плут. Тут у нас имеется 4 варианта (читатель может убедиться в этом сам):

(1) А — рыцарь, В — шпион, С — плут;

(2) А — плут, В — шпион, С — рыцарь;

(3) А — плут, В — рыцарь, С — шпион;

(4) А — шпион, В — плут, С — рыцарь.

Если бы С заявил, будто В — питон, тогда могут иметь место как вариант (2), так и вариант (3), и судья оказывается не в состоянии определить, кто же из подсудимых виновен. Если бы С заявил, будто В — рыцарь, тогда справедливыми могли бы оказаться как вариант (1), так и вариант (3), и судья вновь не смог бы обвинить кого-либо из. подсудимых в шпионаже. Наконец, если бы С заявил, будто В — плут, тогда могли бы выполняться варианты (1), (3) или (4), причем опять-таки судья не смог бы найти виновного.

Таким образом, мы полностью исключили из рассмотрения случай 3. Кроме того, теперь мы знаем, что в действительности могут иметь место либо случай 1, либо случай 2, причем в обоих этих случаях судья признал бы виновным подсудимого В.

Итак, при выполнении возможности I (если А сообщил, будто С — плут) шпионом должен оказаться обвиняемый В. Следовательно, если бы логику сказали о том, что А сообщил, будто С — плут, то он вполне мог бы решить задачу и установить, что подсудимый В является шпионом.

Возможность II. Предположим теперь, что логику было сказано, что А заявил, будто С — шпион. Покажем, что при этом логик оказался бы не в состоянии решить задачу, поскольку вполне могло случиться, что судья признал бы виновным А, или же могла возникнуть ситуация, когда виновным был бы признан В, причем логик никак не мог бы выяснить, какой из этих двух случаев имел место в действительности.