Re: [請益] 有個邏輯寶箱問題
嗯 你這樣做是有解
不過我不認同你這樣formalize
關於你的(1),(2),(3),(4)沒有恰當的表達出原本的意思
應該改寫成這樣較合適 (不過我認為下面的式子還是不夠好...)
(1') Ta -> ((Tb -> ( ~Ta v ~Ga ))^ Ga)
(2') Tb -> ((~Ta -> ( ~Tb v ~Ga)) ^ Ga)
(3') ~Ta ->((~Tb -> (Ta v ~Ga)) v ~Ga)
(4') ~Tb ->((Ta -> (Tb v ~Ga)) v ~Ga)
不幸的是 按我的做法這是inconsistent
但這與我們直覺不符
因為無論是甲或乙所說的任何直述句只有可能T or F, but not both
但無論甲或乙說的是真話還是假話 都可以自題目中導出
並且 黃金在哪個箱子或都不在都可以
所以我才說這題在初階邏輯應該沒辦法解決
※ 引述《catso (catso)》之銘言：
: 首先假設黃金必然在箱子里，且只可能在甲乙中的一個箱子里。用FOL形式化系統：
: isT(x) :x說真話
: isG(x) :黃金在x中
: 常量（constant）：A為甲，B為乙
: 根据題意可得如下規則(rule)：
: (1) isT(A) -> isT(B) ^ isG(A)
: (2) isT(B) -> not isT(A) ^ isG(A)
: (3) not isT(A) -> not isT(B) v not isG(A)
: (4) not isT(B) -> isT(A) v not isG(A)
: (5) not isG(A) -> isG(B)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.136.172.64
※ 編輯: aletheia 來自: 220.137.251.56 (10/06 23:44)
→
10/06 23:44, , 1F
10/06 23:44, 1F
※ 編輯: aletheia 來自: 220.137.251.56 (10/06 23:55)
→
10/07 00:48, , 2F
10/07 00:48, 2F
→
10/07 00:50, , 3F
10/07 00:50, 3F
→
10/07 00:52, , 4F
10/07 00:52, 4F
推
10/07 00:56, , 5F
10/07 00:56, 5F
→
10/07 00:58, , 6F
10/07 00:58, 6F
→
10/07 00:58, , 7F
10/07 00:58, 7F
→
10/07 01:00, , 8F
10/07 01:00, 8F
→
10/07 01:04, , 9F
10/07 01:04, 9F
→
10/07 01:06, , 10F
10/07 01:06, 10F
→
10/07 01:14, , 11F
10/07 01:14, 11F
→
10/07 01:17, , 12F
10/07 01:17, 12F
→
10/07 01:15, , 13F
10/07 01:15, 13F
→
10/07 01:18, , 14F
10/07 01:18, 14F
→
10/07 01:19, , 15F
10/07 01:19, 15F
→
10/07 01:20, , 16F
10/07 01:20, 16F
→
10/07 01:21, , 17F
10/07 01:21, 17F
討論串 (同標題文章)