山东大学离散数学题库及答案计本.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 、设有下列公式，请问哪几个是永真蕴涵式