CY 的抉擇

報載，邏輯學家 Raymond Smullyan 病逝，享年九十七歲。Smullyan 最為人樂道的，是他設計的種種邏輯謎題。以前我在中文維基百科提及的「史上最難邏輯謎題」，也是由另一位邏輯學家 George Boolos 改編自 Smullyan 的創作。斯人已矣，且聊記一則邏輯謎題，以作悼念。

CY 死後，天庭的強力部門派來牛頭馬面，於 CY 跟前展現了兩道門。「根據天庭委員會就基本出入境法第六十三條所作的第四百一十二號解釋」，牛頭說，「汝必須進入兩道門其中之一。你有自由揀選進入那一道門，不過門後面的目的地，我們已經預先為你籂選。」

「每道門，若非通往天國，就是通往地獄。」

「天國是可以真正享樂的地方喔！」馬面笑咪咪補充道。「唔係洋人以為那種由朝到晚只可以彈彈豎琴，唱唱聖詩，悶到出汁的地方。」

「耶！對哩對哩，上次我放假返天國，就幫襯了阿xx來個xx，真係正到呢…」望住牛頭流口水笑騎騎腰果眼個衰樣，CY 忽然間覺得好噁心。

「至於地獄…」馬面正色道，「真係一個可怕嘅地方。嘛，你去到就知了。」

「看在汝過往功績份上，若汝入地獄，天庭會補償汝五千萬冥府通寶。雖則金錢於地獄不如在天國那麼有用，不過汝姑且張就一下吧。」

「話說回來，因為目的地經已預先籂選好，所以汝別以為兩道門必然一道通往天國，一道通往地獄。兩道門通往同一目的地，也是可能的。」

「咁重叫我揀來做乜？」

「唏，起碼都叫做有得揀吖嗎！」

「WTF。咁，到底邊道門通去邊處？」

「每道門上高都貼咗一張提示。」牛頭答。

「不過一係兩張提示都錯，一係兩張提示都對。」馬面道。

「來吧！做你的抉擇吧！」

CY 放眼一望，兩道門所貼提示如下：

一號門：這兩道門，一道通往天國，一道通往地獄。

二號門：此門通往天國。

到底 CY 會怎揀？

---

天國特別入境管制區鬼差休息室。

室內並無平日刻版沉悶的氣氛，反而起了一陣小小的騷動。一眾鬼差圍着牆上一張通告，正在議論紛紛。

「天庭委員會就基本出入境法第六十三條，作出第四百一十三號解釋：任何人未按正常手續入境，其入境程序皆視為無效，並須按原有程序處理。本解釋並無追溯性，即日生效。天庭委員會x年x月x日。」

「混賬呀！我也贊成這個決定，不過這是要由眾仙議會主動提請，天庭委員會才可以作出解釋的呀。就算是天庭委員會……不對，應該說正正是天庭委員會，才不可以無視規矩呀。」白面無常憤憤不平地說。

「怎麼回事？怎麼回事？」一名剛剛走入休息室的鬼差小聲地問身邊的同事。

「你知道那個叫CY的新移民吧？」

「哦，我知。雖然只是個小人物，也滿出名的。」

「渠單case是牛頭馬面負責的。兩條入境通道的門上各有提示。一號門係『這兩道門，一道通往天國，一道通往地獄』，而二號門係『此門通往天國』。根據他們的指示，這兩組提示一係全對，一係全錯。」

「噢，這個我知道！係 Raymond Smullyan 的 Lady or Tiger 裏面其中一道比較簡單的謎題的變奏嘛。咦？且慢。原來的版本中，第一項提示套用牛頭馬面的語言來說，應該是 either this door leads to hell or the second door leads to heaven 才對。現在這個版本不止命題的邏輯結構不同，由於中文沒有 either … or … 這種 construct，實際上牛頭馬面這個版本還變淺了，不是嗎？」

「⋯⋯喂，這真的是你嗎？還是被其他牛鬼蛇神掉包了？」

「哈哈，不是啦，現買現賣而已。其實 Raymond Smullyan 上星期入境，喺入境大堂間 cafe 講故仔，我啱啱在場而已。當時好多人圍埋去聽，都幾哄動。講返轉頭，箇日好似都見到牛頭馬面。」

「Anyway，而今牛頭馬面呢個版本變得好直接。若兩個提示都啱，就一號門往地獄，二號門往天國；若兩項提示都錯，則兩道門都通往地獄。咁，畀着你，會點揀？」

「當然係二號了，起碼重有機會來天國。」

「CY㨂咗一號。」

「吓？」

「CY確認咗一號一定會入地獄之後，㨂咗一號。」

「⋯⋯咁算係CY除三害嗎？」

「你太天真了。CY㨂咗一號，入地獄，收咗五千萬，然後用五百萬請人僭建咗個出口，通返入二號門後面，來咗天國！」

「起初好多人認為應該將兩道門都set去地獄，但係又有好多人覺得，不如畀個機會渠試下啦，於是將一道門set來天國，最後搞成咁。」

「唉。」相顧無言，兩個鬼差只得嘆氣。