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