离散数学试题及答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式？()Q=QTP(2)Q=PTQ(3)P=PTQ(4)PA(PvQ)=P答：(1)，(4)2、下列公式中哪些是永真式？()(1) (qPAQ)T(QTR)(2)PT(QTQ)(3)(PaQ)TP(4)PT(PvQ)答：(2)，(3)，(4)3、设有下列公式，请问哪几个是永真蕴涵式?()(1) P=PAQ(2)PAQ=P(3)PAQ=PvQ(4)Pa(PTQ)=Q(5)(PTQ)=P(6)Pa(PvQ)=P答：(2)，(3)，(4)，(5)，(6)4、公式Vx(A(x)B(y,x)a3zC(y,z)tD(x)中，自由变元是()，约束变元是()。答：x,y,x,z5、判断下列语句是不是命题。若是，给出命题的真值。()(1)北京是中华人民共和国的首都。(2)陕西师大是一座工厂。(3)你喜欢唱歌吗？(4)若7+818，则三角形有4条边。(5)前进！(6)给我一杯水吧！答：(1
