[請益] 請問一個有關邏輯的基本問題

看板logic作者 (剩蛋老人)時間14年前 (2011/03/29 22:53), 編輯推噓1(1推 0噓 4→)
留言5則, 2人參與, 最新討論串1/4 (看更多)
請問在邏輯的推導式中 可以推導過程或命題與結論矛盾嗎? 例如命題或是推導中 有一 ~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
推
03/30 01:24, , 1F
命題本身就矛盾的情況下，不管結論為何，皆為真。
03/30 01:24, 1F
→
03/30 01:24, , 2F
命題3就自相矛盾，所以推出任何結論都是有可能的
03/30 01:24, 2F
→
03/31 19:40, , 3F
3本來就自相矛盾
03/31 19:40, 3F
→
03/31 19:50, , 4F
我錯了...
03/31 19:50, 4F
→
03/31 19:55, , 5F
是1&2&3不能相容
03/31 19:55, 5F
‣ 更多 sandyclaws 的文章
文章代碼(AID): #1DaV9nKK (logic)
討論串 (同標題文章)
以下文章回應了本文 (最舊先)：
完整討論串 (本文為第 1 之 4 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共4篇)
‣ 更多 sandyclaws 的文章
文章代碼(AID): #1DaV9nKK (logic)