《2005年7月全国自考离散数学试题试卷真题.doc》.docVIP

全国2005年7月高等教育自学考试 离散数学试题 课程代码：02324 一、单项选择题（本大题共15小题，每小题1分，共15分） 在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.数理逻辑是采用（　　　）研究抽象思维规律的一门科学。 A.数学方法 B.逻辑方法 C.实践方法 D.抽象方法 2.下列式子正确的是（　　　） 3.下列含有命题p，q，r 4.设R（x）：x是实数；S（x,y）：x小于y。用谓词表达下述命题：不存在最小的实数。其中错误的表达式是：（　　　） 5.在论域D={a,b}中与公式（）A（x）等价的不含存在量词的公式是（　　　） A. B. C. D. 6.对公式的说法正确的是（　　　） A.x是约束出现，y是约束出现，z是自由出现 B.x是约束出现，y既是约束出现又是自由出现，z是自由出现 C.x是约束出现，y既是约束出现又是自由出现，z是约束出现 D.x是约束出现，y是约束出现，z是约束出现 7.偏序关系具有性质（　　　） A.自反、对称、传递 B.自反、反对称 C.反自反、对称、传递 D.自反、反对称、传递 8.下列命题正确的是（　　　） 9.以下系统是代数系统的是（　　） A.Z+,-，B.A,，a,b}