作者demihsieh (Demih)
看板logic
标题[请益] 通识逻辑自然演绎法问题~请高手帮忙!
时间Thu Jan 5 23:15:59 2012
可以请高手帮我解这两题吗?
这是通识逻辑自然演绎法的习题...
(一)
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