《离散数学》复习题及答案.pdfVIP

《离 散 数 学 》 试 题 及 答 案 一、选择或填空 （数理逻辑部分） 1、下列哪些公式为永真蕴含式？ ( ) (1) Q=Q→ P (2) Q=P→Q (3)P=P →Q (4) P (P Q)= P 答：（1），（4 ） 2、下列公式中哪些是永真式？ ( ) (1)( ┐ P Q)→(Q→ R) (2)P →(Q→Q) (3)(P Q)→P (4)P →(P Q) 答：（2），（3 ），（4 ） 3、设有下列公式，请问哪几个是永真蕴涵式 ?( ) (1)P=P Q (2) P Q=P (3) P Q=P Q (4)P (P→Q)=Q (5) (P→Q)=P (6) P (P Q)= P 答：（2），（3 ），（4 ），（5），（6 ） 4、公式 x((A(x) B(y ，x)) z C(y ，z)) D(x) 中，自由变元是 ( ) ，约 束变元是 (