WEBVTT

00:00:06.724 --> 00:00:09.404
這一則謎題是由邏輯學家
雷蒙德．斯穆裏安所設計

00:00:09.405 --> 00:00:12.516
並且由他的同事
喬治．布羅斯推廣而廣受歡迎

00:00:12.516 --> 00:00:17.006
被稱為「史上最難解的邏輯謎題」

00:00:17.006 --> 00:00:21.265
你和隊友迫降在一個遠古行星上

00:00:21.265 --> 00:00:26.386
離開這裡的唯一方法
是取悅三位外星統治者

00:00:26.386 --> 00:00:29.056
Tee 、 Eff 和 Arr

00:00:29.056 --> 00:00:31.745
方法是把三件工藝品
正確地獻給他們

00:00:31.745 --> 00:00:34.506
不幸的是，你不知道
他們到底誰是誰

00:00:34.506 --> 00:00:42.246
你從銘文上得知
可以問每位統治者一個是非題

00:00:42.246 --> 00:00:44.747
Tee 總是說真話

00:00:44.747 --> 00:00:46.776
Eff 總是說假話

00:00:46.776 --> 00:00:50.237
Arr 的答案則是隨機決定

00:00:50.237 --> 00:00:51.767
但有一個麻煩之處

00:00:51.767 --> 00:00:54.969
你已經掌握了足夠的外星語言
可以問任何問題

00:00:54.969 --> 00:00:58.517
但你不知道
「哦」和「唔」這兩個詞

00:00:58.517 --> 00:01:01.388
哪個代表「是」，哪個代表「否」

00:01:01.388 --> 00:01:05.098
你如何才能弄清楚，到底誰是誰呢？

00:01:05.098 --> 00:01:08.147
在這裏暫停一下，來思考答案！

00:01:08.147 --> 00:01:09.968
倒數 3 秒

00:01:09.968 --> 00:01:11.447
倒數 2 秒

00:01:11.447 --> 00:01:12.716
倒數 1 秒

00:01:12.716 --> 00:01:17.068
一開始，你會覺得這個問題
不只是難，簡直是無法回答

00:01:17.068 --> 00:01:18.797
只能問一個問題

00:01:18.797 --> 00:01:23.117
而且無法理解答案
也不知道答案的真假

00:01:23.117 --> 00:01:24.918
但這個謎題是有解的

00:01:24.918 --> 00:01:27.758
關鍵在於規範問題的問法

00:01:27.758 --> 00:01:31.378
並且讓各種可能的回答
都包含有用的資訊

00:01:31.378 --> 00:01:35.977
首先把「哦」和「唔」放進問題中

00:01:35.977 --> 00:01:39.578
就算我們不知道
「哦」和「唔」意思也行

00:01:39.578 --> 00:01:43.539
其次，如果我們在每個問題前面
加上假設條件

00:01:43.539 --> 00:01:47.988
那麽回答者是否說謊就沒關係了

00:01:47.988 --> 00:01:49.529
舉個例子：

00:01:49.529 --> 00:01:53.530
例如我們問 2+2 是不是等於 4

00:01:53.530 --> 00:01:55.399
我們不直接問

00:01:55.399 --> 00:01:59.348
而是問：「如果我問你
2+2 是不是等於 4，

00:01:59.348 --> 00:02:01.539
你的答案是不是『哦』？」

00:02:01.539 --> 00:02:04.619
如果「哦」代表「是」
而回答者是 Tee

00:02:04.619 --> 00:02:07.359
他會誠實地回答：「哦」

00:02:07.359 --> 00:02:09.288
但如果回答者是 Eff 呢？

00:02:09.288 --> 00:02:13.459
他本來要回答「唔」(代表否)

00:02:13.459 --> 00:02:17.116
但是他會說謊，於是回答了「哦」

00:02:17.116 --> 00:02:20.049
如果「哦」代表「否」

