作者somedoubt (人獨立燕雙飛)
看板logic
標題[討論] "知道"與"不知道"是否為反義詞？
時間Tue Oct 23 11:09:42 2007
因為我所要討論的與號稱微軟面試題的討論主軸已不相同，故另闢標題。
所幸我所要討論之物依舊屬於初階邏輯的範圍之內，所以我發此文章。
首先，讓我先固定"反義"的詞義，免得又失焦。
當我說"A","B"互為反義詞時，我是在說 (X)(Ax≡~Bx)
而(X)(Ax≡~Bx)與(X)((Ax→~Bx)＆(Bx→~Ax))同義。
也就是說，"某物是A"與"某物是B"這兩句話不可能同時為真。
現在路西瓜版友說："X知道A"包含"X一開始知道A"以及"X等一下(聽完我說後)知道A"。
我們可以理解他是在說"X知道A"的意思有可能是X一開始就知道A或者X等一下知道A。
而這句話的意思就是 (Kxa≡(Kxat1ˇKxat2))。
用三條槓的原因是，他在先前的文章中，以後件作為X知道A的充份條件。
同時他也說："X不知道A"的意思有可能是X一開始不知道A或X聽完我說之後還是不知道A。
這句話的意思就是 (~Kxa≡(~Kxat1ˇ~Kxat2))。
用三條槓的原因是他先前以這兩種可能語意作為X不知道A的充份條件。
邏輯敏銳一點的人馬上會發現他的知道與不知道不是反義字。
但他卻在整篇文章中將之視為反義字來使用。
如果將不知道視為知道的反義字，那麼"X不知道A"的意思就是X一開始不知道且等一下
也不知道X。那麼路西瓜得不出6/4這個答案。
如果將知道視為不知道的反義字，那麼"X知道A"的意思就是X一開始知道且等一下也
知道X。同樣地，那麼路西瓜得不出6/4這個答案。
僅當同時使用上述對於知道與不知道的語意，同時又將兩者視為反義詞，他才可以
得出6/4這個答案。但是使用矛盾的前提可以得出任何你想要的答案。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.114.118.138
1F：→ somedoubt:又，如果將知道視為不知道的反義字，小強確實在說謊。 10/23 11:11
2F：→ somedoubt:說一句話為真根本就不是在說該句話在所有可能的語意中 10/23 11:13
3F：→ somedoubt:皆為真。6/4是正解僅當將原條件句理解為如果你一開始就 10/23 11:14
4F：→ somedoubt:知道，那麼我就知道。你可以先承認這一點嗎？有錯不認， 10/23 11:15
5F：→ somedoubt:只會讓你的矛盾越來越多。 10/23 11:16
※ 編輯: somedoubt 來自: 140.114.118.138 (10/23 12:57)
6F：→ somedoubt:改成這樣路西瓜版友應該可以比較容易看懂。 10/23 12:57
7F：→ somedoubt:不要再吵了。 10/23 13:55
8F：推 luciferii:你只是亂改我的話然後亂推一通...很難看，真的。 10/24 01:22
9F：推 ericsonzhen:你也蠻難看的 我說真的 11/02 11:48