看板 [ logic ]
討論串[請益] 如何在model裡詮釋modal logic
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[請益] 如何在model裡詮釋modal logic
推噓1(1推 0噓 1→)留言2則，0人參與, 最新作者maibells0 (-§-Labyrinth-§-)時間12年前 (2012/06/02 19:06), 編輯資訊
2
0
0
內容預覽:
教科書用model來解釋modal logic裡命題真假值如何判斷，不過有個例子一直不知. 怎麼看待。箭號代表accessible relation (W1 ---> W2；W2 is accessible to W1). 把W2包起來的框框代表有一個reflexive accessible rel
(還有361個字)
#2
Re: [請益] 如何在model裡詮釋modal logic
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者zoneline (人來人往)時間12年前 (2012/06/04 01:25), 編輯資訊
0
0
0
內容預覽:
◇P在W3為真，即是，至少有一個Wn accessible to W3,而且在Wn裡P為真. ◇-P在W3為真，即是，至少有一個Wn accessible to W3,而且在Wn裡P為假. 由於 W3 沒有任何 accessible world, 所以. 不存在一個這樣的Wn: Wn accessi
(還有125個字)
#3
Re: [請益] 如何在model裡詮釋modal logic
推噓0(0推 0噓 1→)留言1則，0人參與, 最新作者aletheia (安安咪)時間12年前 (2012/06/04 01:44), 編輯資訊
0
0
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, everyth
(還有33個字)
首頁
上一頁
1
下一頁
尾頁