作者littleshan (我要加入剑道社!)
看板logic
标题Re: [转录] 微软中国研究院最新面试题
时间Wed Oct 19 00:57:41 2005
※ 引述《yllan (蓝永伦)》之铭言：
: 下面吵了一堆都没有容易理解信服的言论，不过以上的确不能这样推论。
: 符号化地说会比较容易了解
: 现在我们知道的 fact 是这样:
: 1. 小强知 -> 小明知
: 2. N=2 or N=7 -> 小明知
: 好啦 现在我们要验证 not( M=3 or M=9) 这句话，
: 你的做法是想要推翻 (2)
: 我们如果能够在已知的知识上加上 M=3 or M=9 这句话并且造成矛盾，(inconsist)
: 我们才能说 not (M=3 or M=9) 这句话是对的
: 你的目的是说 (2) 错了，也就是得到 not (2) 的结论。
: not (2) 说的是: N=2 or N=7 而且 小明不知
: 可是你证出来的是 N=2 or N=7 -> 小明不知
: 这边有推论错误
嗯 我的确是有错
这麽看来 不管M为多少
都不会和「小强知 -> 小明知」产生矛盾 (至少现在看来是如此)
正确的解法可能还要再想想
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.62.3.35