《离散数学》题库.docxVIP

《离散数学》题库

《离散数学》题库

一、选择或填空

（数理逻辑部分）

1、下列哪些公式为永真蕴含式？()

(1)Q=Q→P(2)Q=P→Q(3)P=P→Q(4)P(PQ)=P

2、下列公式中哪些是永真式？()

(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)

3、设有下列公式，请问哪几个是永真蕴涵式?()

(1)P=PQ(2)PQ=P(3)PQ=PQ

(4)P(P→Q)=Q(5)(P→Q)=P(6)P(PQ)=P

4、公式x((A(x)B(y，x))zC(y，z))D(x)中，自由变元是()，约束变元是()。

5、判断下列语句是不是命题。若是，给出命题的真值。()

(1)北京是中华人民共和国的首都。(2)陕西师大是一座工厂。

(3)你喜欢唱歌吗？(4)若7+8＞18，则三角形有4条边。

(5)前进！(6)给我一杯水吧！

6、命题“存在一些人是大学生”的否定是()，而命题“所有的人都是要死的”的否定是()。

7、设P：我生病，Q：我去学校，则下列命题可符号化为()。

(1)只有在生病时，我才不去学