Как же называется эта книга? (Смаллиан) - страница 55


104. Вы могли бы сказать: «Я невиновный рыцарь». Присяжные, выслушав ваше признание, стали бы рассуждать следующим образом.

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

Второй шаг. Нам известно, что он либо рыцарь, либо обычный человек. Если он обычный человек, то он невиновен. Предположим, что он рыцарь. Тогда его высказывание истинно. Следовательно, он не может быть виновным рыцарем. Но он рыцарь. Значит, он должен быть невиновным рыцарем.

Следует заметить, что вы могли бы сделать на суде и другие (по форме, но эквивалентные по существу) заявления, например «Либо я не рыцарь, либо я невиновен», «Если я рыцарь, то я невиновен».


105. Вы могли бы сказать: «Я виновный лжец». Выслушав ваше заявление, присяжные стали бы рассуждать следующим образом: «Ясно, что он не рыцарь. Значит, он либо обычный человек, либо лжец. Если он обычный человек, то он невиновен. Предположим, что он лжец. Тогда его высказывание ложно, и он может быть виновным лжецом. Следовательно, он невиновный лжец».


106. Любого числа высказываний недостаточно, чтобы убедить короля в вашей необычности. Действительно, любые ваши высказывания, сколько бы их ни было, могли бы принадлежать обычному человеку, так как обычный человек высказывает и истинные, и ложные утверждения. Следовательно, вам не удастся жениться на дочери этого короля! Жаль! Придется вам попытать счастья на следующем острове.


107. И в том и в другом случае достаточно одного высказывания. Короля могло бы убедить истинное высказывание «Я не рыцарь» (такое высказывание не могло бы принадлежать ни рыцарю, ни лжецу) и ложное высказывание «Я лжец».


108. В связи с этой задачей я хотел бы заметить, что если вы выскажете первое утверждение, то король узнает, что хотя вы и обычный человек, но только что вы высказали истинное утверждение. Если вы выскажете второе утверждение, то король узнает, что хотя вы и обычный человек, но только что вы высказали ложное утверждение.

Выберите на свое усмотрение любое утверждение, истинность или ложность которого неизвестна королю, например утверждение, что у вас в кармане ровно 11 долларов. Свое утверждение вы могли бы высказать в такой форме: «Либо я обычный человек и у меня ровно 11 долларов в кармане, либо я лжец».

Такое утверждение не могло бы принадлежать лжецу (потому что утверждение, в котором о лжеце говорится, что он либо обычный человек, у которого 11 долларов в кармане, либо лжец, истинно). Такое утверждение не могло бы принадлежать и рыцарю (рыцарь не может быть ни обычным человеком с 11 долларами в кармане, ни лжецом). Следовательно, король узнает, что вы обычный человек, но не сможет узнать, истинно ваше высказывание или ложно, пока ему не станет известно, сколько денег у вас в кармане.