Re: [請益] 請問一個有關邏輯的基本問題
※ 引述《MathTurtle (恩典)》之銘言：
: 標題: Re: [請益] 請問一個有關邏輯的基本問題
: 時間: Wed Mar 30 01:23:14 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呢@@?
: : 感謝大家囉!
: 這個應該是所謂的RAA推論規則,
: 但上面的proof沒有寫完, 應該還要加上:
: 8. Q^~Q (2, 7 CONJ)
: 9. Q (1-8 RAA)
:
: --
: ※ 發信站: 批踢踢實業坊(ptt.cc)
: ◆ From: 61.217.144.117
: 推 Yures:呃...上面的推導應該是有寫完喔。@@" 03/30 22:41
well, 要看你原本給的前提是什麼。
如果題目是如同它原本給的
1.R^(S^T)
2.~Q
3.(S^~Q)>Q
/Q
那的確上面的proof是完整的。
不過我有點懷疑這是不是原本的題目就是了,
因為它看起來比較像是要練習應用RAA規則的練習題,
因此我猜原本的題目是:
1.R^(S^T)
2.(S^~Q)>Q
/Q
然後在證明的過程當中, 引入~Q 給出RAA proof,
如果是這樣的話, 沒有最後兩步先推出矛盾再得到原假設的negation,
證明會是錯的。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.115.97.84
※ 編輯: MathTurtle 來自: 59.115.97.84 (03/31 14:45)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 4 之 4 篇)：