作者dementia (妖精尾巴魔导士)
看板logic
标题Re: [请益] 请问一个有关逻辑的基本问题
时间Wed Mar 30 01:45:44 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呢@@?
: 感谢大家罗!
可以
有效推论(valid argument)并不要求前提都为真
其实这种情况
可以用来证明前提是不一致的(inconsistent)
因此前提不可能同时为真
: → yujamesyu:命题3就自相矛盾，所以推出任何结论都是有可能的
命题3没有自相矛盾
在S为假而且Q为真的时候
或者
在S为真而且Q为真的时候
"(S^~Q)>Q"这句话为真
以上
--
http://myusername.pixnet.net/blog
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.59.10.5
※ 编辑: dementia 来自: 61.59.10.5 (03/30 01:49)
1F：推 yujamesyu:嗯，第二句可忽略 03/30 02:03
2F：推 Yures:不是想吹毛求疵...不过原波问的推导是语法概念，你回答的 03/30 22:43
3F：→ Yures:有效推论是语意概念。所以其实不算真正回答到原波的问题。@@ 03/30 22:44
差在哪里 @@
4F：推 sandyclaws:先感谢大家罗~!!!!! 03/30 23:04
※ 编辑: dementia 来自: 118.168.91.116 (04/02 01:47)