00:02:20.049 --> 00:02:23.589
那麽 2+2=4 問題的答案
就應該是「唔」

00:02:23.589 --> 00:02:27.069
而 Tee 和 Eff
仍然都會回答「哦」

00:02:27.069 --> 00:02:29.110
儘管兩人都有各自的原因

00:02:29.110 --> 00:02:31.180
如果你仍然不瞭解
為何這個方法可行

00:02:31.180 --> 00:02:33.610
其實這其中的原理涉及邏輯結構

00:02:33.610 --> 00:02:38.640
就是「正正得正」而「負負也得正」

00:02:38.640 --> 00:02:43.320
現在，我們可以確定
只要用上面的方式問 Tee 或 Eff

00:02:43.320 --> 00:02:47.461
如果問題為真
那麽他們一定都回答「哦」

00:02:47.461 --> 00:02:49.630
如果問題為假
那麽他們一定都回答「唔」

00:02:49.630 --> 00:02:53.020
這樣就不必管
「哦」和「唔」代表什麼意思

00:02:53.020 --> 00:02:56.621
但不幸的是，這個方法對 Arr 無效

00:02:56.621 --> 00:03:01.231
別著急，我們可以用第一個問題

00:03:01.231 --> 00:03:03.771
來判斷出哪一位外星人
一定不是 Arr

00:03:03.771 --> 00:03:08.112
然後再用第二個問題
判斷他是 Tee 還是 Eff

00:03:08.112 --> 00:03:09.371
知道以後

00:03:09.371 --> 00:03:13.525
我們就能分辨另外兩個外星人

00:03:13.525 --> 00:03:14.732
咱們開始吧

00:03:14.732 --> 00:03:16.452
問中間的外星人

00:03:16.452 --> 00:03:22.122
如果我問你「左邊的外星人是不是 Arr？」
你會回答「哦」嗎？

00:03:22.122 --> 00:03:26.342
如果回答是「哦」，那麽有兩種情況

00:03:26.342 --> 00:03:30.961
你可能正在跟 Arr 說話
那答案就毫無意義

00:03:30.961 --> 00:03:34.921
也有可能
你正在和 Tee 或 Eff 說話

00:03:34.921 --> 00:03:36.191
那麽我們可以知道

00:03:36.191 --> 00:03:41.402
如果答案是「哦」
代表我們的假設問題是對的

00:03:41.402 --> 00:03:44.713
左邊的外星人的確是 Arr

00:03:44.713 --> 00:03:49.463
無論是哪種情況
你都能確定右邊的外星人不是 Arr

00:03:49.463 --> 00:03:52.072
相同的，如果答案是「唔」

00:03:52.072 --> 00:03:55.662
你就能知道
左邊的外星人一定不是 Arr

00:03:55.662 --> 00:04:00.027
第二個問題要詢問
「確定不是 Arr 的外星人」

00:04:00.027 --> 00:04:04.163
如果我問：「你是不是 Eff ，
你會回答『哦』嗎？」

00:04:04.163 --> 00:04:07.152
既然對方的答案不會是隨機決定的

00:04:07.152 --> 00:04:11.303
從他的回答一定可以判斷他的身份

00:04:11.303 --> 00:04:14.373
你現在就可以知道
他的答案是真還是假

00:04:14.373 --> 00:04:19.471
最後一個問題問
「中間的外星人是不是 Arr？」

00:04:19.471 --> 00:04:23.984
用消去法確認
最後一位外星統治者的身份

00:04:23.984 --> 00:04:26.853
滿意的統治者幫你們修好了飛船

00:04:26.853 --> 00:04:28.863
你們將要離開了

00:04:28.863 --> 00:04:32.033
你被允許再問一個問題

00:04:32.033 --> 00:04:36.393
你問 Tee：「從這到地球遠嗎？」
Tee 回答：「哦」

00:04:36.393 --> 00:04:39.283
麻煩的是，你還是不懂
「哦」代表是或否。