离散数学 复习题以及答案.docVIP

《离散数学》试题以及答案 一、选择或填空 （数理逻辑部分） 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)中，自由变元是(? )，约束变元是(? )。 答：x,y,? x,z 5、判断下列语句是不是命题。若是，给出命题的真值。(? ? ? ? ) (1) 北京是中华人民共和国的首都。 (2)? 陕西师大是一座工厂。　 (3) 你喜欢唱歌吗？? ? ? (4)? 若7+8＞18，则三角形有4条边。　 (5) 前进！? ? ? ? ? (6)? 给我一杯水吧！ 答：（1） 是，T? ? （2） 是，F? ? （3） 不是 （4） 是，T? ? （5） 不是? ? （6） 不是 6、