大学离散数学期末重点知识点总结(考试专用)(共1页).doc

1.常用公式p(PQ)=Q 假言推论Q(PQ)=P 拒取式p(PQ)=Q 析取三段式(PQ) (QR)=PR 条件三段式(PQ) (QR)=PR 双条件三段式(PQ)(RS)(PR)=QS 合取构造二难(PQ)(RS)(PR)=QS 析取构造二难(x)(Ax)(Bx) ( x)(Ax)(x)(Bx)(x)(Ax)(Bx) (x)(Ax)(x)(Bx)(x)(Ax) (x)(Ax)(x)(Ax) (x)(Ax)(x)(A(Bx) A(x)(Bx)(x)(A(Bx) A(x)(Bx)(x)(Ax)(Bx)