134江印的解題過程(第1/2頁)

葉秋在幾年前就做過這道題，是在網上無意間看到的，覺得這個題很有意思，所以印象比較深刻。

當時葉秋還是初中，也是想了好一會兒，才最終試探出了答案。

這個題就完全是一個邏輯思維的題目，葉秋當時也是靠著不停的試探，將自己想到的問句，帶入題目中來驗證。

這個題的答案就是“你是本地人嗎？”

如果在a城，問到只說真話的a城居民，他會回答是，問到說假話的b城居民，他也會回答是。

如果是在b城，問到說真話的a城居民，他會回答不是，而說假話的b城居民，也會回答不是。

這樣一來，只要用這個問句隨機問一個人，只要這個人回答是，那麼這裡就是a城，回答不是，那就是在b城。

葉秋沒有馬上將答案告訴江印，因為他也想看看，邪物出這道題來針對江印，是不是真的可以測出江印的短板在哪，江印會不會真的被這道題難住，一個小時都做不出來。

葉秋也不是一直就這幹看著，從店長辦公室裡面將幾分資料拿了出來，坐在一邊翻看著，時不時的抬頭看看江印的反應就好了。

時間慢慢過去，這段時間並沒有顧客過來結賬，打擾他的思考。

江印看著這個題目，大概這真的不是他擅長的問題，之前江印自我介紹的時候說過，他是一名數學老師，然而這個題，顯然不是數學問題。

非要分到一門學科的話，應該是大學才會有的邏輯學，屬於哲學的一個分子學科。

單純用數學思維來解這道題的話，葉秋都不知道該怎麼弄。

不過很快，江印居然拿起收銀臺抽屜中的紙和筆，開始打草稿了。

葉秋很是好奇，這樣的問題，草稿該怎麼打呢？不應該就是想一個問題，然後帶入題目中去試驗嗎，難道還真的可以像數學一樣計算？

放下手中的資料，葉秋走過來，就看到江印在紙上寫道。

“設：a城居民為x，b城居民為y，問題為f。”

“那麼a城為a{x，y}，b城為b{x，y}。”

“得到公式為：faa{x，y}=α；fbb{x，y}=β；且fa=fb。”

葉秋看到這些，第一感覺就是，這是什麼鬼？

江印的字跡非常工整，完全是寫出來的一手列印體，根本不像是人書寫的，就和電腦上的宋體字一模一樣。

“這是在將這個邏輯問題數學化嗎？”葉秋有點不懂江印的思路了，又仔細看了一遍之後，也大致瞭解這些符號的意思。

根據江印最上面的那個設，faa{x，y}=α，所表達的意思，fa為在a城提出的問題，a{x，y}表示a城和城中的a、b城居民，等於α，這個α，則是這個fa問題，在a城中問居民所得到的答案。

同理，fbb{x，y}=β，也是這個意思，只是fb表示這個問題在b城中提問，最後得到β這個答案。

這個兩個等式放在一起，江印的意思就是，這個問題，在a城提出，和在b城提出，應該要得到α和β這兩個不同的答案，透過答案，來反推自己是在a城還是b城。

葉秋有些驚訝，他不知道江印為什麼會這樣把實際問題數學化，但這個解題思路是沒有問題的，和自己的那個正確答案是一個意思。

隨後葉秋又看到，江印將兩個等式進行了抵消，去掉了相同的部分，就得到了。

faa=α和fbb=β，同時去掉了{x，y}。

這一步，葉秋解讀到的意思是，將詢問物件，也就是a城居民和b城居民的干擾去掉，因為江印的假設中，x和y是代表兩城的居民。

因為只能問一個問題，還只問一次，那就有4中可能，你問到的人，可能是a城中的a城居民，也可能是a城中的b城居民，當然，也可能是b城中的a城居民，以及b城中的b城居民。

也就是說，你的這個問題，不管是問到這4種情況的中任意一種，都應該能得到正確答案，所以，其實這4種居民身份，對這個問題是什麼，取不到決定作用，是干擾項，所以這裡便去掉了，得到更加簡化的算式。

再然後，江印繼續將這兩個算式簡化，再次去掉了fa和fb。