[請益] 通識邏輯自然演繹法問題~請高手幫忙!
可以請高手幫我解這兩題嗎?
這是通識邏輯自然演繹法的習題...
(一)
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
感謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.122.20.132
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：