专科离散数学模拟试题(一)

合集下载

离散数学考试模拟试题及详细参考答案共四套

离散数学考试模拟试题及详细参考答案共四套

离散模拟答案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

二、(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人。

离散数学练习题(含答案)

离散数学练习题(含答案)

离散数学练习题(含答案)离散数学试题第一部分选择题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。

离散考试试题模一答案

离散考试试题模一答案

《离散数学》模拟试题一答案一、单项选择题(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阶元是( )。

网络学院《离散数学》模拟-答案

网络学院《离散数学》模拟-答案

网络学院离散数学模拟试题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++程序员都知道对象的概念。

离散数学模拟试题、课后习题(附解析)超强集合

离散数学模拟试题、课后习题(附解析)超强集合

,即
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=

专科离散数学模拟试题(一)

专科离散数学模拟试题(一)

专科《离散数学模拟》试题(一)姓名______________ 学号______________ 成绩______________一、填空(每小题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.将下一命题符号化。

《离散数学》模拟题

《离散数学》模拟题

《离散数学》模拟题北航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、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 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分)。

相关文档
最新文档