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

[demihsieh (Demih)]

可以請高手幫我解這兩題嗎?
這是通識邏輯自然演繹法的習題...

(一)
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