《失散数学》题库与答案一、选择或填空（数理逻辑部分）1、以下哪些公式为永真包括式
(A)(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答：在第三章里面有公式（1）是附加律，（4）能够由第二章的包括等值式求出（注意与吸取律差异）2、以下公式中哪些是永真式
()Q)→P(4)P→(PQ)(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(P答：（2），（3），（4）可用包括等值式证明3、设有以下公式，请问哪几个是永真蕴涵式
()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(P→Q)=>P(6)P(PQ)=>P(4)P(P→Q)=>Q(5)答：（2）是第三章的化简律，（3）近似附加律，（4）是假言推理，（3），（5），（6）都可以用包括等值式来证明出是永真包括式4、公式x((A(x)B(y，x))zC(y，z))D(x)中，自由变元是()，拘束变元是()
（察看定义在公式答：x,y,x,zxA和xA中，称x为指导变元，A为量词的x为辖域
在xA和xA的辖域中，x的所有出现都称为拘束出现，即称拘束变元，A中不是拘束出现的其他变项则称为自由变元
于是A(x)、B(y，x)和zC(y，z)中y为自由变元，x和z为拘束变元，在D(x)中x为自由变元）5、判断以下语句可否是命题
若是，给出命题的真值
()(1)北京是中华人民共和国的国都
(2)(3)你喜欢唱歌吗
(4)陕西师大是一座工厂
若7+8＞18，则三角形有4条边
给我一杯水吧
1(5)前进
(6)答：（1）是，T（2）是，F（3）不是（4）是，T（5）不是（6）不是（命题必定满足是陈述句，不能够是疑问句也许祈使句
）6、命题“存在一些人是大学生”的否定是()，而命题“所有的人都是要死的”的否定是()
换答：所有人都不是大学生，有些人不会死（命题的否定就是把命题前提中的量词“成存在，换成”，尔
