Re: [問題] 腦袋打結的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不知道
--
切記 任何事情都不能抹殺我們對唱歌的熱情
因為這是我們活著的原因
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.165.31.56
推
03/02 02:47, , 1F
03/02 02:47, 1F
推
03/02 14:23, , 2F
03/02 14:23, 2F
→
03/02 14:25, , 3F
03/02 14:25, 3F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 4 之 6 篇)：