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

看板logic作者dementia (妖精尾巴魔導士)時間14年前 (2011/03/30 01:45)推噓3(3推 0噓 1→)

留言4則, 3人參與討論串3/4 (看更多)

※ 引述《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)

推

yujamesyu

03/30 02:03, , 1^F

03/30 02:03, 1^F

推

Yures

03/30 22:43, , 2^F

03/30 22:43, 2^F

→

Yures

03/30 22:44, , 3^F

03/30 22:44, 3^F