看板 [ logic ]
討論串[請益] 通識邏輯自然演繹法問題~請高手幫忙!
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] 通識邏輯自然演繹法問題~請高手幫忙!
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者kaifrankwind (大師兄)時間14年前 (2012/01/06 03:13), 編輯資訊
0
0
0
內容預覽:
只是通識邏輯 應該不會限制證明方法吧.... 這題用間接證法就很簡單. 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
(還有273個字)
#1
[請益] 通識邏輯自然演繹法問題~請高手幫忙!
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者demihsieh (Demih)時間14年前 (2012/01/05 23:16), 編輯資訊
0
0
0
內容預覽:
可以請高手幫我解這兩題嗎?. 這是通識邏輯自然演繹法的習題.... (一). 1.(A且B)或(C且D). 2.A->C. 3.B->D /所以C且D. (二). 1.(P->Q)->R. 2.(P且~Q)->(L或M). 3.(L->N)且(M->S) /所以~(N或R)->S. 感謝. --.
首頁
上一頁
1
下一頁
尾頁