※ 引述《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...... ◇P在W3为真，即是，至少有一个Wn accessible to W3,而且在Wn里P为真 ◇-P在W3为真，即是，至少有一个Wn accessible to W3,而且在Wn里P为假 由於 W3 没有任何 accessible world, 所以 不存在一个这样的Wn: Wn accessible to W3, 而且在 Wn 里 P 为真／假 於是，根据定义 ◇P & ◇-P 在 W3 为假 □P在W3为真，即是，对於所有Wn，如果Wn is accessilbe to W3,则Wn里P为真 这个定义又可以写成： ……即是，不存在一个Wn, Wn is accessible to W3 但Wn里P为假 现在，既然W3没有任何 accessible world，自然不存在P为假又 accessible to W3 的Wn --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 123.203.214.159