- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学练习题含答案
The Standardization Office was revised on the afternoon of December 13, 2020
离散数学试题
第一部分选择题
一、单项选择题
.下列是两个命题变元P,q的小项是(C )
TOC \o 1-5 \h \z A ? p An pAq B .
C . n pAq D .
.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了, 化为(D )
A . p—M q B
c ? pAq
.下列语句中是命题的只有(A )
A . 1+1=10 B .
C ? sinx+siny0 D .
4.下列等值式不正确的是(C )
A ?-| (Vx)A= (3x)-i A
B . (Vx)(B—A(x))oB—(Vx)A(x)
C . (3 x)(A(x) A B(x))(3 x)A(x) A (3 x)B(x)
1 pVq1 PVpVq
1 pVq
1 PVpVq
但是路不滑■可符
pVn q
D . pA~! q
x+y=10
x mod 3=2
.谓词公式(mx)P(x,y)A(X/x)(Q(x,zL(mx)(Vy)R(x.y,z)中量词 vx 的辖域是
(C )
A . (Vx)Q(x,z)-*(3x)(Vy)R(x.y,z))
B . Q(x.z)-?(Vy)R(x,y,z)
C Q(x,z)—*( 3 x)( V y )R(x,y,z)
D . Q(x,z)
.设 A=(a.b.c.d), A 上的等价关系 R={ a,b,b.a,c.d,d.c) UIA,则对应于
R的A的划分是(D )
A - {{a},{b,c|,(d)| B . {{a.b},{c},{d}}
C. {(a),{b},|c),{d)| D- ({a,b),(c,d()
.设A={0), B=P(P(A)),以下正确的式子是(A )
A . (0.{0))EB B . ({0.0||EB
C . ({0|,((0)))GB D . {0,{{0))|EB
.设X, Y, Z是集合,一是集合相对补运算,下列等式不正确的是(A )
A . (X-Y)-Z=X-(YnZ)
B . (X-Y)-Z=(X-Z)-Y
C . (X-Y)-Z=(X-Z)-(Y-Z)
D . (X-Y)-Z=X-(YUZ)
.在自然数集N上,下列定义的运算中不可结合的只有(D )
A . a*b=min(a,b)
B . a*b=a+b
C . a*b=GCD(a.b)(a.b 的最大公约数)
D . a*b=a(mod b)
10.设R和S是集合A上的关系.Rns必为反对称关系的是(A )
A -当R是偏序关系,S是等价关系:B .当R和S都是自反关系;
C ,当R和S都是等价关系;D .当R和S都是传递关系
II .设R是A上的二元关系、且R?RqR,可以肯定R应是(D )
A .对称关系;B .全序关系:C .自反关系;D 一传递关系
第二部分非选择题
二、填空题
.设论域是(a.b.c),则(Vx)S(x)等价干命题公式 S(a) A S(b) Z\ S(c) ; (3x)S(x)
等价于命题公式S(a)VS(b) VS(c)。
.设R为A上的关系,则R的自反闭包r(R)=_RU 1A一,对称闭包s(R)=_R
UA_O
.某集合A上的二元关系R具有对称性,反对称性,自反性和传递性,此关
系R是其关系矩阵是_只有主对角线上元素为1 。
三、计算题
. (4分)如果论域是集合(a,bx),试消去给定公式中的量词:
GyXVxXx + y = 0)o
f?: (3y) (Vx)(x+y=O)
=(3y) ((a+y=O) A (b+y=O) A(Ly=O))
=((a+a=O)A (b十a=0)A (c+a=O)) V ((角十b=0)A (b+b=0)A (c+tf=0))
V C (a+c=0) A (b+c=0) A (c+c=0))
.用等值演算求下面公式的主析取范式。(TtQ)t(「QvP)
gVp)
=_, (pVg) V (\Vp)
=(「pA「q) Vr q Vp
4 Vp
二(「”(pVF) V(pA(qV「0))
= (pA\) VLpE 砂 V(pAg) V(pA\)
土(「pA」)V (pA\) V (/Ag)
=晚Vr V啊
用等值演算法求公式TPt⑵一 (Ft「Q)的主合取范式°
解;-| (pf q) q)
=1(1 pVq) — pVn q)
= (pAl q) — (~1 pVl q)
=X(pA-] q)-* (n pV-| q) ) A ( (-| pV-| q)-*(pA-| q))
=n (pAn q)VCn pVn q))A(n (i pVn q) V
文档评论(0)