作者kaifrankwind (大师兄)
看板logic
标题Re: [请益] 通识逻辑自然演绎法问题~请高手帮忙!
时间Fri Jan 6 03:13:21 2012
只是通识逻辑 应该不会限制证明方法吧...
: 1.(A且B)或(C且D)
: 2.A->C
: 3.B->D /所以C且D
这题用间接证法就很简单
4. ~(C and D) IP
5. A and B 1,4 DS
6. A 5 Simp
7. B 5 Simp
8. C 2,6
9. D 3,7
10.C and D 8,9 Conj
11.(C and D)and~(C and D) 矛盾
12.C and D IP 4~11
:
: (二)
: 1.(P->Q)->R
: 2.(P且~Q)->(L或M)
: 3.(L->N)且(M->S) /所以~(N或R)->S
这题用条件证法
4. ~(N or R) CP 设结论前提为真
5. ~N and ~R 4 DeM
6. ~N 5 Simp
7. ~R 5 Simp
8. ~(P->Q) 1,7 MT
9. P and ~Q 8 Impl,DeM
10.L or M 2,9 MP
11.L->N 3 Simp
12.~L 6,11 MT
13.M 10,12 DS
14.M->S 3 Simp
15.S 13,14 MP
16.~(N or R)->S CP 4~15
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 1.175.192.110
1F：推 demihsieh:谢谢尼! 01/06 12:05