专科离散数学模拟试题(一)
离散数学考试模拟试题及详细参考答案共四套
![离散数学考试模拟试题及详细参考答案共四套](https://img.taocdn.com/s3/m/3e4fd05ba5e9856a561260e9.png)
离散模拟答案11命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。
b)我今天进城,除非下雨。
c)仅当你走,我将留下。
2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x,总存在y使得xy=1。
c)f是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.一、简答题(共6道题,共32分)1.求命题公式(P→(Q→R))(R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。
(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)a)y x(x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。
(4分)4.判断下面命题的真假,并说明原因。
(每小题2分,共4分)a)(A B)-C=(A-B)(A-C)b)若f是从集合A到集合B的入射函数,则|A|≤|B|5.设A是有穷集,|A|=5,问(每小题2分,共4分)a)A上有多少种不同的等价关系?b)从A到A的不同双射函数有多少个?6.设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f gd eb ca图17.已知有限集S={a 1,a2,…,an},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N;P(N);R,R×R,{o,1}(写出即可)(6分)二、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。
(每小题5分,共10分)a)A→(B∧C),(E→F)→C,B→(A∧S)B→Eb)x(P(x)→Q(x)),x(Q(x)∨R(x)),x R(x)x P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠且B≠,关系R满足:<< x1,y1>,<x2,y2>>∈R,当且仅当<x1,x2>∈R1且<y1,y2>∈R2。
离散数学考试试题及答案-1
![离散数学考试试题及答案-1](https://img.taocdn.com/s3/m/50b8e79952ea551811a6873b.png)
二、(8分)个体域为{1,2},求∀x∃y(x+y=4)的真值。
解:x y(x+y=4)x((x+1=4)∨(x+2=4))((1+1=4)∨(1+2=4))∧((2+1=4)∨(2+1=4))(0∨0)∧(0∨1)1∧10四、(10分)已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求r(R)、s(R)和t(R)。
解:r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>}t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>}五、(10分) 75个儿童到公园游乐场,他们在那里可以骑旋转木马,坐滑行铁道,乘宇宙飞船,已知其中20人这三种东西都乘过,其中55人至少乘坐过其中的两种。
若每样乘坐一次的费用是0.5元,公园游乐场总共收入70元,求有多少儿童没有乘坐过其中任何一种。
解设A、B、C分别表示骑旋转木马、坐滑行铁道、乘宇宙飞船的儿童组成的集合,|A∩B∩C|=20,|A∩B|+|A∩C|+|B∩C|-2|A∩B∩C|=55,|A|+|B|+|C|=70/0.5=140。
由容斥原理,得|A∪B∪C|=|A|+|B|+|C|―|A∩B|―|A∩C|―|B∩C|+|A∩B∩C|所以|A∩B∩C|=75-|A∪B∪C|=75-(|A|+|B|+|C|)+(|A∩B|+|A∩C|+|B∩C|-2|A∩B∩C|)+|A∩B∩C|=75-140+55+20=10没有乘坐过其中任何一种的儿童共10人。
离散数学练习题(含答案)
![离散数学练习题(含答案)](https://img.taocdn.com/s3/m/57ae1c0286c24028915f804d2b160b4e767f8135.png)
离散数学练习题(含答案)离散数学试题第一部分选择题1.下列命题变元p,q的小项是(C)。
A。
p∧┐p∧qB。
┐p∨qC。
┐p∧qD。
┐p∨p∨q2.命题“虽然今天下雪了,但是路不滑”可符号化为(D)。
A。
p→┐qB。
p∨┐qC。
p∧qD。
p∧┐q3.只有语句“1+1=10”是命题(A)。
A。
1+1=10B。
x+y=10___<0D。
x mod 3=24.下列等值式不正确的是(C)。
A。
┐(x)A(x)┐AB。
(x)(B→A(x))B→(x)A(x)C。
(x)(A(x)∧B(x))(x)A(x)∧(x)B(x)D。
(x)(y)(A(x)→B(y))(x)A(x)→(y)B(y) 5.量词x的辖域是“Q(x,z)→(x)(y)R(x,y,z)”(C)。
A。
(x)Q(x,z)→(x)(y)R(x,y,z))B。
Q(x,z)→(y)R(x,y,z)C。
Q(x,z)→(x)(y)R(x,y,z)D。
Q(x,z)6.设A={a,b,c,d},A上的等价关系R={。
}∪IA则对应于R的A的划分是(D)。
A。
{{a},{b,c},{d}}B。
{{a,b},{c},{d}}C。
{{a},{b},{c},{d}}D。
{{a,b},{c,d}}7.设A={Ø},B=P(P(A)),以下正确的式子是(A)。
A。
{Ø,{Ø}}∈BB。
{{Ø,Ø}}∈BC。
{{Ø},{{Ø}}}∈BD。
{Ø,{{Ø}}}∈B8.集合相对补运算中,不正确的等式是(A)。
A。
(X-Y)-Z=X-(Y∩Z)B。
(X-Y)-Z=(X-Z)-YC。
(X-Y)-Z=(X-Z)-(Y-Z)D。
(X-Y)-Z=X-(Y∪Z)9.在自然数集N上,不可结合的定义的运算是(D)。
A。
a*b=min(a,b)B。
a*b=a+bC。
a*b=GCD(a,b) (a,b的最大公约数)D。
离散考试试题模一答案
![离散考试试题模一答案](https://img.taocdn.com/s3/m/abc25623b7360b4c2e3f6471.png)
《离散数学》模拟试题一答案一、单项选择题(1、下列公式中与其他公式不等值的是( d )。
A:⌝(p↔q); B:(p∨q)∧⌝(p∧q);C:(⌝p∧q)∨(p∧⌝q); D:⌝(p→q)∧⌝(q→p)。
2、取个体域为整数集合,则下列公式中为真命题的是( a )。
A:∀x∃y(x y = 0 ); B:∀x∀y (x y = y );C:∃x∀y(x +y = 2y); D:∀x( x y = x )。
3、设集合A={a,b,c}中有下列关系,则其中不具有传递性的是( E )。
A: {<a,b>,<a,a>}; B: {<a,a>,<a,b>,<c,a>,<c,b>}; C: { };D:{<a,b>,<a,c>}; E: {<a,a>,<a,b>,<b,a>,<c,c>}; F: {<a,b>}。
4、下列命题中为假的是( B )。
A:{a}∈{{a}}; B:{a}⊆{{a}};C:{a}∈{a,{a}}; D:{a}⊆{a,{a}}。
5、设S = {1,2,3,6},∘是取两个数的最小公倍数,∗是取两个数的最大公约数,则S是()。
A:环,不一定是域; B:格,但不是布尔代数;C:布尔代数; D:不构成代数系统。
6、具有如下的代数系统<G,*>哪个不构成群()A:G={1,10},*是模11乘法; B:G={1,3,4,5,9},*是模11乘法;C:G=Q(有理数),*是普通加法;D:G=Q,*是普通乘法7、设F(x)表示x 是火车,G(y)表示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)))8、设无向图G中有12条边,已知G中3度结点有6个,其余结点的度数均小于3,则G中结点数至少是( C )A. 6 B.8 C.9 D.129、一棵树有2个4度顶点,3个3度顶点,其余是树叶,则该树中树叶的个数是( B )A.8B.9C.10D.1110、代数系统<A,*>的零元素Zt的定义是( B )A.∀x∈A,∃Zt∈A,x*Zt=Zt*x=xB.∀x∈A,∃Zt∈A,x*Zt=Zt*x=ZtC.∃Zt∈A, ∀x∈A,x*Zt=Zt*x=xD.∃Zt∈A, ∀x∈A,x*Zt=Zt*x=Zt11、在自然数集合N上,下列定义的运算中可结合的只有( C )A a*b=∣a-b∣B a*b=a+2bC a*b=max(a,b)D a*b=a b12、在下列代数系统中,不是群的只有( D )A.〈Q,+〉,这里Q为有理数集,+为加法运算B.〈R,*〉,这里R为非零实数集,*为乘法运算C.全体n×n实对称矩阵集合,对于矩阵的加法运算D .〈Q,*〉,这里Q为有理数集,*为乘法运算13、设G = {0,1,2,3},⨯4为模4乘法,则G 中的2阶元是( )。
网络学院《离散数学》模拟-答案
![网络学院《离散数学》模拟-答案](https://img.taocdn.com/s3/m/1f801bc581eb6294dd88d0d233d4b14e85243ef9.png)
网络学院离散数学模拟试题1 考试时间120 分钟考试方式:开卷专业年级姓名学号一、选择填空题(每个空格3分,共30分)1.设A,B是集合,且φA,则_____必定成立。
D-B=A.A=B B.B⊆A C.A∩B=φD.A⊆B 2.{φ,{φ}}-φ=_____;CA. φ B. {φ} C. {φ,{φ}} D. {{φ}}3.设集合A={{0}},则P(A) =_____。
DA. P(P({0}))B. P({0})∪φC. P({0})∪{{0}}D. {φ,{{0}}}4.设有集合A={1,2,3,4},则从A到{0,1}的不同的函数有____个。
EA.0 B.1 C.4 D.12 E. 16 F. 24 G. 32 5.设G=(a)为12阶循环群,则G没有____阶子群。
EA.1 B.2 C.3 D.4 E. 5 F. 66.凡_____都满足消去律。
DA. 代数系统B. 半群C. 独异点D. 群7.从无向完全图K中至少删除____条边后,所得的图将成为平面图。
B5A.0 B.1 C.2 D.38.若无向图G是有99个结点,9个连通分量,则G中的边数必_____。
C A. ≤90 B. =90 C. ≥90 D. =100 E. ≥1009.下列句子中为命题的是_____。
AA.今天不是星期六。
B.考场内禁用手机!C.今天是周末吗?D.今天真冷呀!10. 任意两个不同极大项的析取式必为______。
AA. 永真公式B. 可满足公式C. 永假公式D. 等值公式二、求出谓词公式(,)(,,)u v F u v w G u v w ∃∃→∀的前束范式。
(10分)解:(,)(,,)u v F u v w G u v w ∃∃→∀ ⇔1111(,)(,,)u u F u v w G u v w ∃∃→∀ ⇔111(,)(,,)u v F u v w G u v w ⌝∃∃∨∀ ⇔1111(,)(,,)u y F u v w G u v w ∀∀⌝∨∀⇔1111(,)(,,)u v wF u vG u v w ∀∀∀⌝∨()三、用形式证明的方法证明下列论证的有效性:“本班有些同学是有经验的C++程序员,任何C++程序员都知道对象的概念。
离散数学模拟试题、课后习题(附解析)超强集合
![离散数学模拟试题、课后习题(附解析)超强集合](https://img.taocdn.com/s3/m/15a8f7dd360cba1aa811dae7.png)
,即
r
2e 。而 ver 2 故 k
2 ver ve
k (v 2) 。 (8 分) k 2 k (v 2) ②彼得森图为 k 5, e 15, v 10 ,这样 e 不成立, k 2 2e 即得 k e
所以彼得森图非平面图。 (3 分)
二、 逻辑推演 16% 1、 证明: ①A ② A B ③ A B C D ④C D ⑤D ⑥D E ⑦D E F ⑧F ⑨A F 2、证明 ① xP( x) ② P (c ) ③ x( P ( x) Q( x)) ④ P (c ) Q ( c ) P(附加前提) US① P US③
五、计算 18%
1、设集合 A={a,b,c,d}上的关系 R={<a , b > ,< b , a > ,< b, c > , < c , d >}用矩阵运算求出 R 的传递闭包 t (R)。 (9 分)
4
离散数学模拟习题与解析 (1).doc
2、如下图所示的赋权图表示某七个城市 v1 , v 2 , , v7 及预先算出它们之间的一些直接通信线 路造价,试给出一个设计方案,使得各城市之间能够通信而且总造价最小。 (9分)
R { a, b , c, d | a, b S S , c, d S S , a d b c} 则 由
S S 上一个划分共有(
则公式 xyP( y, x) 真值为
2、 设S={a 1 ,a 2 ,…,a 8 },B i 是S的子集,则由B 31 所表达的子集是 。 3、 设 A={2 , 3 , 4 , 5 , 6} 上 的 二 元 关 系 R { x, y | x y x是质数} , 则 R=
专科离散数学模拟试题(一)
![专科离散数学模拟试题(一)](https://img.taocdn.com/s3/m/38d67ad276a20029bd642d52.png)
专科《离散数学模拟》试题(一)姓名______________ 学号______________ 成绩______________一、填空(每小题5分,共25分)1.设}41,,3|{≤≤∈==K N k k x x A ,则用列举法表示A =_____________________。
2.设}2,{φ=A ,则A 的幂集=A 2________________________。
3.设)}1,2(),2,4(),3,1{(=ρ是A 到B 的关系,则ρ的逆关系=ρ~_______________。
4.下图G 的邻接矩阵A =__________________________5.设}},3,2{,3,2{φ=A ,则=-}}3,2{{A ____________________________。
二、选择题(将正确答案的编号填入相应题目后面的括号中,每小题5分,共20分) 1.设集合}3,2,1{=A ,A 上的关系)}1,1(),1,2(),1,3(),3,2{(=ρ,则ρ是( )。
A .自反的B .反对称的C .可传递的2.设有函数Z Z Z f →⨯:(Z 表示非负整数集),定义为y x y x f +=),(,则f 是( )。
A .满射B .内射C .双射3.设}4,3,2,1{=A ,则A 的分划有( )。
A .}}3{},4,2{),1{(B .}}4{},3,2{{C .}}4{},3,2,1{{4.设简单图G 所有结点的度之和为12,则G 一定有( )。
A .3条边 B .4条边 C .6条边4v 3v 2v 1v三、问答题(每小题6分,共42分)1.下图G 是否二部图?若是,找出它的互补结点子集。
2.设有命题公式)(Q P P F →⌝∨=,问F 是否求真公式?为什么?3.判断下图是否欧拉图,若是,找出一个欧拉回路。
v 2v 1v 53v 5v4.设1ρ和2ρ是集合A 上的偏序关系,问1ρ-2ρ是A 上的偏序关系吗?为什么?5.判断下述命题公式的等值关系是否成立P Q P Q P Q ∨⌝⇔→∧→)((6.将下一命题符号化。
《离散数学》模拟题
![《离散数学》模拟题](https://img.taocdn.com/s3/m/7159db2766ec102de2bd960590c69ec3d5bbdb49.png)
《离散数学》模拟题北航10秋学期《离散数学》模拟题⼀⼀、单项选择题(本⼤题共15⼩题,每⼩题2分,共30分)1.∑中所有有限长度的串形成的集合记为∑* ,容易证得∑*上的连接运算不满⾜交换律,但满⾜( A ) A .结合律 B .分配律 C .幂等律 D .吸收律 2.Klein 群中元素a,b,c 的阶为( B )。
A .1B .2C .3D .4 3.群G 的元素x 的所有幂的集合为G 的⼦群,称由x ⽣成的⼦群。
记为( A ). A . B .(x) C .x D .[x] 4.交换环是指乘法满⾜( A )。
A .交换律B .结合律C .分配律D .吸收律 5.⾄少有( B )元素的含单位元、⽆零因⼦环称为除环。
A .⼀ B .⼆ C .三 D .四 6.∨,∧满⾜( C )的格称为分配格A .交换律B .结合律C .分配律D .幂等律 7.若L 为有限布尔代数,则( B )正整数n ,L 与含有n 个元素的集合A 的幂集同构。
A .不存在 B .存在 C .有可能存在 8.有向图D 的顶点v 作为边的始点的次数之和称为v 的出度,记为d +(v), v 作为边的终点的次数之和称为v 的⼊度,记为d -(v),v 的度数d(v)= ( A )。
A .d +(v)+d -(v)B .d +(v)C .d -(v)D .d +(v)*d -(v) 9.若通路Г=v 0e 1v 1e 2…e 1v 1 中所有顶点互不相同(所有边⾃然互不相同)时称为( B ) A .初级回路 B .路径 C .复杂通路D .迹 10.在n 阶图中,若⼀顶点存在到⾃⾝的回路,则必存在从该顶点到⾃⾝的长度不超过( B )的回路。
A .n-1 B .n C .n+1 D .2n 11.“⼈总是要死的”谓词公式表⽰为( C )。
(论域为全总个体域)M(x):x 是⼈;Mortal(x):x 是要死的。
A .)()(x Mortal x M →; B .)()(x Mortal x M ∧C .))()((x Mortal x M x →?; D .))()((x Mortal x M x ∧?12. 公式))()((x Q x P x A →?=的解释I 为:个体域D={2},P(x):x>3, Q(x):x=4则A 的真值为( A )。
离散数学期末考试模拟题1
![离散数学期末考试模拟题1](https://img.taocdn.com/s3/m/b13f343a376baf1ffc4fadf3.png)
离散数学期末考试模拟题1一、单项选择题(每小题1分,共15分。
四选一)1、设Φ是一个空集,则下列之一哪一个不成立()。
⊆Φ③、Φ∈{Φ} ④、Φ⊆{Φ}①、Φ∈Φ②、Φ2、如果命题公式G=P∧Q,则下列之一哪一个成立()。
①、G=⌝(P→Q) ②、G=⌝(P→⌝Q) ③、G=⌝(⌝P→Q) ④、G=⌝(⌝P→⌝Q)3、设X、Y是两个集合|X|=n,|Y|=m,则从X到Y可产生()个二元关系。
①、n m②、m n③、m×n ④、2m×n*,⊕>中,∀a,b∈L,a≤b当切仅当下列()成立。
4、在有补分配格<L,*b=b ②、a⊕b=a ③、a'*b=0 ④、a'⊕b=1①、a5、若<G,*>是一个群,则运算“*”一定满足()。
①、交换律②、消去律③、幂等律④、分配律6、量词的约束范围称为量词的()。
①、定义域②、个体域③、辖域④、值域7、下列公式中,()是析取范式。
①、⌝(P∧Q) ②、⌝(P∨Q) ③、(P∨Q) ④、(P∧Q)8、设G是一个12阶循环群,则该群一定有()个不变子群。
①、2 ②、4 ③、6 ④、89、图的构成要素是()。
①、结点②、边③、结点与边④、结点、变和面10、下列图中,()是平面图。
①②③④11、每个非平凡的无向树至少有()片树叶。
①、1 ②、2 ③、3 ④、412、每个无限循环群有()个生成元。
①、1 ②、2 ③、3 ④、413、设R是集合A={1,2,3,4}上的二元关系,R={<2,1>,<2,3>,<1,3>},则下列()不成立。
①、R是自反关系②、R是反自反关系③、R是反对称关系④、R是传递关系14、设G是一个24阶群,a是G中任意一个元素,则a的周期一定不是()。
①、2 ②、8 ③、16 ④、2415、下列命题中,()不是真命题。
①、海水是咸的当切仅当蝙蝠是瞎子②、如果成都是直辖市,那么北京是中国的首都③、若太阳从西边落下,则2是奇数④、夏天冷当切仅当冬天热二、多项选择题(每小题1分,共10分。
离散数学(一)练习题与答案
![离散数学(一)练习题与答案](https://img.taocdn.com/s3/m/9e87e5f6fab069dc502201f0.png)
1-5 题:× × × ×√6-10 题:× ×√√√11-15题:× ×√ ×√16-17题:√ ×二、单项选择题1 A C2 C3 C 4. B 5 A6 B7 B8 C9 B 10 B11 D 12 A 13 C 14 C三、填空题1 ┐Q→P 或┐P→Q,Q→P2 A B={{a,b}, {a},{b},{c}},A B={{c}},A B-={{a,b}},A B⊕={{a,b},{a},{b}}。
3.{}ΦΦ=Φ,{,{}}ΦΦ-Φ={Φ,{ Φ}},ΦΦ={Φ}。
{,{}}{}ΦΦ-Φ={{Φ}},{}4.A={1,2,3,……,12},R是A上的整除关系,子集B={2,4,6}。
则B的最大元是:无,最小元是:2,极大元是:4,6,极小元是:2,上界是:12,下界是:2,上确界是:12,下确界是:2。
5. g g g6 R, T7. 略8.极大元:{a,b}, {b,c},最大元:无,上界:{a,b,c},下确界:Φ。
( )1.设A ,B ,C 为任意的命题公式,若A C B C ∨⇔∨,则A B ⇔。
( )2.公式P Q ∧是合取范式,不是析取范式。
( )3.公式()()P Q P Q ⌝∨∧→与公式()P Q R →∧等价。
( )4.()(()())()()()()x A x B x x A x x B x ∀∨⇔∀∨∀。
( )5.谓词公式()()((,)(,))x y P x y Q y z ∀∀∨中,x,y 是约束变元,z 是自由变元。
( )6.对谓词公式()(()(,))(,)x P y Q x y R x y ∀→∧中的自由变元进行代入后得到公式()(()(,))(,)x P z Q x z R x y ∀→∧。
( )7.对谓词公式()(()(,))(,)x P x Q x y R x y ∀→∧中的约束变元进行换名后得到公式()(()(,))(,)y P y Q y y R x y ∀→∧。
离散数学模拟试题1
![离散数学模拟试题1](https://img.taocdn.com/s3/m/42843fdb04a1b0717fd5dd8b.png)
离散数学模拟试题1一.单项选择题(每小题2分,共48分)。
1.设R 是集合A={1,2,3,4}上的二元关系,R={〈1,4〉,〈4,1〉〈1,3〉,〈3,1〉, 〈2,4〉,〈4,2〉},下面( )命题为真。
Ⅰ.R R是对称的 Ⅱ.R R 是自反的 Ⅲ.R R 不是传递的(A )仅Ⅰ (B )仅Ⅱ (C )仅Ⅰ和Ⅱ (D )全真2.设N 为自然数集合,+、-、×分别为普通的加法、减法和乘法。
〈N ,*〉在下面四种情况下不构成代数系统的为( )。
(A )x*y=x+y -2×x ×y (B)x*y=x+y (C)x*y=x ×y (D)x*y=│x │+│y │ 3.设图G 的顶点为五边形P 的顶点,其边为P 的边加上另一条连接P 的两个不相邻顶点的边。
下列命题中,( )命题是真命题。
Ⅰ.G 中存在欧拉回路 Ⅱ.G 中存在哈密尔顿回路(A )均不是 (B )只有Ⅰ (C )只有Ⅱ (D )Ⅰ和Ⅱ 4.设T 为n (n ≥3)阶无向树,T 有( )条割边。
(A )n 条 (B )n-2条 (C )n-1条 (D )没有 5.设A={1,2,3,4,5,6},R 是集合A 上的整除关系,下面命题中,( )是假的。
(A )4,5,6全是A 的极大元 (B )A 没有最大元 (C )6是A 的上界 (D )1是A 的最大下界 6.设A={1,2,3,4,5},则A 有( )个子集。
(A )16 (B )32 (C )64 (D )128 7.设连通图G 有8个顶点和12条边,则任意一棵G 的生成树的总边数为( )。
(A )12 (B )9 (C )8 (D )7 8.设无向图G=〈V ,E 〉,其中V={54321,,,,v v v v v },E={),(),,(),,(),,(),,(4332214441v v v v v v v v v v }下列命题为真的是( )。
离散数学模拟试题1
![离散数学模拟试题1](https://img.taocdn.com/s3/m/4e51f222f68a6529647d27284b73f242336c3182.png)
离散数学模拟试题1一、选择题(每小题只有一个正确答案,每题2分,共30分)1、令A(x):x是实数,B(x):x是有理数,则命题:并非所有有理数都是实数。
符号化为:()A、x┐(A(x)∧B(x))B、┐x(B(x)→A(x))C、┐x(A(x)∧B(x))D、┐x(B(x)∧┐A(x))2、设A={{1,2,3},{4,5},{6,7,8}},则下列选项正确的是()A、1∈A,B、φ∈AC、{1,2,3} A,D、{{4,5}} A3、设A、B为集合,A-B=φ,则有()A、B=φB、B≠φC、A BD、B A4、一个连通有向图,如果它的每个结点的出度均等于入度,那么它有一条()。
A、基本回路B、欧拉回路C、欧拉通路D、简单回路5、一棵树有2个结点度数为2,2个结点度数为3,3个结点度数为4,则它的树叶数为()A、8B、9C、10D、126、G是连通平面图,有5个顶点、6个面,则G的边数为()A、6B、5C、11D、97、设A={1,2,3},B={1,2,3,4,5},C={2,3},则(A∪B)+C=()A、{1,2}B、{2,3}C、{1,4,5}D、{1,2,3}8、下列命题中为假的是()A、{a,{b}}{{a,{b}}}B、φP(∪{φ,{φ}})C、{a}XaXD、X∪Y=YX=φ9、设解释T为:个体域为D={—2,3,6},谓词A(x):x 6,B(x):x>5,则根据解释,公式x(A(x)∨B(x))的真值为()A、0B、1C、没有确定真值10、一个教室公用一个电源,如果想接34盏灯,则至少需要4个插线孔的接线板()个。
A、10B、11C、12D、3411、下列说法错误的是()A、n个结点m条边的有向树和无向树均满足:m=n-1.B、树都是二部图。
C、有向树都是单侧连通的D、有桥的图不是欧拉图12、设A={a,b,c},R是A上的关系,R={,,},那么R是()A、自反的B、反自反的C、对称的D、反对称的E、传递的13、设图G是有5个顶点的连通图,总度数为18,则从G中删去()边后使之变成树。
离散数学模拟试题(05年6月)
![离散数学模拟试题(05年6月)](https://img.taocdn.com/s3/m/23f535297dd184254b35eefdc8d376eeafaa1758.png)
离散数学模拟试题(一)一、选择题1、由集合运算的定义,下列各式中,正确的是( )。
(A) A ∪E = A; (B) A ∩∅ = A; (C) A ⊕ ∅ = A; (D) A ⊕ A = A.2、设G 如右图:那么G 不是( ). (A)平面图; (B)完全图;(C)欧拉图; (D)哈密顿图.3、设个体域为整数,下列公式中真值为1的是( )。
(A)∀x ∀y(x + y = 1); (B)∀x ∃y(x + y = 1); (C)∃x ∀y(x + y = 1); (D) ⌝ ∃x ∃y(x + y = 1)。
4、下列命题为假的是( )。
(A) {∅}∈ρ(∅); (B) ∅ ⊆ρ({∅});(C) {∅} ⊇ρ(∅); (D)ρ(∅) ∈ρ({∅})。
5、设集合A = {1,2,3,4},A 上的关系R = {(1,1),(2,3),(2,4),(3,4)},则R 具有( ). (A)自反性; (B)传递性; (C)对称性; (D)以上都不是.6、谓词公式)())()((x Q y yR x P x →∃∨∀中量词∀x 的辖域是( )(A) ))()((y yR x P x ∃∨∀ (B) P (x ) (C) )()(y yR x P ∃∨ (D) )(x Q7、谓词公式∃xA (x )∧⌝∃xA (x )的类型是( )(A) 永真式 (B) 矛盾式(C) 非永真式的可满足式 (D) 不属于(A),(B),(C)任何类型8、设L (x ):x 是演员,J (x ):x 是老师,A (x ,y ):x 佩服y. 那么命题“所有演员都佩服某些老师”符号化为( ) (A) ),()(y x A x xL →∀ (B) )),()(()((y x A y J y x L x ∧∃→∀(C) )),()()((y x A y J x L y x ∧∧∃∀ (D) )),()()((y x A y J x L y x →∧∃∀9、设命题公式⌝(P ∧(Q →⌝P )),记作G ,则使G 的真值指派为0的P ,Q 的取值是( ) (A) (0,0) (B) (0,1) (C) (1,0) (D) (1,1) 10、与命题公式P →(Q →R )等值的公式是( )(A) (P ∨Q )→R (B)(P ∧Q )→R (C) (P →Q )→R (D) P →(Q ∨R ) 二、填空题1、命题: ∅ ⊆ {{a }} ⊆ {{a },3,4,1} 的真值 = ____ .2、 设A= {a,b}, B = {x | x 2-(a+b) x+ab = 0}, 则两个集合的关系为:A____B.3、设集合A ={a ,b ,c },B ={a ,b }, 那么 ρ(B )-ρ(A )=______ .4、无孤立点的有限有向图有欧拉路的充分必要条件为: _______________________________________________.5、公式))(),(()),()((x S z y R z y x Q x P x →∃∨→∀的自由变元是 , 约束变元是 .6、设个体域D ={1,2},那么谓词公式)()(y yB x xA ∀∨∃消去量词后的等值式为 .7、设N (x ):x 是自然数,Z (y );y 是整数,则命题“每个自然数都是整数,而有些整数不是自然数”符号化为 8、设G 是n 个结点的简单图,若G 中每对结点的度数之和 ,则G 一定是哈密顿图. 9、设全集合E ={1,2,3,4,5},A ={1,2,3},B ={2,5},~A ⋃~B = .10、设集合A ={a ,b ,c },B ={a ,b },那么P (A )-P (B )= 三、计算题1、求公式 G = (P ∧Q)→R 的主析取范式和主合取范式。
离散数学题库
![离散数学题库](https://img.taocdn.com/s3/m/7c70f189b0717fd5360cdcb2.png)
院(系) 班级 学号(9位) 姓名 ———————————阅————卷————密————封————装————订————线——————————第 1 页/共 39 页常熟理工学院20 ~20 学年第 学期《离散数学》考试试卷(试卷库01卷)试题总分: 100 分 考试时限:120 分钟题号 一 二 三 四 五 总分 阅卷人 得分一、单项选择题(每题2分,共20分)1. 下列表达式正确的有( )(A ) Q Q P ⇒ → ⌝ ) ( (B )P Q P ⇒∨(C )P Q P Q P ⇔⌝∧∨∧)()( (D )T Q P P ⇔→→)(2. 设P :2×2=5,Q :雪是黑的,R :2×4=8,S :太阳从东方升起,下列( )命题的真值为真。
(A )R Q P ∧→ (B )S P R ∧→ (C )R Q S ∧→ (D ))()(S Q R P ∧∨∧ 3. 集合A={1,2,…,10}上的关系R={<x,y>|x+y=10,x,y ∈A},则R 的性质为( )(A )自反的 (B )对称的 (C )传递的,对称的 (D )传递的4. 设>=< },2,1,0{1G ,>=<},*1,0{2G ,其中 表示模3加法,*表示模2乘法,在集合21G G ⨯上定义如下运算:,,,,21G G d c b a ⨯>∈<><∀有,,,,>*>=<<∙><d b c a d c b a 称>∙⨯<,21G G 为21G G ⨯的积代数,则21G G ⨯的积代数幺元是( )(A )<0,0>(B )<0,1>(C )<1,0>(D )<1,1>5. 下图中既不是Eular 图,也不是Hamilton 图的图是( )6. 设>=<E V G ,为无向图,23,7==E V ,则G 一定是( )(A )完全图 (B )树 (C )简单图 (D )多重图7. 设P :我将去镇上,Q :我有时间。
(完整word版)离散数学模拟试题讲解
![(完整word版)离散数学模拟试题讲解](https://img.taocdn.com/s3/m/b7ad3f5fdd3383c4ba4cd2c4.png)
1离散数学模拟试题Ⅰ一、单项选择题(本大题共15小题,每题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。
错选、多选或未选均无分1.设}16{2<=x x x A 是整数且,下面哪个命题为假( A )。
A 、A ⊆}4,2,1,0{;B 、A ⊆---}1,2,3{;C 、A ⊆Φ;D 、A x x x ⊆<}4{是整数且。
2.设}}{,{,ΦΦ=Φ=B A ,则B -A 是( C )。
A 、}}{{Φ;B 、}{Φ;C 、}}{,{ΦΦ;D 、Φ。
3.右图描述的偏序集中,子集},,{f e b 的上界为 ( B )。
A 、b ,c ; B 、a ,b ; C 、b ; D 、a ,b ,c 。
4.设f 和g 都是X 上的双射函数,则1)(-g f 为( C )。
A 、11--g f ; B 、1)(-f g ; C 、11--f g ; D 、1-f g 。
5.下面集合( B )关于减法运算是封闭的。
A 、N ;B 、}2{I x x ∈;C 、}12{I x x ∈+;D 、}{是质数x x 。
6.具有如下定义的代数系统>*<,G ,( D )不构成群。
f2A 、G={1,10},*是模11乘 ;B 、G={1,3,4,5,9},*是模11乘 ;C 、G=Q (有理数集),*是普通加法;D 、G=Q (有理数集),*是普通乘法。
7.设},32{I n m G n m ∈⨯=,*为普通乘法。
则代数系统>*<,G 的幺元为( B )。
A 、不存在 ;B 、0032⨯=e ;C 、32⨯=e ;D 、1132--⨯=e 。
8.下面集合( C )关于整除关系构成格。
A 、{2,3,6,12,24,36} ;B 、{1,2,3,4,6,8,12} ;C 、{1,2,3,5,6,15,30} ;D 、{3,6,9,12}。
离散数学模拟题一套及答案
![离散数学模拟题一套及答案](https://img.taocdn.com/s3/m/479f78d902020740bf1e9b90.png)
离散数学考试(试题及答案)一、(10分)某项工作需要派A、B、C和D 4个人中的2个人去完成,按下面3个条件,有几种派法?如何派?(1)若A去,则C和D中要去1个人;(2)B和C不能都去;(3)若C去,则D留下。
解设A:A去工作;B:B去工作;C:C去工作;D:D去工作。
则根据题意应有:A C D,(B∧C),C D必须同时成立。
因此(A C D)∧(B∧C)∧(C D)(A∨(C∧D)∨(C∧D))∧(B∨C)∧(C∨D)(A∨(C∧D)∨(C∧D))∧((B∧C)∨(B∧D)∨C∨(C∧D))(A∧B∧C)∨(A∧B∧D)∨(A∧C)∨(A∧C∧D)∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧D∧C∧D)∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧D∧C∧D)F∨F∨(A∧C)∨F∨F∨(C∧D∧B)∨F∨F∨(C∧D∧B)∨F∨(C∧D)∨F(A∧C)∨(B∧C∧D)∨(C∧D∧B)∨(C∧D)(A∧C)∨(B∧C∧D)∨(C∧D)T故有三种派法:B∧D,A∧C,A∧D。
二、(15分)在谓词逻辑中构造下面推理的证明:某学术会议的每个成员都是专家并且是工人,有些成员是青年人,所以,有些成员是青年专家。
解:论域:所有人的集合。
S(x):x是专家;W(x):x是工人;Y(x):x是青年人;则推理化形式为:∀x (S(x)∧W(x)),∃x Y(x)∃x(S(x)∧Y(x))下面给出证明:(1)∃x Y(x) P(2)Y(c) T(1),ES(3)∀x(S(x)∧W(x)) P(4)S( c)∧W( c) T(3),US(5)S( c) T(4),I(6)S( c)∧Y(c) T(2)(5),I(7)∃x(S(x)∧Y(x)) T(6) ,EG三、(10分)设A、B和C是三个集合,则A B⌝(B A)。
证明:A B x(x∈A→x∈B)∧x(x∈B∧x A)x(x A∨x∈B)∧x(x∈B∧x A) ⌝x(x∈A∧x B)∧⌝x(x B∨x∈A)⌝x(x∈A∧x B)∨⌝x(x∈A∨x B)⌝(x(x∈A∧x B)∧x(x∈A∨x B))⌝(x(x∈A∧x B)∧x(x∈B→x∈A))⌝(B A)。
离散数学试题及答案1
![离散数学试题及答案1](https://img.taocdn.com/s3/m/481c6505011ca300a6c3909e.png)
离散数学总分:100 考试时间:100分钟一、单项选择题1、一个无向图G是一个二元组〈V,E〉,V代表(正确答案:B,答题答案:)A、边集B、顶点集C、环D、路径2、最佳前缀码可由()算法求出(正确答案:A,答题答案:)A、HuffmanB、PERTC、DijkstraD、Kruskal3、带权为2、3、5、7、8、9的最优树T,权W(T)=()(正确答案:B,答题答案:)A、82B、83C、84D、854、设n阶无向连通图G有m条边,则()(正确答案:A,答题答案:)A、m≥n-1B、m≤n-1C、m=n-1D、m≥n5、经过图中每条边一次且仅一次并且行遍图中每个顶点的通路(回路),称为()(正确答案:A,答题答案:)A、欧拉通路B、简单通路C、初级通路D、哈密尔顿通路6、入度为0的顶点称为()(正确答案:B,答题答案:)A、树根B、树叶C、边D、顶点7、按中序行遍法,其行遍结果为((dce)bf)a(gih),则按后序行遍法其结果为()(正确答案:A,答题答案:)A、a(b(cde) )(igh)fB、a(b(cde) f)(igh)C、((dec)fb)(ghi) aD、(b(cde) f)(igh)a8、设T=〈V,E〉是n阶非平凡树,则T中至少有()片树叶.(正确答案:C,答题答案:)A、1B、2C、3D、49、设有向简单图D的度数列为2,2,3,3,入度列为0,0,2,3,D的出度列为().(正确答案:B,答题答案:)A、2,2,1,0B、2,2,3,3C、0,0,2,3D、2,2,5,610、设G=〈V,E〉是n阶无向简单图,若G中任何顶点都与其余的n-1个顶点相邻,则称G为n阶()(正确答案:A,答题答案:)A、无向图B、无向完全图C、完全图D、有向简单图二、多项选择题1、简单图为()(正确答案:AB,答题答案:)A、不含平行边B、不含环C、不含顶点D、不含单边2、下面给出的符号串集合中,哪些是前缀码?(正确答案:ABD,答题答案:)A、B1={0,10,110,1111}B、B2={1,01,001,000}C、B3={1,11,101,001,0011}D、B4={b,c,aa,ac,aba,abb,abc }3、树的行遍法有()(正确答案:ABC,答题答案:)A、中序B、前序C、后序D、顺序4、无向图G为欧拉图,则()(正确答案:ABC,答题答案:)A、G是连通的B、G中无奇度顶点C、所有顶点的入度等于出度D、奇数个顶点5、无向图G具有欧拉通路,当且仅当G是()(正确答案:AB,答题答案:)A、连通图B、有零个或两个奇度顶点C、回路D、奇数个顶点6、根据边是否有方向,图可分为()(正确答案:CD,答题答案:)A、连通图B、树C、有向图D、无向图7、两图同构,则()(正确答案:ABC,答题答案:)A、顶点个数相同B、边的条数相同C、每个顶点的度相同D、有多重边8、特殊的图有()(正确答案:ABCD,答题答案:)A、二部图B、欧拉图C、哈密尔顿图D、平面图9、下列各组数中,哪些能够成无向图的度数列?(正确答案:ABC,答题答案:)A、1,1,1,2,3B、2,2,2,2,2C、3,3,3,3D、1,2,3,4,510、若图G中任意两个结点u和v,都有从u到v和从v到u的通路,则称G是()(正确答案:A,答题答案:)A、强连通图B、弱连通图C、单向连通图D、连通图三、判断题1、强连通图一定是单向连通图。
离散数学题库
![离散数学题库](https://img.taocdn.com/s3/m/7c70f189b0717fd5360cdcb2.png)
院(系) 班级 学号(9位) 姓名 ———————————阅————卷————密————封————装————订————线——————————第 1 页/共 39 页常熟理工学院20 ~20 学年第 学期《离散数学》考试试卷(试卷库01卷)试题总分: 100 分 考试时限:120 分钟题号 一 二 三 四 五 总分 阅卷人 得分一、单项选择题(每题2分,共20分)1. 下列表达式正确的有( )(A ) Q Q P ⇒ → ⌝ ) ( (B )P Q P ⇒∨(C )P Q P Q P ⇔⌝∧∨∧)()( (D )T Q P P ⇔→→)(2. 设P :2×2=5,Q :雪是黑的,R :2×4=8,S :太阳从东方升起,下列( )命题的真值为真。
(A )R Q P ∧→ (B )S P R ∧→ (C )R Q S ∧→ (D ))()(S Q R P ∧∨∧ 3. 集合A={1,2,…,10}上的关系R={<x,y>|x+y=10,x,y ∈A},则R 的性质为( )(A )自反的 (B )对称的 (C )传递的,对称的 (D )传递的4. 设>=< },2,1,0{1G ,>=<},*1,0{2G ,其中 表示模3加法,*表示模2乘法,在集合21G G ⨯上定义如下运算:,,,,21G G d c b a ⨯>∈<><∀有,,,,>*>=<<∙><d b c a d c b a 称>∙⨯<,21G G 为21G G ⨯的积代数,则21G G ⨯的积代数幺元是( )(A )<0,0>(B )<0,1>(C )<1,0>(D )<1,1>5. 下图中既不是Eular 图,也不是Hamilton 图的图是( )6. 设>=<E V G ,为无向图,23,7==E V ,则G 一定是( )(A )完全图 (B )树 (C )简单图 (D )多重图7. 设P :我将去镇上,Q :我有时间。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
专科《离散数学模拟》试题(一)姓名______________ 学号______________ 成绩______________一、填空(每小题5分,共25分)1.设}41,,3|{≤≤∈==K N k k x x A ,则用列举法表示A =_____________________。
2.设}2,{φ=A ,则A 的幂集=A 2________________________。
3.设)}1,2(),2,4(),3,1{(=ρ是A 到B 的关系,则ρ的逆关系=ρ~_______________。
4.下图G 的邻接矩阵A =__________________________5.设}},3,2{,3,2{φ=A ,则=-}}3,2{{A ____________________________。
二、选择题(将正确答案的编号填入相应题目后面的括号中,每小题5分,共20分) 1.设集合}3,2,1{=A ,A 上的关系)}1,1(),1,2(),1,3(),3,2{(=ρ,则ρ是( )。
A .自反的B .反对称的C .可传递的2.设有函数Z Z Z f →⨯:(Z 表示非负整数集),定义为y x y x f +=),(,则f 是( )。
A .满射B .内射C .双射3.设}4,3,2,1{=A ,则A 的分划有( )。
A .}}3{},4,2{),1{(B .}}4{},3,2{{C .}}4{},3,2,1{{4.设简单图G 所有结点的度之和为12,则G 一定有( )。
A .3条边 B .4条边 C .6条边4v 3v 2v 1v三、问答题(每小题6分,共42分)1.下图G 是否二部图?若是,找出它的互补结点子集。
2.设有命题公式)(Q P P F →⌝∨=,问F 是否求真公式?为什么?3.判断下图是否欧拉图,若是,找出一个欧拉回路。
v 2v 1v 53v 5v4.设1ρ和2ρ是集合A 上的偏序关系,问1ρ-2ρ是A 上的偏序关系吗?为什么?5.判断下述命题公式的等值关系是否成立P Q P Q P Q ∨⌝⇔→∧→)((6.将下一命题符号化。
分析到个体词、谓词和量词,使用全总个体域。
“有些大学生不钦佩任何运动员”7.设有函数R R f →:和R R g →:(R 表示实数集),其中,14)(+=x x f32)(2-=x x g 。
试求?)2(=gf四、证明题(共13分)1.设简单无向图G 有n 个结点,n+1条边,证明G 中至少有一上结点的度≥3。
(7分)2.用“形式证明”的方法证明)(S R P →→、Q 、S R P Q →⇒∨⌝ (6分)专科《离散数学模拟》试题(二)姓名______________ 学号______________ 成绩______________一、填空(每小题5分,共25分)1.设a a A ,{=是小于15的正奇数},则A 的元素是________________________。
2.设}7,6,2,1{},7,5,3,1{},7,6,5,4,3,2,1{===B A V 则='-A B __________________。
3.设}},2{,1{φ=A ,则A 的幂集有元素_____________个。
4.设},,,{d c b a A =,A 上的关系)},(),,(),,(),,{(c d d b b a a a =ρ,则=2ρ_________。
5.设有函数B A f →:和函数A b g →:,且f g ⋅是A 上的恒等函数,则f 是____射,g 是______射。
二、选择题(将正确答案的编号填入相应题目后面的括号中)(每小题5分,共20分)1.设有函数R R g R R f →→:,:(R 表示实数集),且2)(,12)(xx g x x f =+=,则复合数函数f g ⋅是( ) A .满射B .内射C .双射2.图G1是( )A .欧拉图B .哈米尔顿图C .二部图D .树3.定义正整数集N 上的关系为:当且仅当“y x ≤”时,y x ρ,则ρ是( )。
A .自反的B .对称的C .反对称的D .可传递的4.设T 是一棵具有n 个结点m 条边)2(≥n 的树,则T ( )。
A .连通B .包含有环C .1-=n mD .至少有两个度为1的结点。
三、问答题( )1.以下图G2是否平面图,若是平面图,将图重画,使其边没有交叉。
2.以下两个谓词公式等值关系成立吗?)()())()((x xB x xA x B x A x ∀∨∀⇔∨∀图G14v 3v 2v 1v图G23.设P、Q是命题变元,以下两命题公式等值关系成立吗?∧→))((→Q⌝QPQP⇔4.设}2,1{=A ,在A 上可以定义多少个不同的偏序关系?5.将下一命题符号化,分析到个体词,谓词和量词,使用全总个体域“在北京工作的人未必都是北京人”6.图),(3E V G =如下所示,试问G 有多少个分图?v 8图G37.设用G 是由5棵树构成的一个树林,G 有20个结点,问G 有多少条边?四、证明题(共13分)1.设ρ是集合A 上的等价关系,试证明ρρρ=⋅~(7分)2.设T 是一棵完全二元树,0n 表示树叶结点数,试证明边数)1(20-=n m (6分)专科《离散数学模拟》试题(三)姓名______________ 学号______________ 成绩______________一、填空(每小题5分,共25分)1.设A 和B 是两个有限集,若#A <#B ,则存在由A 到B 的______射。
若#A >#B ,则存在由A 到B 的______射。
2.设G 是具有n 个结点,m 条边的连通图,则G 的生成树T 有_____个结点,____条边。
3.设有函数A A f →:,且A I f =2,则可以判定f 是_____射。
4.设T 是一棵完全二元树,有15个结点,其中8个树叶结点,则T 分枝结点数是______________,T 的所有结点度数之和是________________。
5.设}3,2,1,0{=A ,}7,6,4{=B ,}14,12,9,8{=C ,1ρ是由A 到B 的关系,2ρ是由B 到C 原关系,分别定义为)}14,7(),12,6(),12,4(),8,4{(1=ρ,则复合关系=⋅21ρρ________________________________________________。
二、选择题(将正确答案的编号填入相应题目后面的括号中)(每小题5分,共20分)1.设有函数R R f →:,(R 表示实数集),x x f 2)(=,则f 是( )。
A .满射B .内射C .双射2.设命题公式)(),(P Q P H Q P G ⌝→→=→⌝=,则G 与H 的关系是( )。
A .H G ⇒B .G H ⇒C .H G ⇔3.设G 是具有n 个结点m 条边,K 个面的连通平面图,其中2≥m ,则有( )成立。
A .2=+-k m nB .63-≤n mC .1-=n mD .42-=n m4.设B A ,是两个集合,当( )时,有B B A = 。
A .B A =B .B A ⊆C .A B ⊆D .φ=-B A三、问答题1.设}7,6,5,4{},4,3,2,1{==B A ,ρ是由A 到B 的关系,定义为)}7,2(),6,3(),5,4(),4,2{(=ρ,则ρ的定义域=?ρ的值域=?2.设ρ是集合}6,5,4,3,2,1{A上的关系=ρ2,2(),6,1(),=3,3(),1,3(),{(3,1(),1,15,2(),6,6(),6,3(),3,6(),1,6(),)}4,4(),2,5(),5,5(),(1)画出ρ的关系图。
(2)ρ是否等价关系?若是,请写出ρ的所有等价类。
3.一个班有50个人,在第一次考试中有26人得优秀,在第二次考试中有21人得优秀,如果两次考试都得优秀的有14人,问两次考试都没有得优秀的有多少人?4.一棵(无向)树有6个度为2的结点,4个度为3的结点,2个度为4的结点,其余是度为1的结点,问该树有几个度为1的结点。
5.设},{},,{c b B b a A ==,试求集合B A 22 。
6.将下一命题符号化,分析到个体词,谓词和量词,使用全总个体域“所有的火车比所有的汽车跑得快”7四、证明题(共13分)从下述语句中打出前提和结论,用符号将其表示,并证明下述推理的正确性。
(7分)1.如果小王是理科学生,则他的数学成绩很好。
如果小王不是文科学生,则他一定是理科学生,小王的数学成绩不好,所以小王是文科学生。
2.证明:x⇒PQxx∀x⌝-∀>(()())),(xP(xQ)(注:a是个体常元)(6分)。