作者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