Логические игры

         

в своем уме, то Шестерка


24. Валет Червей.

   Докажем, что если Семерка не в своем уме, то Шестерка должен быть в здравом рассудке и, следовательно. Валет Червей здраво рассудил, думая, что Шестерка и Семерка не могут быть оба не в своем уме.
   Предположим, что не в своем уме Семерка. Тогда то, что Семерка думает о Пятерке, ложно, поэтому Пятерка в здравом рассудке. Следовательно, Пятерка судит обо всем здраво, поэтому Туз и Четверка либо оба не в своем уме, либо оба в здравом рассудке. Но Туз и Четверка не могут быть оба не в своем уме. (Если бы Четверка был не в своем уме, то он судил бы обо всем превратно. Тогда Тройка и Двойка были бы оба не в своем уме, между тем как безумие Тройки означало бы. что Туз скорее в здравом разуме, чем не в своем уме. Следовательно, если Четверка не в своем уме, то Туз должен быть в здравом рассудке, поэтому Туз и Четверка не могут быть оба не в своем уме.) Таким образом. Туз и Четверка оба в здравом рассудке. А так как Четверка в здравом рассудке. Тройка и Двойка не могут быть оба не в своем уме - по крайней мере один из них в здравом рассудке. Но Тройка не может быть в здравом рассудке, так как он думает, что Туз не в своем уме. Следовательно, в здравом рассудке должен быть Двойка. Значит, Туз и Двойка оба в здравом уме. Стало быть. Шестерка судит здраво, поэтому он должен быть в здравом уме.
   Итак, мы доказали, что если Семерка не в своем уме, то Шестерка должен быть в здравом рассудке. Следовательно, не может быть, чтобы Семерка и Шестерка оба были не в своем уме. Так как Валет думает, что они не могут быть оба не в
своем уме, сам Валет должен быть в здравом рассудке.