作者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