离散数学证明题(共5页).doc

精选优质文档-倾情为你奉上证明题1.用等值演算法证明下列等值式：（1）(PQ)(PQ)(PQ)（2）(PQ)(PQ)(PQ)(PQ)证明：（1）(PQ)(PQ)(QP)(PQ)(QP)(PQ)(QP)(PQ)(PP)(QQ)(PQ)(PQ)(PQ) （2）(PQ)(PQ)(PP)(PQ)(QP)(QQ)(PQ)(PQ)2构造下列推理的证明：（1）前提：，R 前提：。（2）前提：Q P, Q S , S M , MR前提：结论：PQ（3）前提：P (Q R) , S P , Q结论：S R（4）前提：(PQ) ( RS), (SM) U结论：P U（5）前提：P Q ,RQ , RS结论：P（6）前提：PQ ， P R , Q S结论：RS证