作者A1Yoshi (我是按摩棒...)
看板logic
標題Re: [請益] 請問2個論證的問題
時間Wed Apr 26 10:53:49 2006
※ 引述《NaLiYung (那裡癢)》之銘言：
: 這是作業中的其中2題@@
: 搞了好久還是不會解
: 其他的都弄完了
: 能否大大教一下如何用歸謬導論法解出命題是否為真
: 尤其是第一題快把我弄死了
: 小弟在這裡拜謝
: (1)[(P^Q^~R)->S]^(~S-> ~R)^(~S^P)-> ~Q
: (2)(P->Q)^(R->P)->(~P^~Q)
我試著解第一題，不用IP而用CP，因為IP太複雜了。前提裡有三個"^"，
如果用IP加上negation，則必須用到DM，把"^"換成"v"，但接下來很不
好處理：
1. [(P^Q^~R)->S]^(~S-> ~R)^(~S^P) Assumption
2. Q Assumption
3. ~S-> ~R 1 Simp
4. ~S^P 1 Simp
5. (P^Q^~R)->S 1 Simp
6. ~S 4 Simp
7. P 4 Simp
8. ~R 3, 6 MP
9. P^Q^~R 2, 7, 8 Conj
10. S 5, 9 MP
11. S^~S 6, 10 Conj
12. ~Q 2, 11 Negation Introduction
13. [(P^Q^~R)->S]^(~S-> ~R)^(~S^P)-> ~Q 1, 12 CP (or Conditional
Introduction)
--
PTT2 自然就是美 => 百慕達群島 => 漩渦 =>
PinkParties
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.34.175.161
1F：推 NaLiYung:感謝大大 我試著理解一下 3Q 04/26 16:33