离散数学练习题

1、离散数学题库一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？()(1)q=qp (2)q=pq (3)p=pq (4)p(pq)=p 2、下列公式中哪些是永真式？( )(1)(pq)(qr) (2)p(qq) (3)(pq)p (4)p(pq)3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)p=pq (2) pq=p (3) pq=pq (4)p(pq)=q (5) (pq)=p (6) p(pq)=p4、公式x(a(x)b(y，x) $z c(y，z)d(x)中，自由变元是( )，约束变元是( )。5、判断下列语句是不是命题。若是，给出命题的真值。( )(1) 北京是中华人

2、民共和国的首都。 (2) 陕西师大是一座工厂。(3) 你喜欢唱歌吗？ (4) 若7+818，则三角形有4条边。(5) 前进！ (6) 给我一杯水吧！ 6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。7、设p：我生病，q：我去学校，则下列命题可符号化为( )。(1)只有在生病时，我才不去学校 (2) 若我生病，则我不去学校(3)当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校8、设个体域为整数集，则下列公式的意义是( )。(1) x$y(x+y=0) (2) $yx(x+y=0)9、设全体域d是正整数集合，确定下列命题的真值：(1) x$

3、y (xy=y)()(2) $xy(x+y=y)()(3) $xy(x+y=x) ()(4) x$y(y=2x) ()10、设谓词p(x)：x是奇数，q(x)：x是偶数，谓词公式 $x(p(x)q(x)在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)-(3)均成立11、命题“2是偶数或-3是负数”的否定是（ ）。12、永真式的否定是（ ）(1) 永真式(2) 永假式(3) 可满足式(4) (1)-(3)均有可能13、公式(pq)(pq)化简为（ ），公式 q(p(pq)可化简为（ ）。14、谓词公式x(p(x) $yr(y)q(x)中量词x的辖域是（ ）。15、

4、令r(x):x是实数，q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为（ ）。12指出下列公式哪些是恒真的哪些是恒假的：(1)p（p q）q(2)（p q）（pq）(3)（p q） （qr）（p r ）(4)（p q）（p qp q）14证明下面的等价式：(1) (p(qr)(qr)(pr)=r(2) p(qp)=p(pq)(3) p(qr)=(pq)(pr)(4) (pq)(rq)=(pr)q29试用演绎法证明pq，qr，pm，m共同蕴涵r(pq)一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？()(1)q=qp (2)q=pq (3)p=pq (4)p(pq

5、)=p 答：（1），（4）2、下列公式中哪些是永真式？( )(1)(pq)(qr) (2)p(qq) (3)(pq)p (4)p(pq) 答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)p=pq (2) pq=p (3) pq=pq (4)p(pq)=q (5) (pq)=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,z5、判断下列语句是不是命题。若是，给出命题的真值。( )北京是中华人民共和国的首都。 (2) 陕西师大是

6、一座工厂。(3) 你喜欢唱歌吗？ (4) 若7+818，则三角形有4条边。(5) 前进！ (6) 给我一杯水吧！ 答：（1） 是，t （2） 是，f （3） 不是（4） 是，t （5） 不是 （6） 不是6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。答：所有人都不是大学生，有些人不会死7、设p：我生病，q：我去学校，则下列命题可符号化为( )。(1)只有在生病时，我才不去学校 (2) 若我生病，则我不去学校(3)当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校答：（1） （2） （3） （4）12、永真式的否定是（ ）(1) 永真式(

7、2) 永假式(3) 可满足式(4) (1)-(3)均有可能 答：（2）11、命题“2是偶数或-3是负数”的否定是（ ）。 答：2不是偶数且-3不是负数。13、公式(pq)(pq)化简为（ ），公式 q(p(pq)可化简为（ ）。答：p ，qp1下列语句中不是命题的只有( )a鸡毛也能飞上天？ b或重于泰山，或轻于鸿毛。c不经一事，不长一智。 d牙好，胃口就好。5令p：张三做这件事，q：李四做这件事，则命题“这件事由张三和李四中的一人去做”可符号化为( )ap q b(pq)(pq)c(pq)(pq) d(pq)(pq)6从真值角度看，命题公式的全部类型是( )a永真式 b永假式c永真式，永假式

8、 d永真式，永假式，可满足式7下述命题公式中，是重言式的为（ ）。a、 ； b、 ；c、 ； d、 。26下列语句中不是命题的只有( )a这个语句是假的。b1+1=2.0c飞碟来自地球外的星球。d凡石头都可练成金。27下列语句是命题的有（ ）。a、明年中秋节的晚上是晴天； b、；c、当且仅当x和y都大于0； d、我正在说谎。28设p：天下大雨，q：他在室内运动，命题“除非天下大雨，否则他不在室内运动”可符合化为( )a. pqb. pqc. pqd. pq29下列各命题中真值为真的命题有（ ）。a、2+2=4当且仅当3是奇数； b、2+2=4当且仅当3不是奇数；c、2+24当且仅当3是奇数；

9、d、2+24当且仅当3不是奇数；30下列命题公式为重言式的是( )aq（pq）bp（pq）c（pq）pd（pq）q31下列等价式成立的有（ ）。a、 ； b、 ；c、 ； d、。54下列语句中是真命题的只有( )a宇宙间只有地球上有生命。 b我正在说谎。c大偶数都是两个素数之和。 d17只能被1和它本身整除。55命题“我不能一边听课，一边看小说”的符号化为（ ） ； ； ； 。56设p：我想睡，q：我去学习，命题：“除非我想睡，否则我就去学习”的符号化正确的是( )apq bpqcpq dpq57若公式的主析取范式为则它的主合取范式为（ ） ； ； 。59下列命题公式中不是重言式的是( )ap

10、(qr) bp(qp)c p(pp) d(p(qr) (q(pr)61下列表达式正确的有（ ） ； ； ； 。4n个命题变元可产生（ ）个互不等价的小项。 n ； n2 ； 2n ； 2n。27、判断下面推理是否正确，并证明你的结论。 如果小王今天家里有事，则他不会来开会。如果小张今天看到小王，则小王今天来开会了。小张今天看到小王。所以小王今天家里没事。28、公安人员审理某珠宝商店的钻石项链的失窃案，已知侦察结果如下：（1）营业员a或b盗窃了钻石项链（2）若b作案，则作案时间不在营业时间（3）若a提供的证词正确，则货柜未上锁（4）若a提供的证词不正确，则作案发生在营业时间（5）货柜上了锁试问：

11、作案者是谁？要求写出推理过程。32、在自然推理系统p中，利用附加前提法证明下面推理： 前提：结论： s1设p：我将去市里，q：我有时间命题“我将去市里，仅当我有时间时”符号化为( )a b c d 正确答案：b因为语句“仅当我有时间时”是“我将去市里”的必要条件，所以答案b是正确的。问：如果把“我将去市里”改成“我将去打球”、“我将去旅游”等，会符号化吗？2设命题公式g：,则使公式g取真值为1的p，q，r赋值分别是 ( )a0, 0, 0 b0, 0, 1 c0, 1, 0 d1, 0, 0 正确答案：d 由教材162页的条件联结词“”运算的真值表可知，当p取真值时，p取假值，则无论后件qr取

12、真值还是假值，结果都是真的。因此答案d是正确的。3下列公式 ( )为重言式a(p(pq) q b(b(ab) (a(ab) c(p(qp)(p(pq) dabab正确答案：c 因为： p(pq) p (pq) p (pq) p (p q) p (q p) p (q p) p (q p) 所以，c是重言式 4命题公式的主析取范式是( )a b c d正确答案：a复习主析取范式的定义：定义6.6.5 对于给定的命题变元，如果有一个等价公式，它仅仅有小项的析取组成，则该等价式称为原式的主析取范式而小项的定义是：定义6.6.4 n个命题变元的合取式，称为布尔合取或小项，其中每个变元与它的否定不能同时存

13、在，但两者必须出现且仅出现一次由此可知，答案c和d是错的。又因为 (p q ) (p q) p q所以，答案a是正确的。二、填空题1命题公式的真值是 应该填写：1因为p(qp) 1，所以应该填写：1。2设p：他生病了，q：他出差了r：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 应该填写：(pq)r一般地，当语句是由“如果，那么”，或“若，则”组成，它的符号化用条件联结词3含有三个命题变项p，q，r的命题公式pq的主析取范式是 应该填写：(pqr) (pqr) 关于主析取范式的定义，在单选题的第4题已经复习了，由小项的定义知道，命题公式pq中缺少命题变

14、项r与它的否定，因此，应该补上，即pqpq (rr) (pq r) (pqr)得到命题公式pq的主析取范式。三、公式翻译题 1请将语句“今天不是天晴”翻译成命题公式解：设p：今天是天晴； 命题公式为： p 2请将语句“我去书店，仅当天不下雨”翻译成命题公式解：设 p：我去书店，q：天不下雨， 命题公式为：p q 3请将语句 “有人不去工作”翻译成谓词公式 解：设p(x)：x是人，q(x)：x去工作， 谓词公式为： ($x)(p(x) q(x)如果语句是“所有人都不去上课”,那么谓词公式应该怎样呢? 4请将语句“所有人都努力工作”翻译成谓词公式 解：设p(x)：x是人，q(x)：x努力工作 谓词

15、公式为： (x)(p(x) q(x)四、判断说明题（判断下列各题，并说明理由） 1命题公式为永假式 解：正确 因为，由真值表 pqqp( qp)( qp) p00100010101010011100可知，该命题公式为永假式 2下面的推理是否正确，请给予说明(1) xa(x)$ xb(x) 前提引入(2) a(y)b(y) us (1) 解：错推理过程应为：(1) xa(x)$xb(x) 前提引入(2) xa(x)$ub(u) t(1)（换名规则）(3) x$u(a(x)b(u) t(2)(4) x(a(x)b(y) es(3)(5) a(y)b(y) us (4)如果把原题中的推理过程改为(1

16、) (x)a(x) b(x) 前提引入(2) a(y)b(y) us (1)更好些。这个推理的第2步也是错的，正确的应该是：a(y)b(z)，因为约束变元与自由变元不能混淆。五计算题1（1）求命题公式的主析取范式、主合取范式；（2）求该命题公式的成假赋值解：（1） (主析取范式) (主合取范式)（2）因为命题公式的成真赋值是(1, 0)，所以它的成假赋值是(0, 0)，(0, 1)，(1, 1)2求公式的析取、合取、主析取、主合取范式 解： （析取、合取、主合取范式）(p(qq)(rr)(pp)q(rr)(pp)(qq)r) (pqr)(pqr)(pqr)(pqr)(pqr)(pqr)(pqr

17、) （主析取范式）问: 公式的析取、合取、主析取、主合取范式?六、证明题 1试证明命题公式 (p(qr)pq与（pq）等价 证：(p(qr)pq(p(qr)pq (pqr)pq (ppq)(qpq)(rpq) (pq)(pq)(pqr) pq （吸收律） (pq) （摩根律） 2试证明 xa(x)xb(x)x(a(x)b(x)分析：前提：xa(x)xb(x)结论：x(a(x)b(x)证：(1) xa(x)p(2) a(a) us(1) (3) xb(x) p(4) b(a) us(3)(5) a(a) b(a) t(2),(4) i (6) x(a(x)b(x) ug(5)下面对本课程的考核做一些说明。 考核对象：本课程的考核是中央广播电视大学开放教育本科电气信息类计算机科学与技术专业的学生考核依据：以本课程的教学大纲（2007年6月审定）和指定的参考教材为依据制定的本课程指定的参考教材是李伟生主编的、中央广播电视大学出版社出版的离散数学 考核方式：本课程的考核实行形成性考核和终结性考核相结合的方式其中终结性考核采用半开卷、笔试方式，试卷满分100分 半开卷考试允许考生携带指定的一张专用a4纸（统一印制），考生可以将自己对全课程学习内容的总结归纳写在这张a4纸上带入考场，作为答卷时参考 考试时间：90分钟试题类型及结构：单项选择题的分数占15，填空题的分数占15，公式翻译题