《离散数学结构试题集2011.doc》由会员分享，可在线阅读，更多相关《离散数学结构试题集2011.doc（72页珍藏版）》请在金锄头文库上搜索。
1、第1章一.填空题1. 2. 公式P(QR)在联结词全功能集,中等值形式为_。3. 4. 5. 6. 7. 全体小项的析取式必为_式。8. P,Q为两个命题，则德摩根律可表示为7. 全体小项的析取式必为_式。9. P,Q为两个命题，则吸收律可表示为_ 。10. 设P：我有钱，Q：我去看电影。命题“虽然我有钱，但是我不去看电影”符号化为_。11. 设P：我生病，Q：我去学校。命题“如果我生病，那么我不去学校”符号化为_。12. 13. 14. 15. 设P、Q为两个命题，交换律可表示为_。16. 17. 命题“如果你不看电影，那么我也不看电影”（P：你看电影，Q：我看电影）的符号化为_ 。18.
2、19. 20. 21. P：你努力，Q：你失败。命题“除非你努力，否则你将失败”的翻译为_。22. 23. 24. 一个重言式和一个矛盾式的合取是_。25. 全体小项的析取式为_ 。26. 命题“如果你不看电影，那么我也不看电影”（P：你看电影，Q：我看电影）的符号化为_。27. 28. 设P：它占据空间，Q：它有质量，R：它不断运动，S：它叫做物质。命题“占据空间的，有质量的而且不断运动的叫做物质”的符号化为_。29. 30. 解答:1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.26.27.28.29.30
3、.二.选择题1. 2. 3. 在除之外的四大联结词中，满足结合律的有几个( )。A. 2 B.3 C. 4 D. 14. 判断下列语句哪个是命题( )。A.你喜欢唱歌吗？ B.若7+818，则三角形有4条边。C.前进！ D. 给我一杯水吧！5. 6. 7. 8. 永真式的否定是（ ）A. 永真式B. 永假式C. 可满足式D. A-D均有可能9. 下面哪一个是假命题（ ）。A.如果2是偶数，那么一个公式的析取范式唯一。B.如果2是偶数，那么一个公式的析取范式不唯一。C. 如果2是奇数，那么一个公式的析取范式唯一。D. 如果2是奇数，那么一个公式的析取范式不唯一。10. 设p:天下大雨，q:小王乘
4、公共汽车上班，命题“只有天下大雨，小王才乘公共汽车上班”的符号化形式为( )。A. pq B. qp C. pq D. pq11. 设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为( )。A.pq B.qp C.qp D.pq12. 下面4个推理定律中，不正确的为( )。 A.A=(AB) (附加律) B.(AB)A=B (析取三段论) C.(AB)A=B (假言推理) D.(AB)B=A (拒取式)13. 使命题公式p(pq)为假的赋值是 ( )。 A.10 B.01 C. 00 D.1114. 令p：今天下雪了，q：路滑，则命题“虽然今天
5、下雪了，但是路不滑”可符号化为（ ）。A. pq BpqC.pq Dpq15. 一个公式在等价意义下，下面哪个写法是唯一的（ ）。 析取范式 B合取范式 主析取范式 D以上答案都不对16. 令p：今天下雨了，q：我上学，则命题“因为今天下雨了，所以我不上学了”可符号化为（ ）。Apq BpqCpq Dpq17. 下列各组公式中哪组互为对偶（ ）。(P为原子命题，A为复合命题)A. P,P B. P, PC. A, (A*)* D. A,A18. 19. 20. 21. 22. 23. 24. 25. 下列语句哪个是命题（ ）。A.9+512 B. x+3=5C.我用的计算机CPU主频是1G吗？
6、 D 我正在说谎。26. 27. 28. n个命题变元可产生（ ）个互不等价的大项。A. n B. n2 C. 2n D. 2n29. 下列各命题中真值为真的命题有（ ）。A.2+2=4当且仅当3是奇数 B.2+2=4当且仅当3不是奇数C.2+24当且仅当3是奇数 D.2+25当且仅当3不是奇数30. 下列语句哪个不是命题（ ）。A.雪是黑的。 B. 天气多好啊！C.今天下雨。 D 我学英语，或者我学日语。解答:1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.26.27.28.29.30.三.判断题1. “我正
7、在说谎。”是一个命题。 （ ）2. 一个命题标识符如表示确定的命题，就称为命题常量。（ ）3. “她昨天做了一顿或两顿饭。”是个原子命题。（ ）4. 命题公式是没有真假值的，仅当在一个公式中命题变元用确定的命题代入时，才得到一个命题。（ ）5. 如果A和B是合式公式，那么(A B)是合式公式。（ ）6. 原子谓词公式是合式公式。（ ）7. 一般来说，n个命题变元组成的命题公式共有2n中真值情况。（ ）8. 任何两个重言式的合取或析取，仍然是一个重言式。（ ）9. 重言式和矛盾式的析取是重言式。（ ）10. 在真值表中，一个公式的真值为F的指派所对应的大项的析取，即为此公式的主析取范式。（ ）1
8、1. 从假的命题出发，能证明任何命题。（ ）12. 全体小项的析取式永为假 。（ ）13. 连接词和是可交换的，也是可结合的。（ ）14. PQ =PPQ。（ ）15. 由n个命题变元组成不等值的命题公式的个数为2n。（ ）解答:1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.四.计算题1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 解答:1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.五.证明题1. 2. 3. 解答:1.2.3.第2章一.填空题1. 2. 3. 4. 5. 6. 7. 8.
9、 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 解答:1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.二.选择题1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 解答:1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.26.27.28.29.30.三.判断题1. “如果1+2=3，则4+5=9。”是真命题。（ ）2. 约束变元换名时，一定要更改为作用域中没有出现的变元名称。（ ）3. 4. 简单命题函数由一个谓词和一些客体变元组成。（ ）5. 单独一个谓词，不是完整的命题。（ ）6. 任意一个谓词公式均和一个前束范式等价。（ ）7. 8. 9. 10. 11. 12.
