《离散数学》试题库和答案.docVIP

PAGE . . 《离散数学》题库与答案 一、选择或填空 （数理逻辑部分） 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）都可以用蕴含等值式来证明出是永真蕴含式 4、公式?x((A(x)?B(y.x))? ?z C(y.z))?D(x)中.自由变元是( ).约束变元是( )。 答：x,y, x,z（考察定义在公式?x A和?x A中.称x为指导变元.A为量词的辖域。在?x A和?x A的辖域中.x的所有出现都称为约束出现.即称x