在写练习题的时候碰到了些问题，是有关Modal Logic的问题， 上次在西洋哲学版问过了， 但可能是用的方法不同(?)所以我有点看不懂， 这几天又自己再写结果又遇到问题了 呵呵.. 我怕要是有人很认真的回答我的问题，结果最後我看不懂， 那就白费他打得那麽辛苦了。所以先附上我所用的上课用书， 我想要是有学过同本书的，回答的我应该看得懂... 如果我还是不懂那可能就是我自己的问题了....orz 书： Rod Girle (2009): Modal Logics and Philosophy, Montreal & Kingston, Ithaca: McGill-Queen’s University Press. 问题： P.46 3.4 Exercises 　　2.Provide S4 counnter-examples for each of the following formulas. 　　b.(□(□p→q)v□(□q→p) 　　3.Provide T counter-examples for each of the following formulas. 　　 　　a.(□(□pv□q)≡(□pv□q) 请问这两题有人会写吗><? 这是我自己写的.... 2.b.　(□(□p→q)v□(□q→p) 　　~(□(□p→q)v□(□q→p)　(n) 　 　　　~(□(□p→q))　(n) 　 　　　~(□(□q→p))　(n) 　　 　　　◇~(□p→q)　(n) 　　　◇~(□q→p)　(n) 　　　 　　　　　nAm 　　　~(□p→q)　(m) 　　　　　□p　(m) 　　　　　 　　　　　~q　(m) 　　　 p　(m) 　　　 　　 　　 nAk 　　　~(□q→p)　(k) □q　(k) 　　　　　~p　(k) 　　　　　q　(k) ↑ 这样不是open吗? 所以是　p(m)=1 　　　　p(k)=0 　　　　q(m)=0 　　　　q(k)=1　　这样吗QQ? 不知道对不对，我自己看觉得很奇怪(但不知道是哪里怪) 只是重复写了之後还是一样... 问同学他也不会@@"身边没有人可以问了:( ps:只有打第2题的b出来，因为手写虽然还好，可是打上来好累...sorry --

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