推 somedoubt:為什麼你一直要把最後這個字放進去？ 10/20 15:05
→ somedoubt:明明他的意思就是在所有A不知道答案的情況下.... 10/20 15:05
→ luciferii:(最後)包含在for all裏，你驗證最後為否，則for all為否 10/20 15:06
→ forself:為什麼堅持"最後"這兩個字 我也無法理解 10/20 15:15
※ 引述《forself (無所得、故有)》之銘言：
: 預設一：小明不確定小強知不知道答案
: 預設二：小明原先不知完整日期
: ->由小明"現在我知道了"推得
: 預設三：不能保證小明一開始便確定最後能獲知答案
: 預設四：兩者皆理性 對話無矛盾 不猜測 不說謊 只推理
: 由預設一檢驗小明所說的第一句話：
: ->如果小明不知道答案 小強必不知答案
: ->如果小明知道答案 小明不確定小強知不知道答案
: ->排除小明能確定小強必然知道與必然不知道答案兩種可能---a
這裏就推錯了
如果A不知道答案 B必不知答案
=>
如果A最後不知道答案 (B必一開始不知道答案 且 B必聽完A的話後還不知道答案)
for all => for all 要特別小心
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 203.70.93.113