作者aletheia (安安咪)
看板logic
标题Re: [请益] 如何在model里诠释modal logic
时间Mon Jun 4 01:44:09 2012
※ 引述《maibells0 (-§-Labyrinth-§-)》之铭言：
: 教科书用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......
If w accesses no worlds, everything of the form D-A is false at w,
because w accesses no worlds at which A is true.
If w accesses no worlds, everything of the form S-A is true at w,
since there are no worlds that w acesses A is not true,
at all worlds that w accesses A is true.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 58.115.28.132
1F：→ maibells0:谢谢! 很直接明了! 06/04 09:27