※ 引述《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