[請益] 如何在model裡詮釋modal logic

看板logic作者 (-§-Labyrinth-§-)時間12年前 (2012/06/02 19:06), 編輯推噓1(1推 0噓 1→)
留言2則, 2人參與, 最新討論串1/3 (看更多)
教科書用model來解釋modal logic裡命題真假值如何判斷，不過有個例子一直不知 怎麼看待。箭號代表accessible relation (W1 ---> W2；W2 is accessible to W1) 把W2包起來的框框代表有一個reflexive accessible relation。 --------- | | | W2 | |-->‧--| ^ P \ / \ / \ / \ / \ P / ˇ ‧ ‧ -P W1 W3 裡面提到 In W3, ◇P is false and ◇-P is also false. In W3, □P is true and □-P is also true. 覺得不解的是，W3是這個model的終點，沒有任何accessible world，這樣子要怎麼 得知□P和◇P的真假值? 直覺是□P和◇P真假值要一樣，不是1就是0，但是解說裡 這兩個modal operator得出的真假值是不同的...... 而且我還是不知道該選1還是0...... -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.233.70 ※ 編輯: maibells0 來自: 140.112.233.70 (06/02 19:07) ※ 編輯: maibells0 來自: 140.112.233.70 (06/02 19:13)
推
06/02 20:23, , 1F
這有點像是一階邏輯但 domain 竟然是空的狀況？xD
06/02 20:23, 1F
→
06/08 23:50, , 2F
用 standard translation 去做的話，其實就是 domain 為空的
06/08 23:50, 2F
‣ 更多 maibells0 的文章
文章代碼(AID): #1FoVF8Va (logic)
討論串 (同標題文章)
以下文章回應了本文 (最舊先)：
完整討論串 (本文為第 1 之 3 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共3篇)
‣ 更多 maibells0 的文章
文章代碼(AID): #1FoVF8Va (logic)