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

Приведенное нами рассуждение присяжных может служить типичным примером рассуждения от противного (ложность утверждения доказывается тем, что высказанный тезис доводится до нелепости, отсюда латинское название этого способа доказательства reductio ad absurdum – приведение к нелепости). Присяжные могли бы прийти к тому же выводу и более прямым путем, рассуждая следующим образом. Вы либо лжец, либо не лжец (напомним, что присяжным неизвестно, лжец вы или не лжец). Если вы лжец, то ваше высказывание ложно. Следовательно, вы невиновны. Если вы не лжец, то вы заведомо невиновны, так как преступник – лжец.


100. Убедить присяжных одним-единственным высказыванием в том, что вы невиновны, невозможно. Если после того, как вы сделали свое заявление, присяжные могли бы, логически рассуждая, прийти к выводу, что вы невиновны, то (поскольку они люди умные и строили свои рассуждения по всем правилам логики) это означало бы, что вы действительно невиновны вопреки условию задачи (по предположению вы виновны в совершении преступления).


101. Эта задача в известном смысле «двойственна» задаче 99 (и даже несколько проще той). Вам необходимо лишь заявить на суде: «Я невиновен». Услышав ваше заявление, присяжные стали бы рассуждать следующим образом. Если вы рыцарь (о чем они не знают), то ваше высказывание истинно. Следовательно, вы невиновны. Если же вы не рыцарь, то вы опять-таки невиновны, так как по имеющимся у присяжных сведениям преступник – рыцарь.


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

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

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

Третий шаг. Если он обычный человек, то он заведомо невиновен, так как преступник – не обычный человек.


103. Эта задача решается очень просто. Вам нужно заявить на суде: «Я лжец». Ни рыцарь, ни лжец не могли бы высказать такое утверждение. Следовательно, вы обычный человек и, значит, невиновны.