作者MikuMikuMiku (咪哭咪哭)
看板W-Philosophy
標題[問題] 想請問一題有關Modal Logic的問題
時間Sat Dec 29 03:40:04 2012
第一次在這邊發文，不知道能不能問問題，如果不行的話對不起:(
不知道有沒有人學過這個，我昨天寫不出來，
今天下午又寫，結果還是寫不出來囧，
我想我腦袋已經一團混亂了...所以，想請會的人可以教我一下嗎><
P.46
3.4 Exercises
Provide S4 counter-examples for each fo the following formulas.
b. (□(□p→q)v□(□q→p))
(題目這樣打，不知道有沒有人看得懂0.0)
雖然上禮拜過問老師類似的題目了，可是我自己寫別題的時候就寫不出來...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 111.243.20.99
1F：推 t0444564:□是指可能吧? 12/29 13:37
2F：推 t0444564:其實有邏輯版喔~比較推薦去那邊問邏輯問題:) 12/29 13:37
3F：→ MikuMikuMiku:謝謝T大， ♢才是可能的意思~ 12/30 16:41
4F：→ MikuMikuMiku:我不知道有邏輯耶!晚點我會去找的:) 謝謝你~ 12/30 16:43
5F：→ MikuMikuMiku: 版 12/30 16:45