离散数学期中模拟卷.docVIP

PAGE 第 PAGE 3 页 共 4页 一．单项选择题(本大题共10题，每题2分，共20分。) 1．下列句子是命题的是（ ）。 A. 水开了吗? B. x1.5 C. 再过5000年，地球上就没水了。 D.我正在说谎 2．从真值角度看，命题公式的全部类型是（　　　）。 A．永真式 B．永假式 C．永真式，永假式 D．永真式，永假式，可满足式 3．以下命题公式中，为永假式的是（ ）。 A. B. C. D. 4．下列是命题公式的成真赋值的是（ ）。 A.110，111，100 B.110，101，011 C.所有赋值 5．下列式子正确的是（ ）。 A. B.  C. D. 16. 设，上二元关系的关系图如右，具有的性质是（ ）。 1 3A. 自反性 B.对称性 C.传递性 D.反自反性 3 27．设，则下列不是集合的划分的是（ ）。 2 A. B. C. D. 8．设，是上恒等关系，要使为 上的等价关系，应取（ ）。 A. B. C. D. 9．设为整数集，为实数集，为自然数集，为集合，的幂集为，+、-、/、 为数的加、减、除、开方运算，为集合的交运算，下列系统中为代数系统的是( )。 A． B. C. D. 10．设A是非空集合，P(A)是A的幂集，是集合并运算，则系统〈P(A), 〉的幺元是（ ）。 A.P(A) B. C.A D. 二．填空题(本大题共10题，每个空格2分，共36分。) 1．假设原始命题和分别表示：天气晴好，他出去游玩，则命题“如果天气晴好，他就出去游玩”命题符号化为 ，命题“他出去游玩当且仅当天气晴好”命题符号化为 。 2．已知公式含3个命题变项，并且它的成真赋值为001，010，101，111，求的主合取范式为 ，主析取范式为 。 3．等值式 ， ， 。 4．设个体域为全体学生，令是学生，是要参加考试的，则命题“所有的学生都是要参加考试的”谓词符号化为____ 。 U U CBA5． 左图为集合的文氏图，则阴影部分区域所表示的集合的表达 C B A 式为 。 6．假设集合，则 ， 。 7．设，则A的幂集______________________ _ _。 8．设是A到B的关系，则的逆关系____________ _。 的前域 ，值域 。 9．设给定集合上的等价关系，对于，若，则和的关系是 ，并问若集合中元素个数为3，则所有等价关系的个数为多少？ 。 10.已知运算表如右，则在集合上定义的代数系统 满足交换律吗？答： 。 三．计算题(本大题共6题，共29分。) 1．求命题的真值表，并判断公式的类型。 （4分） 2．用逻辑等值式化简下列命题公式。 （6分） (1) (2) (3) 3．已知，是否必须？若是，请证明；若不是，请举反例。 （3分） 4．假设在10名学生中，有5名选了离散数学课程，有7名选了程序设计课程，其中同时选这两门课程的学生有3名，问这两门课程都没选的学生有几名？ （5分） 5．给定集合，是上的二元关系，的关系矩阵 ， 求和的关系矩阵。 （5分） 6．设，是上的整除关系， 试画出偏序集的哈斯图； 试求的极大元、极小元、最大元和最小元；