大学《离散数学》题库及答案.docVIP

word文档可编辑——欢迎下载 word文档可编辑——欢迎下载 PAGE PAGE 91 word文档可编辑——欢迎下载 《离散数学》题库与答案 一、选择或填空 （数理逻辑部分） 1、下列哪些公式为永真蕴含式？(　　A　) (1)Q=Q→P (2)Q=P→Q (3)P=P→Q (4)P(PQ)=P 答：在第三章里面有公式（1）是附加律，（4）可以由第二章的蕴含等值式求出（注意与吸收律区别） 2、下列公式中哪些是永真式？( ) (1)(┐PQ)→(Q→R) (2)P→(Q→Q) (3)(PQ)→P (4)P→(PQ) 答：（2），（3），（4） 可用蕴含等值式证明 3、设有下列公式，请问哪几个是永真蕴涵式?( ) (1)P=PQ (2) PQ=P (3) PQ=PQ (4)P(P→Q)=Q (5) (P→Q)=P (6) P(PQ)=P 答：（2）是第三章的化简律，（3）类似附加律，（4）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真