Рэймонд Смаллиан - Принцесса или тигр

6. Если вы начнете решать эту задачу перебором, то вам придется рассмотреть 16 случаев! (Четыре возможности для мужа, и для каждого из этих 4 вариантов еще 4 — для жены.) К счастью, есть более простой подход. Прежде всего, поскольку один из супругов спит, а другой бодрствует, и, кроме того, поскольку их суждения прямо противоположны, то они непременно должны принадлежать к одному и тому же типу (то есть оба они одновременно должны относиться либо к дневному, либо к ночному типу). В самом деле, если бы они принадлежали к разным типам, то их суждения оказались бы прямо противоположными в случае, если бы они оба спали или оба бодрствовали, и совпали бы в случае, если бы один из них спал, а другой бодрствовал. Но поскольку мнения супругов, когда один из них спит, а другой бодрствует, не совпадают, то, значит, они должны принадлежать к одному типу.

Предположим поначалу, что оба они относятся к ночному типу. Тогда мнение мужа в тот момент было правильным, и, поскольку он относится к ночному типу, то, понятно, он должен был находиться во сне. Допустим теперь, что оба супруга принадлежат к дневному типу. Тогда очевидно, что муж ошибался, полагая, будто и он, и жена относятся к ночному типу, но поскольку он, согласно условию, принадлежит к дневному типу и к тому же мнение его ошибочно, то он в это время должен был находиться во сне. Итак, независимо от того, к какому типу относятся оба супруга, муж в тот момент должен был спать, а жена — бодрствовать.

7. Эта задача еще проще. Действительно, поскольку супруги принадлежат к разным типам, то их суждения должны быть прямо противоположными, если они находятся в одном и том же состоянии(то есть оба бодрствуют или оба спят), и одинаковыми, если они находятся в различных состояниях (то есть один из них спит, а другой бодрствует). Но поскольку в описываемом случае их мнения оказались противоположными, то, значит, оба они были в одном и том же состоянии, то есть оба спали или бодрствовали. Стало быть, жена Байрона была права.

8. Очевидно, в тот момент Эдвард находился несколько не в себе, одновременно придя к двум логически сключающим друг друга суждениям! Итак, оба утверждения Эдварда должны быть ошибочными. Но поскольку он считал, будто и он, и Элейн относятся к ночному типу, то, значит, оба они к ночному типу не принадлежат. А поскольку он к тому же полагал, что сам он к ночному типу не относится, то, следовательно, как раз он-то и принадлежит к ночному типу. Таким образом, Эдвард относится к ночному типу, но оба они к ночному типу не принадлежат, и, стало быть, Элейн относится к дневному типу. Наконец, поскольку Эдвард относится к ночному типу и в то же время высказал ошибочное суждение, то он должен был бодрствовать. Поэтому ответ таков: сам Эдвард принадлежит к ночному типу и в тот момент бодрствовал, а его сестра относится к дневному типу.

9. Поскольку принцесса перешла в другое состояние, то, стало быть, одно из двух ее суждений было правильным, а другое ошибочным. Это означает, что из следующих двух высказываний одно истинно, а другое ложно:

(1) Король и королева принадлежат к разным типам.

(2) Король относится к дневному типу, а королева принадлежит к ночному типу.

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

10. Предположим, что Орк принадлежит к дневному типу и в тот момент бодрствовал. Следует ли из этого предположения, что Орк должен быть колдуном? Да, следует, и вот почему. Допустим, что Орк действительно относится к дневному типу и в то время бодрствовал. Тогда его суждения правильны, откуда следует, что в случае, если он относится к дневному типу и бодрствует, то он и есть колдун. Но он принадлежит к дневному типу и бодрствует (лишь по предположению), следовательно, он должен быть колдуном (опять-таки, конечно, при условии, что он относится к дневному типу и бодрствует). Таким образом, предположение о том, что Орк относится к дневному типу и бодрствует, приводит нас к выводу, что он — колдун. Это, разумеется, вовсе не указывает ни того, что исходное предположение правильно, ни того, что он колдун, — мы доказали только то, что если бы он относился к дневному типу и бодрствовал, то в этом случае он должен был быть колдуном. Итак, мы установили гипотетическое утверждение, что если бы Орк принадлежал к дневному типу и бодрствовал, то в таком случае он — колдун. Но именно в это гипотетическое утверждение Орк в тот момент и верил; следовательно, мнение Орка было верным! Это означает, что Орк в то время либо относился к дневному типу и бодрствовал, либо принадлежал к ночному типу и спал, однако (пока) мы не можем точно сказать, какой из этих двух вариантов имел место на самом деле. Поэтому наше допущение о том, что Орк является колдуном, совсем не обязательно должно быть истиной, поскольку вполне может оказаться, что он принадлежит к ночному типу и в тот момент спал.

Далее, рассуждая подобным же образом, мы полагаем, что суждение Борка тоже верно. В самом деле, если Борк принадлежит к дневному типу и бодрствует или относится к ночному типу и спит — то в любом из этих случаев его суждение является правильным, откуда следует, что он непременно должен быть колдуном. Но это то, во что верит Борк, и, следовательно, его суждение верно. Теперь, поскольку суждение Борка верно, он либо относится к дневному типу и в тот момент бодрствовал, либо принадлежит к ночному типу и в тот момент спал. Однако же и в том, и в другом случае он должен быть колдуном.

Поскольку Борк — колдун, то, значит, Орк в свою очередь колдуном не является. Стало быть, Орк не мог в тот момент бодрствовать и не мог принадлежать к дневному типу, поскольку мы установили, что если бы это оказалось именно так, то колдуном обязательно должен был быть он. Таким образом, Орк в тот момент находился во сне и, кроме того, он принадлежит к ночному типу. Следовательно, Борк в тот момент тоже находился во сне, а поскольку суждение Борка оказалось правильным, то, значит, Борк должен относиться к ночному типу. Итак, колдун относится к ночному типу.

11. Из того, что островитянин считал, будто он принадлежит к дневному типу и бодрствует, мы можем сделать лишь один вывод — что он не относился к ночному типу и не спал. При этом у нас имеются три возможности.

(1) Он принадлежал к ночному типу и бодрствовал (причем его суждения были ошибочными).