离散数学第三章[修改版]

第一篇：离散数学第三章第三章部分课后习题参考答案 14. 在自然推理系统P中构造下面推理的证明： (2)前提：pq,(qr),r 结论：p (4)前提：qp,qs,st,tr 结论：p