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