作者maibells0 (-§-Labyrinth-§-)
看板logic
標題[請益] 如何在model裡詮釋modal logic
時間Sat Jun 2 19:06:46 2012
教科書用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)
1F：推 Favonia:這有點像是一階邏輯但 domain 竟然是空的狀況？xD 06/02 20:23
2F：→ xcycl:用 standard translation 去做的話，其實就是 domain 為空的 06/08 23:50