腦袋打結的ERGO問題 - 桌遊

※ 引述《ecreator (Free Loop)》之銘言：
: 感謝解答
: 為了確認我的認知是對的
: 下面我這樣推論是對的嗎?
: (A or B) then D
: A
: C
: 打出 ERGO 之後 推論 A真 B不知道 C真 D真

這個是對的

: 最後下面的例子 我推論對嗎?如果對的話 那我應該就理解無誤了.....Orz
: (A or ((B then C)then ~D))then B
: ~A
: ~C
: 推論 A假 B假 C假 D假

好這個就難了 AC假這沒有問題

第一行就得推一下了

(1) 先假設B真, 則 (B then C) 是 "真then假" = 假

而 "假then真" 跟 "假then假" 都是真

因此不論D是真是假, ((B then C) then ~D) 都為真

從而第一行整行 "真then真" = 真, 沒有矛盾

(2) 再假設B假, 則 "B then C" = "假then假" = 真

但注意到第一行要真, if and only if ((B then C) then ~D) 為假

因此D真, 無矛盾

兩種狀況都沒有矛盾

因此AC假, BD不知道

--
切記 任何事情都不能抹殺我們對唱歌的熱情

因為這是我們活著的原因

--