离散数学题库及案(计本).docVIP

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