Re: [轉錄] 微軟中國研究院最新面試題

看板logic作者 (路西瓜)時間18年前 (2007/10/21 22:03), 編輯推噓16(16推 0噓 31→)
留言47則, 3人參與, 最新討論串144/168 (看更多)
※ 引述《luciferii (路西瓜)》之銘言：
→
10/21 18:38,
撇開何謂不知道不談，說說看你對肯定或必然的理解吧
10/21 18:38
推
10/21 21:12,
你還是停留在以為是對「必然」解釋不同，可惜不是。
10/21 21:12
→
10/21 21:13,
所以丟進公式得出「不會有小明不知道而小強知道的情況」
10/21 21:13
→
10/21 21:14,
才會得到矛盾
10/21 21:14
→
10/21 21:14,
你的domain還是只考慮到所有牌型，而沒有把 time 加入
10/21 21:14
→
10/21 21:15,
而time的變化導致「知道」的變化也是很顯然的
10/21 21:15
推
10/21 21:28,
請勿把對於知道與肯定這兩個語詞的理解混淆在一起。
10/21 21:28
懶得再跟你無窮 loop 下去 簡單結論就是， 你只是單純無法接受 如果我不知道的話，小強肯定也不知道 的意思有可能是 如果我等下還是不知道，小強肯定是不知道的 你拼命想用模態邏輯裏(的中文譯詞)來證明中文裏不可能存在這種意思， 那是個人興趣了。 所以照我第一篇的歸類，你就是9/1派想法人之一而已。 「如果你不能理解，肯定是我講不好」 就像這種句子這麼簡單。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.166.111.68 ※ 編輯: luciferii 來自: 218.166.111.68 (10/21 22:05)
推
10/21 22:13, , 1F
你知道原條件句中的模態詞是哪一個嗎？是"肯定"。
10/21 22:13, 1F
→
10/21 22:14, , 2F
我說你沒掌握模態詞的語意，你這篇卻又轉移到"知道"上。
10/21 22:14, 2F
→
10/21 22:15, , 3F
我不是用模態邏輯來證明對於"不知道"不會有你上述語意。
10/21 22:15, 3F
→
10/21 22:16, , 4F
遺憾的是，即便我吞下你對於"知道"的解釋方式，你依然
10/21 22:16, 4F
→
10/21 22:17, , 5F
無法有效地推出6/4這個答案。至少9/1就是可能答案之一。
10/21 22:17, 5F
→
10/21 22:18, , 6F
不曉得你有沒有發現？
10/21 22:18, 6F
→
10/21 22:19, , 7F
詭異的是，原本你宣稱在這一個題目中，"不知道"應被理解
10/21 22:19, 7F
→
10/21 22:20, , 8F
為現在不知道，且等一下也不知道。
10/21 22:20, 8F
推
10/21 22:27, , 9F
請你直接告訴我一個以模態詞作為主要邏輯語詞的語句的真
10/21 22:27, 9F
→
10/21 22:28, , 10F
值條件如何給定。在給出你的真值條件後，請寫下你的推論
10/21 22:28, 10F
→
10/21 22:29, , 11F
過程。雖然我知道你的推論一定是無效的，但我希望你能在
10/21 22:29, 11F
→
10/21 22:30, , 12F
重建推論時，發現自己的推論無效之處何在。(9/1是提示)
10/21 22:30, 12F
推
10/21 23:07, , 13F
請參閱兩年前推論到「若小強知道，則小明知道」的6/4派
10/21 23:07, 13F
→
10/21 23:08, , 14F
亦即「若我等下不知道，則肯定是你說不知道」的等義句
10/21 23:08, 14F
推
10/21 23:26, , 15F
「若我等下不知道，則肯定是你說不知道」亦為真，
10/21 23:26, 15F
→
10/21 23:27, , 16F
當老師生日為9/1時。請問你有看出來嗎？
10/21 23:27, 16F
推
10/21 23:36, , 17F
9/1小強說知道了，小明怎知道是1日還是5日?
10/21 23:36, 17F
推
10/21 23:40, , 18F
小明更動知道的詞義就知道了喔～
10/21 23:40, 18F
→
10/21 23:41, , 19F
當然這只是一種方法啦。
10/21 23:41, 19F
→
10/21 23:41, , 20F
你怎麼肯定小明小強在這一段對話中知道的語意都固定呢
10/21 23:41, 20F
推
10/21 23:42, , 21F
簡而言之你仍然還是不接受歧義嘛...無限loop
10/21 23:42, 21F
→
10/21 23:42, , 22F
更簡單的是，小明知道自己手上是9.
10/21 23:42, 22F
→
10/21 23:43, , 23F
你邏輯真的待加強，我說你的理解錯誤不蘊含我不認為知道
10/21 23:43, 23F
→
10/21 23:43, , 24F
在不同脈絡中可能有不同的詞義。
10/21 23:43, 24F
→
10/21 23:43, , 25F
岐義不在於「知道」兩字，而在「如果...的話」造成
10/21 23:43, 25F
→
10/21 23:44, , 26F
我都跟你說條件句不只實質蘊含了，還說我只允許一種解釋
10/21 23:44, 26F
推
10/21 23:46, , 27F
我發現你其實是在後者語意下推不出來9/1在刻意loop了
10/21 23:46, 27F
→
10/21 23:47, , 28F
小明知道自己手上是9能夠知道是1日還是5日?
10/21 23:47, 28F
→
10/21 23:47, , 29F
要不要重新回頭去看看題目?
10/21 23:47, 29F
推
10/21 23:51, , 30F
你真的想不通?因為小明知道小強手上是5時，小強不知答案
10/21 23:51, 30F
推
10/22 00:11, , 31F
所以小明知道小強手上是1時，小強會知道答案?哪推出來?
10/22 00:11, 31F
推
10/22 00:12, , 32F
你錯亂了喔。小強手上拿1時，聽到小明的第一句話，就可
10/22 00:12, 32F
→
10/22 00:13, , 33F
以推斷出小明手上不是12，但原本他不行。
10/22 00:13, 33F
推
10/22 00:17, , 34F
而小明在聽到小強這麼說的時候，他就知道小強手上不是5
10/22 00:17, 34F
→
10/22 00:18, , 35F
因為他知道小強手上是5時，小強不會從不知道變成知道。
10/22 00:18, 35F
→
10/22 00:20, , 36F
反倒當答案為6/4時，小強根本無法說出那三句中的第二句
10/22 00:20, 36F
→
10/22 00:21, , 37F
他會想說：我手上拿四，怎麼可能我一說知道你就知道。
10/22 00:21, 37F
→
10/22 00:22, , 38F
亂七八糟嘛！！
10/22 00:22, 38F
推
10/22 00:39, , 39F
噗...那你「小明知道小強手上是5時，小強不知答案」這句
10/22 00:39, 39F
→
10/22 00:40, , 40F
裏把三月排掉的邏輯怎不一體套用進來?
10/22 00:40, 40F
推
10/22 00:44, , 41F
所以你要論證的結果是6/4 和 9/1 都對?
10/22 00:44, 41F
→
10/22 00:45, , 42F
6/4在小強說了「我本來不知道，現在我知道了」就可讓
10/22 00:45, 42F
→
10/22 00:46, , 43F
明知道了。
10/22 00:46, 43F
推
10/22 01:06, , 44F
不好意思，不行。
10/22 01:06, 44F
→
10/22 01:06, , 45F
誰要論證6/4對？不是我喔
10/22 01:06, 45F
推
10/22 01:22, , 46F
你還是從頭慢慢算吧...
10/22 01:22, 46F
→
07/07 21:02, , 47F
你邏輯真的待加強，我說 https://muxiv.com
07/07 21:02, 47F
‣ 更多 luciferii 的文章
文章代碼(AID): #176rmpYT (logic)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 144 之 168 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共168篇)
‣ 更多 luciferii 的文章
文章代碼(AID): #176rmpYT (logic)