Как же называется эта книга   ::   Смаллиан Рэймонд

Таким образом, если B - рыцарь, то и C - рыцарь. С другой стороны, если B - лжец, то C должен быть рыцарем, так как все трое островитян, как мы уже знаем, не могут быть рыцарями. Следовательно, C должен быть рыцарем в любом случае.

33. Прежде всего заметим, что A не может быть рыцарем.

Действительно, если бы A был рыцарем, то его высказывание было бы истинным, а в нем утверждается, что A - лжец.

Следовательно, A - лжец, и его высказывание ложно. Если бы B был рыцарем, то высказывание A было бы истинным.

Следовательно, B также лжец. Итак, A и B - лжецы.

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

Следовательно, C - лжец (так как A - рыцарь). Таким образом, если A - -- рыцарь, то C - лжец.

С другой стороны, предположим, что A - лжец. Тогда его высказывание о том, что B - лжец, ложно, в силу чего B - рыцарь. Следовательно, высказывание B о том, что A и C однотипны, истинно. Отсюда мы заключаем, что C - рыцарь (так как A - рыцарь).

Итак, мы доказали, что независимо от того, кто такой A - рыцарь или лжец, C должен быть лжецом. Следовательно, C - лжец.

35. Для решения этой задачи необходимо рассмотреть отдельно два случая.

Первый случай: A - рыцарь. Тогда B и C однотипны. Если C - рыцарь, то и B - рыцарь и, следовательно, однотипен с A. Поэтому C, будучи человеком правдивым, должен был ответить "Да".