作者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