作者luciferii (路西瓜)
看板logic
標題Re: [轉錄] 微軟中國研究院最新面試題
時間Tue Oct 23 01:01:39 2007
※ 引述《kylechen (kyle)》之銘言：
: 誰都可以任意去解釋了
: 這題我之前也提過了
: 要不然就是任意答案都可 要不就是依照絕對成立的標準推出9/1
: 因為6/4號的推法 小明第一句話 是猜測語氣 不確定而說肯定 就是說謊
是肯定語氣沒錯，不是加上「如果」兩字就一定是在猜。
「如果我不會邏輯，肯定是老師沒教。」
小明不用猜、不用說謊、不用唬爛，
小明可以很肯定他最後不知道的話，是小強一開始不知道，後來也不知道。
後述的推理是以小明說的話為真的情況下推出來的。
而6/4的答案也符合小明的話。
: 每個答案都成立的題目是無意義的
有空可以研究一下 paradox 這玩意。
基本上基礎邏輯的書裏應該都會講到一堆故事。
雖然這題不能算是 paradox 的一種。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.166.96.61
※ 編輯: luciferii 來自: 218.166.96.61 (10/23 01:09)
1F：推 somedoubt:給出這個條件句的真值條件再說，好嗎？ 10/23 01:10
2F：→ somedoubt:你如何排除你不會但是老師有教的可能性？ 10/23 01:11
3F：→ somedoubt:照你的話來說，只要不是命題邏輯中的恆真句，你大概都會 10/23 01:11
4F：→ somedoubt:說該條件句為假。 10/23 01:12
5F：推 somedoubt:邏輯教科書裡面所謂的paradox是指既不能為真亦不能為假 10/23 01:16
6F：推 luciferii:因為小明的話出現在題目裏就是恆真。除非你懷疑他說謊。 10/23 01:16
7F：→ somedoubt:的命題，請問這跟"每個答案都成立的題目是無意義的"何關 10/23 01:16
8F：→ somedoubt:唉，還恆真ㄌㄟ，我們只給定他們所說的話是實際上為真。 10/23 01:17
9F：→ somedoubt:"恆真"不是讓你這樣用的。 10/23 01:18
10F：→ somedoubt:就叫你給出真值條件以排除使其為假的情況了，還不給。 10/23 01:19
11F：推 luciferii:除了6/4.6/7 該句都為假，都證過十幾次了。 10/23 01:21
12F：推 somedoubt:喔呴呴，9/1不會使得原條件句為假喔。 10/23 01:22
13F：→ somedoubt:好啦，就這樣吧，各自保重。 10/23 01:22
14F：→ somedoubt:最後一句：9/1僅當原條件句理解為"如果你一開始就知道， 10/23 01:24
15F：→ somedoubt:則我肯定知道。"時會被邏輯地排除。 10/23 01:25
16F：→ somedoubt:若按你那種理解方式，很抱歉，不會被排除。 10/23 01:26