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