离散数学单元测试试题1_离散数学单元测试卷

2020-02-27 其他范文下载本文

离散数学单元测试试题1由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“离散数学单元测试卷”。

临沂大学2015—2016学年度第1学期

离散数学单元测试试题一

(适用于2014级计算机科学与技术、软件工程、网络工程专业本科学生)

一、选择题(共10题，每题3分，共30分)1.下列语句中为命题的是（D)。A.这朵花是谁的？ B.这朵花真美丽啊！C.这朵花是你的吗？ D.这朵花是他的。

2.若p：他聪明；q：他用功；则“他虽聪明，但不用功”，可符号化为(B)。A.p∨q

B.p∧┐q

C.p→┐q

D.p∨┐q 3.命题公式p∨q→q的公式类型为（D)。A.矛盾式 B.非重言可满足式 C.重言式

D.条件式

4.若F(x)：x是有理数，G(x)：x能被2整除，则“有的有理数能被2整除”，可符号化为（A)。

A.x(F(x)∧G(x))

B.F(x)∧G(x)

C.xF(x)

D.xG(x)5.设F(x)表示x是火车，G(x)表示y是汽车，H(x，y)表示x比y快，命题“某些汽车比所有火车慢”的符号化公式是（B)。

A.y(G(y)→x(F(x)∧H(x,y)))B.y(G(y)∧x(F(x)→H(x,y)))C.xy(G(y)→(F(x)∧H(x,y)))D.y(G(y)→(x)(F(x)→H(x,y)))6．设集合A={1,2,3},A上的关系R={，},则R具有(D)。A.自反性 B.传递性 C.对称性 D.以上答案都不对

######7.谓词公式x(P(x)∨yR(y))→Q(x)中的 x是(C)。A.自由变元 B.约束变元

C.既是自由变元又是约束变元 D.既不是自由变元又不是约束变元

8.设X、Y是两个集合且|X|＝n，|Y|＝m，则从X到Y可产生(A)个二元关系。A.n  m B.mn

C.2n m D.nm 9.下列关于集合的表示中正确的为(C)。A.{a}{a,b,c} B.{a}{a,b,c}

C.{a,b,c} D.{a,b}{a,b,c} 10．设集合A={1,2,3,4,5},下列哪些是集合A的划分(D)。A.{{1,2},{3,5}}

B.{{1,2,3,4},5} C.{ ,{1,2},{3},{4,5}} D.{{1},{2},{3},{4},{5}}

二、填空题(共10空，每空3分，共30分)1.设p：2＋2＝5，q：明天是阴天，则命题“只要2＋2＝5，那么明天是阴天”可符号化为 p->q，其真值是 1。

2.设p:你陪伴我，q:你代我叫车子，r:我出去，则“如果你不陪伴我或不代我叫车子,我就不出去。”的符号化形式为 ¬p/¬q->r。

3.设p: 天下雨，q: 天刮风，r: 我去书店，则“如果天不下雨并且不刮风，我就去书店”的符号化形式为。

4.设S(x)∶x是大学生；K(x)∶x是运动员。则“有些运动员不是大学生”的符号化为。

5.设P(x)：x非常聪明；Q(x):x非常能干；a：小李；则“小李非常聪明且能干”的符号化形式为。

6.设F(x): x是人，G(x): x用右手写字，则“有的人并不用右手写字”的符号化形式为。