作者sandyclaws (剩蛋老人)
看板logic
标题[请益] 请问一个有关逻辑的基本问题
时间Tue Mar 29 22:53:31 2011
请问在逻辑的推导式中
可以推导过程或命题与结论矛盾吗?
例如命题或是推导中 有一 ~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呢@@?
感谢大家罗!
--
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.45.162.100
1F：推 yujamesyu:命题本身就矛盾的情况下，不管结论为何，皆为真。 03/30 01:24
2F：→ yujamesyu:命题3就自相矛盾，所以推出任何结论都是有可能的 03/30 01:24
3F：→ mikechan:3本来就自相矛盾 03/31 19:40
4F：→ mikechan:我错了... 03/31 19:50
5F：→ mikechan:是1&2&3不能相容 03/31 19:55