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

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

2) Предположим, что B не говорит правду. Тогда A не лжет.

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

42. Прежде всего заметим, что A не может быть рыцарем, так как если бы A был рыцарем, то его высказывание было бы ложным (рыцарь как особа высшего ранга не может быть по рангу ниже B). Предположим, что A - лжец. Тогда его высказывание ложно. Следовательно, A по рангу не может быть ниже, чем B. Значит, B также должен быть лжецом (так как если бы B не был лжецом, то A был бы особой более высокого ранга, чем B). Но это невозможно, так как высказывание B противоположно высказыванию A, а два противоположных высказывания не могут быть истинными одновременно. Следовательно, предположение, что A - лжец, приводит к противоречию. Значит, A не лжец, но тогда A должен быть нормальным человеком.

А что можно сказать о B? Если бы он был рыцарем, то A (будучи нормальным человеком) был бы особой более низкого ранга, чем B. Тогда высказывание A было бы истинным, из чего следовало бы, что высказывание B ложно. Таким образом, рыцарь высказал бы ложное утверждение, что невозможно.

Значит, B не рыцарь. Предположим, что B был бы лжецом.

Тогда высказывание A было бы ложным, из чего следовало бы, что высказывание B истинно.