作者MathTurtle (恩典)
看板logic
标题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
1F：推 Yures:呃...上面的推导应该是有写完喔。@@" 03/30 22:41