※ 引述《MathTurtle (恩典)》之铭言： : 标题: Re: [请益] 请问一个有关逻辑的基本问题 : 时间: Wed Mar 30 01:23:14 2011 : : ※ 引述《sandyclaws (剩蛋老人)》之铭言： : : 请问在逻辑的推导式中 : : 可以推导过程或命题与结论矛盾吗? : : 例如命题或是推导中 有一 ~Q : : 欲求结论却是Q : : 1.R^(S^T) : : 2.~Q : : 3.(S^~Q)>Q : : /Q >是条件号 ^是连言号 : : 4.S^T(1.SIMP) : : 5.S(4.SIMP) : : 6.S^~Q(2.5.CONJ) : : 7.Q(3.6.MP) : : 既然命题都~Q了 : : 为什麽结论还可以是Q呢@@? : : 感谢大家罗! : 这个应该是所谓的RAA推论规则, : 但上面的proof没有写完, 应该还要加上: : 8. Q^~Q (2, 7 CONJ) : 9. Q (1-8 RAA) : : -- :

※ 发信站: 批踢踢实业坊(ptt.cc) : ◆ From: 61.217.144.117 : 推 Yures:呃...上面的推导应该是有写完喔。@@" 03/30 22:41 well, 要看你原本给的前提是什麽。 如果题目是如同它原本给的 1.R^(S^T) 2.~Q 3.(S^~Q)>Q /Q 那的确上面的proof是完整的。 不过我有点怀疑这是不是原本的题目就是了, 因为它看起来比较像是要练习应用RAA规则的练习题, 因此我猜原本的题目是: 1.R^(S^T) 2.(S^~Q)>Q /Q 然後在证明的过程当中, 引入~Q 给出RAA proof, 如果是这样的话, 没有最後两步先推出矛盾再得到原假设的negation, 证明会是错的。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 59.115.97.84 ※ 编辑: MathTurtle 来自: 59.115.97.84 (03/31 14:45)