0:00:07.720,0:00:11.140
Вы обнаружили дверь в другое измерение,

0:00:11.140,0:00:14.120
и теперь вместе с братом исследуете

0:00:14.120,0:00:17.220
прекрасный мир Парадоксики.

0:00:17.220,0:00:22.210
Вокруг вас ползают, бегают и летают[br]фантастические парадоксальные существа.

0:00:22.210,0:00:24.700
Затем вы видите тролля.

0:00:24.700,0:00:28.610
Он ловит всех существ в огромную сеть.

0:00:28.610,0:00:33.210
Вы отважно шагаете вперёд[br]и требуете отпустить их.

0:00:33.210,0:00:37.370
Тролль смеётся и отвечает:[br]«Если ты так любишь парадоксы,

0:00:37.370,0:00:40.850
предлагаю сделку: если ты скажешь правду,

0:00:40.850,0:00:43.440
я отпущу всех этих существ».

0:00:43.440,0:00:45.640
Прежде чем вы успеваете[br]сказать: «Ты — тролль»,

0:00:45.640,0:00:49.060
тролль хватает вашего брата.

0:00:49.060,0:00:53.890
«Если ты скажешь ложь», — продолжает он, —[br]«тогда я освобожу твоего брата.

0:00:53.890,0:00:56.792
Утверждение должно содержать[br]не более одного предложения.

0:00:56.792,0:01:01.452
И помни, больше всего в мире[br]я ненавижу парадоксы.

0:01:01.452,0:01:04.782
Если попытаешься сжульничать[br]и скажешь что-то вроде:

0:01:04.782,0:01:06.847
«Это утверждение ложное»,

0:01:06.847,0:01:10.517
тогда я съем и твоего брата,[br]и всех существ».

0:01:10.517,0:01:14.049
Какое истинно-ложное утверждение[br]можно использовать,

0:01:14.049,0:01:17.432
чтобы освободить брата[br]и парадоксальных существ?

0:01:17.432,0:01:20.082
[Нажмите на паузу, чтобы решить[br]задачу самостоятельно!]

0:01:20.082,0:01:20.972
[Ответ через: 3]

0:01:20.972,0:01:23.312
[Ответ через: 2]

0:01:23.312,0:01:26.072
[Ответ через: 1]

0:01:26.072,0:01:31.182
Ситуация кажется безвыходной,[br]но вы всё же можете сказать кое-что,

0:01:31.182,0:01:34.432
что заставит тролля[br]отпустить всех пленных.

0:01:34.432,0:01:39.342
Это пример принуждающей логики;[br]данный термин ввёл великий логик[br]

0:01:39.342,0:01:42.712
и создатель головоломок Рэймонд Смаллиан.

0:01:42.712,0:01:44.502
Смаллиан придумал уловку,

0:01:44.502,0:01:48.932
при которой утверждение может быть[br]ложным или истинным в зависимости от того,

0:01:48.932,0:01:51.452
какого действия вы хотите[br]добиться от тролля.

0:01:51.452,0:01:54.242
При этом ваше утверждение[br]нужно продумать досконально.

0:01:54.242,0:01:56.292
Например, если вы скажете:

0:01:56.292,0:01:59.102
«Ты освободишь существ и моего брата»,

0:01:59.102,0:02:03.762
тролль ответит: «Это неправда...[br]Поэтому я освобождаю только твоего брата».

0:02:03.762,0:02:08.382
То же случится, если вы скажете:[br]«Ты освободишь существ», а тролль ответит:

0:02:08.382,0:02:11.772
«Это правда» и освободит их.

0:02:11.772,0:02:14.072
Но вот что произойдёт, если вы скажете:

0:02:14.072,0:02:16.442
«Ты освободишь моего брата» —

0:02:16.442,0:02:18.202
это утверждение не может быть ложным,

0:02:18.202,0:02:21.442
потому что в таком случае троллю,[br]по его же собственным правилам,

0:02:21.442,0:02:23.452
придётся освободить вашего брата.

0:02:23.452,0:02:27.432
Так утверждение превращается в парадокс[br]и является и правдивым, и ложным.

0:02:27.432,0:02:29.422
Однако тролль ненавидит парадоксы

0:02:29.422,0:02:32.162
и никогда не захочет создать один из них.

0:02:32.162,0:02:35.952
Поэтому единственный для него выход —[br]признать, что утверждение истинное.

0:02:35.952,0:02:38.132
Если «ты освободишь моего брата» — истина,

0:02:38.132,0:02:40.462
троллю придётся освободить вашего брата.

0:02:40.462,0:02:44.872
А по им же установленным правилам[br]троллю придётся также освободить существ,

0:02:44.872,0:02:47.382
поскольку ваше утверждение[br]является истиной.

0:02:47.382,0:02:51.052
Орудуя пятью словами,[br]словно логическим скальпелем,

0:02:51.052,0:02:54.502
вы заставили тролля[br]освободить всех пленных.

0:02:54.502,0:02:56.492
Пока тролль гневно топает,

0:02:56.492,0:02:59.922
парадоксы благодарят вас за освобождение

0:02:59.922,0:03:03.395
и обещают проводить по лестнице,[br]ведущей к сокровищам.

0:03:03.395,0:03:05.819
Если, конечно, вы её осилите.