Re: [請益] 通識邏輯自然演繹法問題~請高手幫忙!

看板logic作者kaifrankwind (大師兄)時間14年前 (2012/01/06 03:13)推噓1(1推 0噓 0→)

留言1則, 1人參與討論串2/2 (看更多)

只是通識邏輯應該不會限制證明方法吧... : 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

推

demihsieh

01/06 12:05, , 1^F

01/06 12:05, 1^F

‣ 返回看板[ logic ] 邏輯

‣ 更多 kaifrankwind 的文章

文章代碼(AID): #1F1VPKBi (logic)