Re: [請益] 請問2個論證的問題

[A1Yoshi (我是按摩棒...)]

※ 引述《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
推 NaLiYung:感謝大大 我試著理解一下 3Q