[理工] 離散 knave&knight一題問題

[TMDTMD2487 (ㄚ冰)]

我上林緯的離散題庫(TKB

看到第一題的答案就覺得怪怪的

d) A says "I am a knave or B is a knight" and B says nothing.

老師的解是這樣寫

無法判別 A B,
1.若A為knave, 則所言不真, 所以B不能是knight, 所以B是knave
2.若A是knight, 所言為真, 因此B就得是knight


問題是1.

A若是knave那A說的話是錯的
-> ~(A is a knave or B is a knight) <-> A is a knight and b is a knave
-> A is a knight (><)
所以A不是knave

或是不要講得這麼數學就是
如果A是knave,那麼他講謊話
可是他講自己是knave, 所以他講的話是對的(因為他用or) (矛盾

我想說是書寫錯可是他上課也是照書上說的一樣
我有錯嗎

這題很有名了所以題幹什麼的我就不贅述了
有需要再po照片(ps. 今年題庫班第一題 106師大資工)



--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 134.208.0.169
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1509770229.A.E94.html
推 etesia329: A is a knave or B is a knight 這句話是or的敘述，只
→ etesia329: 要B is knight這個錯 整句就是說謊
推 etesia329: 你的數學推導把p ->q 變成p -> ~q 所以你會覺得怪怪的
我不太懂 那句話是or敘述
所以只要其中一個是對的
就不是說謊了不是嗎

一開始假設A是說謊
所以要把A的敘述not後
才是對的不是這樣嗎

我還是不理解><

推 sarsman: 我也覺得這題應該是A B都knight
→ jinxinmypant: ab都knight+1
推 awilliea: 其實我覺得答案應該是A是knight,B也是knight
→ etesia329: 剛剛仔細看真的矛盾! 應該是ab都是knight 下週幫你跟林
→ etesia329: 緯老師確認
推 jerry900287: A和B都是Knight +1而且google題目答案也是AB Knight
→ jerry900287: 若 A 說謊(Knave) 則 A為Knight 且 B為Knave 矛盾
→ jerry900287: 若 A 說實話(Knave) 則 A為Knight(0)或B為Knight(1)
→ jerry900287: 所以 AB 兩個為 Knight
推 jerry900287: 靠北上上行打錯
→ jerry900287: 若 A 說實話(Knight) 則 A為Knave(0)或B為Knight(1)
感恩各位老師應該是太自然而然的說錯了害我超錯愕的
好險大家都跟我想得一樣 歐耶

推 jacky804024: ....
→ jacky804024: 這題答案改成 AB都是騎士囉
好的! 謝謝 ^^
※ 編輯: TMDTMD2487 (134.208.0.169), 11/05/2017 15:40:10