离散数学第一次作业最新版3页.doc

4.用等值演算法证明下面等值式： （教材P42. 4.（2）（4）(2)(pq)(pr)(p(qr)(4)(pq)(pq)(pq) (pq)证明：（2）(pq)(pr) （ pq）（pr） p(qr) (p(qr)(4) (pq)(pq)(p(pq) (q(pq)(pp)(pq)(qp) (qq)1(pq)(pq)1(pq)(pq)14. 在自然推理系统P中构造下面推理的证明： （教材P58. 14.（4）（5）（4）前提：qp,qs,st,tr结论：pq（5）前提：pr,qs,pq结论：rs证明：（4）：tr 前提引入t 化简律qs 前提引入st 前提引入qt 等价三段论（qt）(tq) 置换（qt） 化简