离散数学试卷及答案(3)

合集下载

离散数学期末考试题及详细答案

离散数学期末考试题及详细答案

离散数学期末考试题及详细答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念用来描述元素与集合之间的关系?A. 并集B. 交集C. 子集D. 元素答案:D2. 布尔代数中,下列哪个运算符表示逻辑“与”?A. ∨B. ∧C. ¬D. →答案:B3. 下列哪个命题的否定是正确的?A. 如果今天是周一,则明天是周二。

B. 如果今天是周一,则明天不是周二。

答案:B4. 在图论中,一个图的顶点数为n,边数为m,下列哪个条件可以保证该图是连通的?A. m > nB. m ≥ nC. m = nD. m > n-1答案:D二、填空题(每题5分,共20分)1. 在集合论中,一个集合的幂集包含该集合的所有______。

答案:子集2. 如果一个函数f: A → B是单射的,那么对于任意的a1, a2 ∈ A,如果a1 ≠ a2,则f(a1) ≠ f(a2)。

这种性质称为函数的______。

答案:单射性3. 在图论中,一个图的直径是指图中任意两个顶点之间的最短路径的最大值。

如果一个图的直径为1,则该图被称为______。

答案:完全图4. 一个布尔表达式可以表示为一系列逻辑运算符和变量的组合。

布尔表达式(A ∧ B) ∨ (¬ A ∧ C)的真值表中,当A为真,B为假,C为真时,整个表达式的值为______。

答案:真三、简答题(每题10分,共30分)1. 请简述什么是图的哈密顿回路,并给出一个例子。

答案:哈密顿回路是图中的一个回路,它恰好访问每个顶点一次。

例如,在一个完全图中,任意一个顶点出发,依次访问其他顶点,最后回到出发点的路径就是一个哈密顿回路。

2. 请解释什么是二元关系,并给出一个二元关系的例子。

答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。

例如,小于关系是实数集合上的一个二元关系,它关联了每一对实数,如果第一个数小于第二个数。

离散数学(本)形考三答案

离散数学(本)形考三答案

形考任务三单项选择题题目1谓词公式(x)(A(x)→B(x)∨C(x,y))中的()。

选择一项:正确答案是:x是约束变元,y都是自由变元题目2表达式的辖域是( ).选择一项:题目3下列公式成立的为( ).选择一项:正确答案是:┐P∧(P∨Q)Q题目4命题公式 (P∨Q)→R的析取范式是 ( ).选择一项:正确答案是:(┐P∧┐Q)∨R题目5设个体域D是整数集合,则命题的真值是().选择一项:正确答案是:T题目6设个体域D={a, b, c},那么谓词公式消去量词后的等值式为( ).选择一项:题目7下列公式 ( )为重言式.选择一项:正确答案是:Q→(P∨(P∧Q))↔Q →P题目8设A(x):x是人,B(x):x是教师,则命题“有人是教师”可符号化为().选择一项:题目9命题公式为( )选择一项:正确答案是:可满足式题目10下列等价公式成立的为( ).选择一项:正确答案是:P→(┐Q→P)┐P→(P→Q)判断题题目11命题公式┐(P→Q)的主析取范式是P∨┐Q.( )选择一项:正确的答案是“错”。

题目12设P:他生病了,Q:他出差了,R:我同意他不参加学习.那么命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为(P∨Q)→┐R.( )选择一项:正确的答案是“错”。

题目13设P:小王来学校, Q:他会参加比赛.那么命题“如果小王来学校,则他会参加比赛”符号化的结果为P→Q.( )选择一项:正确的答案是“对”。

题目14命题公式P→(Q∨P)的真值是T.( )选择一项:正确的答案是“对”。

题目15设个体域D={1,2, 3, 4},A(x)为“x大于5”,则谓词公式(∀x)A(x)的真值为T.( )选择一项:正确的答案是“错”。

题目16设P:我们下午2点去礼堂看电影,Q:我们下午2点去教室看书.那么命题“我们下午2点或者去礼堂看电影或者去教室看书”符号化的结果为P∨Q.( )正确的答案是“错”。

离散数学第3章答案

离散数学第3章答案

习题3.11.(1) {0,1,2,3,4,5,6,7,8,9}(2) {aa , ab , ba , bb }(3) {-1,1}(4) {11,13,17,19,23,29}(5) {1,2,3, (79)(6) {2}2. 用描述法表示下列集合:(1) 不超过200的自然数的集合;{|N 200}x x x ∈∧≤(2) 被5除余1的正整数的集合;+{|I (N 51)}x x y y x y ∈∧∃∈∧=+(3) 函数y =sin x 的值域;{|R 11}y y y ∈∧-≤≤(4) 72的质因子的集合;{|N |72(N 2|)}x x x y y y x y x ∈∧∧∀∈∧≤<→/(5) 不等式031>-x 的解集; {|R 3}x x x ∈∧>(6) 函数2312+-=x x y 的定义域集. {|R 12}x x x x ∈∧≠∧≠3. 用归纳定义法描述下列集合:(1) 允许有前0的十进制无符号整数的集合;① {0,1,2,3,4,5,6,7,8,9}A ⊆② 如果x A ∈,则{0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9}x x x x x x x x x x x x x x x x x x x x A ⊆(2) 不允许有前0的十进制无符号整数的集合;① {1,2,3,4,5,6,7,8,9}A ⊆② 如果x A ∈,则{0,1,2,3,4,5,6,7,8,9}x x x x x x x x x x A ⊆(3) 不允许有前0的二进制无符号偶数的集合;① 1A ∈② 如果x A ∈,则{0,1}x x A ⊆(4) 5的正整数倍的集合.① 5A ∈② 如果x A ∈,则5x A +∈4. 判断下列命题中,哪些是真的,哪些是假的(A 是任意集合):(1) ;A ∈∅(2) ;A ⊆∅ (3) };{A A ∈ (4) ;A A ⊆ (5) ;A A ∈ (6) };{A A = (7) }.{∅=∅答:(2),(3),(4)为真,(1),(5),(6),(7)为假。

离散数学试卷及答案三

离散数学试卷及答案三

、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。

错选、多选或未选均无分。

1.下列各图是平面图的是()A.IL J D-2•设G是n个顶点的无向简单图,则下列说法不.正确的是)A. 若G是树,则其边数等于n-1B. 若G是欧拉图,则G中必有割边C•若G中有欧拉路,则G是连通图,且有零个或两个奇度数顶点D.若G中任意一对顶点的度数之和大于等于n-1,则G中有汉密尔顿路3•格L是分配格的充要条件是L不含与下面哪一个选项同构的子格()A.链C.五角格B.钻石格D.五角格与钻石格4•设<G,*>是有限循环群,则下列说法不.正确的是()A. <G,*>的生成元是唯一的B. 有限循环群中的运算*适合交换律C. G中存在一元素a,使G中任一元素都由a的幕组成D. 设a是<G,*>的生成元,则对任一正整数i,存在正整数j使a-i=a j5.在实数集合R上,下列定义的运算中是可结合的只有()A.a*b=a+2b C.a*b=a-b+2abB.a*b=a+b-2ab D.a*b=a-b-2ab6.设群G=<A,*>中,A的元素个数大于1,若元素a€ A的逆元素为b € A,则a*b的运算结果是()A.aC.G中零元素B.bD.G中幺元7.非空集合A上的二元关系R若是自反和对称的,则R是()A.偏序关系C.相容关系B.等价关系D.拟序关系8. 下面的图是A= { 1,2,3} 上关系R的关系图G(R),从G(R)可判断R所具有的性质是()1。

A. 自反,对称,传递B. 反自反,非对称C. 反自反,对称,非传递D. 反自反,对称,反对称,传递9. 设A= {1, 2, 3}, B= { a,b},下列二元关系R为A到B的函数的是()A. R= {<1,a>,<2,a>,<3,a> }B. R= {<1,a>,<2,b> }C. R= {<1,a>,<1,b>,<2,a>,<3,a> }D. R= {<1,b>,<2,a>,<3,b>,<1,a> }10. 设$为空集,P(x)是集合x的幕集,下列论断不.正确的是()A. 0 € P( $ ), $ P( $ )B. { $ } € P ( $ ), { $ }U P ($)C. $ € P (P ($ )), $ §P (P ( $ ))D. { $ } € P ( P ( $ )) ,{ $ }0P (P ( $ ))11. 利用谓词的约束变元改名规则和自由变元代入规则,可将如下公式:(-x)(p(x,y) > ( z)Q(x,z)) (-y)R(x,y)改写成( )A. (-z)(p(z,y) > ( y)Q(z,y)) (-s)R(z,s)B. (—z)(p(z,y)—. ( s)Q(x,s)) (-y)R(z,y)C. (-x)(p(x, m)—;( y)Q(x,y)) (-m)R(m,m)D. (-x)(p(y,y) > ( y)Q(x,y)) (_s)R(y,s)12. 设论域为整数集,下列谓词公式中真值为假的是()A. ( F( y)(x y 0)B. ( -x)( y)(x y =1)C. ( y)(—x)(x y =x)D. (-x)(-y)( z)(x -y z)13. 在命题演算中,语句为真为假的一种性质称为()A.真值B.陈述句C. 命题D.谓词14.设P:明天天晴;q:我去爬山;那么“除非明天天晴,否则我不去爬山。

离散数学试题带答案(三)

离散数学试题带答案(三)

离散数学试题带答案一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B={3} ; ρ(A) - ρ(B)={3},{1,3},{2,3},{1,2,3}} .2. 设有限集合A, |A| = n, 则|ρ(A×A)| = 22n.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2), (b,1)}, 其中双射的是α3, α4 .4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是(P∧⌝Q∧R)5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为3.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B={4} ; A⋃B={1,2,3,4};A-B={1,2} .7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性, 对称性传递性.8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有(1, 0, 0), (1, 0, 1),(1, 1, 0)9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 则R1•R2 ={(1,3),(2,2),(3,1)} , R2•R1 = {(2,4),(3,3),(4,2)} _R12 ={(2,2),(3,3).10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A⨯B)| = .11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = -1<=x<0 , B-A = {x | 1 < x < 2, x∈R} ,A∩B ={x | 0≤x≤1, x∈R} , .13.设集合A={2, 3, 4, 5, 6},R是A上的整除关系,则R以集合形式(列举法)记为{(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)} .14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x),则G的前束范式是∃x(⌝P(x)∨Q(x)) .15.设G是具有8个顶点的树,则G中增加21 条边才能把G变成完全图。

离散数学期末考试题(附答案和含解析3)

离散数学期末考试题(附答案和含解析3)

一、单项选择题2.设集合A={1,2,3},下列关系R 中不.是等价关系的是( D ) A.R={<1,1>,<2,2>,<3,3>}; B.R={<1,1>,<2,2>,<3,3>,<3,2>,<2,3>};C. R={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};D. R={<1,1>,<2,2>,<3,3>,<1,2 >}.3.在公式(x ∀)F (x ,y )→(∃ y )G (x ,y )中变元x 是( B )A .自由变元;(前面无∀或∃量词)B .既是自由变元,又是约束变元;C .约束变元;(前面有∀或∃量词)D .既不是自由变元,又不是约束变元.4.设A={{1,2,3},{4,5},{6,7,8}},下列选项正确的是( C )A .1∈A ;B .{1,2,3}⊆A ;C .{{4,5}}⊆A ;D .∈A. 5.设论域为{l ,2},及公式)()(x A x ∃等价的是( A )A.A (1)∨A (2);B. A (1)→A (2);C.A (1)∧A (2);D. A (2)→A (1).6.一棵树有5个3度结点,2个2度结点,其它的都是l 度结点,那么这棵树的结点数是( B )A.13 ;B.14 ;C.16 ;D.17 .//设一度结点数为n,则有:5×3+2×2+n=2[(5+2+n)-1]解得:n=7, 所以这棵树的结点数为:m=5+2+7=14.7.设A 是偶数集合,下列说法正确的是( A )A .<A ,+>是群;B .<A ,×>是群;C .<A ,÷>是群;D .<A ,+>, <A ,×>,<A ,÷>都不是群。

《离散数学》试题带答案(三)

《离散数学》试题带答案(三)

《离散数学》试题带答案试卷十四试题与答案一、 填空 10% (每小题 2分)1、 设>-∧∨<,,,A 是由有限布尔格≤><,A 诱导的代数系统,S 是布尔格≤><,A ,中所有原子的集合,则>-∧∨<,,,A ~ 。

2、 集合S={α,β,γ,δ}上的二元运算*为那么,代数系统<S, *>中的幺元是 , α的逆元是 。

3、 设I 是整数集合,Z 3是由模3的同余类组成的同余类集,在Z 3上定义+3如下:]3m od )[(][][3j i j i +=+,则+3的运算表为 ;<Z +,+3>是否构成群 。

4、 设G 是n 阶完全图,则G 的边数m= 。

5、 如果有一台计算机,它有一条加法指令,可计算四数的和。

现有28个数需要计算和,它至少要执行 次这个加法指令。

二、 选择 20% (每小题 2分)1、 在有理数集Q 上定义的二元运算*,Q y x ∈∀,有xy y x y x -+=*,则Q 中满足( )。

A 、 所有元素都有逆元;B 、只有唯一逆元;C 、1,≠∈∀x Q x 时有逆元1-x ; D 、所有元素都无逆元。

2、 设S={0,1},*为普通乘法,则< S , * >是( )。

A 、 半群,但不是独异点;B 、只是独异点,但不是群;C 、群;D 、环,但不是群。

3、图 给出一个格L ,则L 是( )。

A 、分配格;B 、有补格;C 、布尔格;D 、 A,B,C 都不对。

3、 有向图D=<V , E>,则41v v 到长度为2的通路有( )条。

A 、0;B 、1;C 、2;D 、3 。

4、 在Peterson 图中,至少填加( )条边才能构成Euler图。

A 、1;B 、2;C 、4;D 、5 。

三、 判断 10% (每小题 2分)1、 在代数系统<A,*>中如果元素A a ∈的左逆元1-e a 存在,则它一定唯一且11--=e a a 。

《离散数学》题库及答案

《离散数学》题库及答案

《离散数学》题库及答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?()(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答:(1),(4)2、下列公式中哪些是永真式?()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答:(2),(3),(4),(5),(6)4、公式某((A(某)B(y,某))zC(y,z))D(某)中,自由变元是(变元是()。

答:某,y,某,z5、判断下列语句是不是命题。

若是,给出命题的真值。

((1)北京是中华人民共和国的首都。

(2)陕西师大是一座工厂。

),约束)(3)你喜欢唱歌吗?(4)若7+8>18,则三角形有4条边。

(5)前进!(6)给我一杯水吧!答:(1)是,T(2)是,F(3)不是(4)是,T(5)不是(6)不是6、命题“存在一些人是大学生”的否定是(),而命题“所有的人都是要死的”的否定是()。

答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为()。

(1)只有在生病时,我才不去学校(2)若我生病,则我不去学校(3)当且仅当我生病时,我才不去学校(4)若我不生病,则我一定去学校答:(1)QP(2)PQ(3)PQ(4)PQ8、设个体域为整数集,则下列公式的意义是()。

(1)某y(某+y=0)(2)y某(某+y=0)答:(1)对任一整数某存在整数y满足某+y=0(2)存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合,确定下列命题的真值:(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答:(1)F(2)F(3)F(4)T10、设谓词P(某):某是奇数,Q(某):某是偶数,谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。

国家开放大学电大《离散数学》形考任务3

国家开放大学电大《离散数学》形考任务3

形考任务三试题及答案题目为随机,用查找功能(Ctrl+F)搜索题目选择题[题目]设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为().[答案]P→Q[题目]设命题公式G:G:┐p→(Q∧R),则使公式G取真值为1的P,Q,R赋值分别是().[答案]1,0,0[题目]命题公式(P∨Q)→R的析取范式是().[答案](┐P∧┐Q)∨R[题目]命题公式(P∨Q)的合取范式是().[答案](P∨Q)[题目]命题公式┐(p→Q)的主析取范式是().[答案]P∧┐Q[题目]命题公式P→Q的主合取范式是().[答案]┐P∨Q[题目]下列等价公式成立的为().[答案]P→(┐Q→P)<=>┐P→(P→Q)[题目]下列等价公式成立的为().[答案]┐P∧P<=>┐Q∧Q[题目]下列公式成立的为().[答案]┐P∧(P∨Q)=>Q[题目]下列公式中()为永真式.[答案]┐A∧┐B↔┐(A∨B)[题目]下列公式()为重言式.[答案]Q→(P∨(P∧Q))↔Q→P[题目]命题公式(P∨Q)→Q为()[答案]可满足式[题目]设A(x):x是书,B(x):x是数学书,则命题“不是所有书都是数学书”可符号化为().[答案][题目]设A(x):x是人,B(x):x是教师,则命题“有人是教师”可符号化为().[答案][题目]设个体域为整数集,则公式的解释可为().[答案]对任一整数x存在整数y满足x+y=0[题目]表达式中的辖域是().[答案][题目]谓词公式(∀x)(A(x)→B(x)∨C(x,y))中的()。

[答案]x是约束变元,y都是自由变元[题目]设个体域D={a,b,c},那么谓词公式消去量词后的等值式为().[答案][题目]设个体域D是整数集合,则命题的真值是().[答案]T[题目]前提条件P→┐Q2P的有效结论是().[答案]┐Q判断题[题目]设P:小王来学校,Q:他会参加比赛.那么命题“如果小王来学校,则他会参加比赛”符号化的结果为P→Q.()[答案]对[题目]设P:昨天下雨,Q:今天下雨.那么命题“昨天下雨,今天仍然下雨”符号化的结果为P∧Q.()[答案]对[题目]设P:我们下午2点去礼堂看电影,Q:我们下午2点去教室看书.那么命题“我们下午2点或者去礼堂看电影或者去教室看书”符号化的结果为P∨Q.()[答案]错[题目]设P:他生病了,Q:他出差了,R:我同意他不参加学习.那么命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为(P∨Q)→┐R.()[答案]错[题目]命题公式P→(Q∨P)的真值是T.()[答案]对[题目]命题公式┐P∧P的真值是T.()[答案]错[题目]命题公式┐P∧(P∨Q)=>Q成立.()[答案]对[题目]命题公式┐P∧(P→┐Q)∨P为永真式.()[答案]对[题目]命题公式┐(P→Q)的主析取范式是P∨┐Q.()[答案]错[题目]含有三个命题变项P,Q,R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R).()[答案]对[题目]设P(x):x是人,Q(x):x去上课,那么命题“有人去上课.”为(∃x)(P(x)→Q(x)).()[答案]错[题目]设P(x):x是人,Q(x):x学习努力,那么命题“所有的人都学习努力.”为(∀x)(P(x)∧Q(x)).()[答案]错[题目]设个体域D={1,2,3},A(x)为“x小于3”,则谓词公式(∃x)A(x)的真值为T.()[答案]对[题目]设个体域D={1,2,3,4},A(x)为“x大于5”,则谓词公式(∀x)A(x)的真值为T.()[答案]错[题目]谓词公式┐(∀x)P(x)(∃x)┐P(x)成立.()[答案]对[题目]谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为x.()[答案]错[题目]谓词命题公式(∀x)(P(x)→Q(x)∨R(x,y))中的约束变元为x.()[答案]对[题目]设个体域D={a,b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b).()[答案]错[题目]设个体域D={a,b},则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b)).()[答案]对[题目]下面的推理是否正确.()(1)(∀x)A(x)→B(x)前提引入(2)A(y)→B(y)US(1)[答案]错。

大学离散数学试卷三及答案

大学离散数学试卷三及答案

大学离散数学试卷三及答案一、单项选择题(每题2分,共20分)1.下列语句是命题的有[ B ]。

A .请保持安静!B .2011年元旦是星期六;C .x ≤6;D .今天是星期五吗?2.下面哪个命题公式是重言式[ B ]。

A .)()(r q q p →∧→;B .)(p q p →→;C .)()(q p q p ⌝∧⌝∧∨⌝;D .p q p ∧∨⌝)(。

3.下列二元关系中,具有传递性的二元关系是[ A ]。

A .{<a,b>}B .{<a,b>,<b,a>}C .{<a,b>,<b,c>}D .{<a,a>,<a,b>,<b,a>}4.若A={a,b,c},则下列集合中,[ C ]是A 的划分。

A .{Φ,{a},{b,c}}B .{{a,b},{b,c}}C .{{a},{b},{c}}D .{{a},{b}}5.N 是自然数集,定义3mod )(,:x x f N N f =→(即x 除以3的余数),则函数f 是[ A ]。

A .满射非单射;B .单射非满射;C .双射;D .非单射非满射6.下面集合[ C ]关于减法运算不是封闭的。

A .Z ;B .{2x ∣x ∈Z}C .{2x+1∣x ∈Z}D .{0}7.设R 是实数集合,“⨯”为普通乘法,则<R ,×> [ B ]。

A .是群;B .是独异点,不是群;C .是半群,不是独异点;D .是代数系统,不是半群8.下图中既不是Eular 图,也不是汉密尔顿图的是[ B ]。

9.如左下图,相对于5阶无向完全图K 5的补图为[ ]。

[本题图错误]10.给定无向图>=<E V G ,,下面哪个顶点子集是图G 的点割集[ A ]。

A .{}4v ;B .{}41,v v ;C .{}42,v v ;D .{}43,v v二、填空题(每题2分,共20分)1.设F(x):x 是人;G(x):x 会犯错误,则在谓词逻辑中,命题“没有不犯错误的人”谓词符号化为))()((x G x M x ⌝∧⌝∃或 ))()((x G x M x →∀。

离散数学试题带答案(三)

离散数学试题带答案(三)

离散数学试题带答案一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B={3} ; ρ(A) - ρ(B)={3},{1,3},{2,3},{1,2,3}} .2. 设有限集合A, |A| = n, 则|ρ(A×A)| = 22n.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2), (b,1)}, 其中双射的是α3, α4 .4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是(P∧⌝Q∧R)5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为3.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B={4} ; A⋃B={1,2,3,4};A-B={1,2} .7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性, 对称性传递性.8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有(1, 0, 0), (1, 0, 1),(1, 1, 0)9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 则R1•R2 ={(1,3),(2,2),(3,1)} , R2•R1 = {(2,4),(3,3),(4,2)} _R12 ={(2,2),(3,3).10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A⨯B)| = .11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = -1<=x<0 , B-A = {x | 1 < x < 2, x∈R} ,A∩B ={x | 0≤x≤1, x∈R} , .13.设集合A={2, 3, 4, 5, 6},R是A上的整除关系,则R以集合形式(列举法)记为{(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)} .14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x),则G的前束范式是∃x(⌝P(x)∨Q(x)) .15.设G是具有8个顶点的树,则G中增加21 条边才能把G变成完全图。

离散数学试卷及答案

离散数学试卷及答案

离散数学试题与答案试卷一一、填空 20% (每小题2分)1.设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =⋃B A 。

2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。

3.设P ,Q 的真值为0,R ,S 的真值为1,则)()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。

4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 。

5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为 。

6.设A={1,2,3,4},A 上关系图为则 R 2 = 。

7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为则 R= 。

8.图的补图为 。

9.设A={a ,b ,c ,d} ,A 上二元运算如下:那么代数系统<A ,*>的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。

10.下图所示的偏序集中,是格的为 。

二、选择 20% (每小题 2分)1、下列是真命题的有( ) A . }}{{}{a a ⊆;B .}}{,{}}{{ΦΦ∈Φ;C . }},{{ΦΦ∈Φ;D . }}{{}{Φ∈Φ。

2、下列集合中相等的有( )A .{4,3}Φ⋃;B .{Φ,3,4};C .{4,Φ,3,3};D . {3,4}。

3、设A={1,2,3},则A 上的二元关系有()个。

A . 23 ; B . 32 ; C . 332⨯; D . 223⨯。

4、设R ,S 是集合A 上的关系,则下列说法正确的是( ) A .若R ,S 是自反的, 则S R 是自反的; B .若R ,S 是反自反的, 则S R 是反自反的; C .若R ,S 是对称的, 则S R 是对称的; D .若R ,S 是传递的, 则S R 是传递的。

5、设A={1,2,3,4},P(A)(A的幂集)上规定二元系如下t st spR=∈=则P(A)/ R=()<A∧>)(||||}s({t,,|A.A ;B.P(A) ;C.{{{1}},{{1,2}},{{1,2,3}},{{1,2,3,4}}};D.{{Φ},{2},{2,3},{{2,3,4}},{A}}6、设A={Φ,{1},{1,3},{1,2,3}}则A上包含关系“⊆”的哈斯图为()7、下列函数是双射的为()A.f : I→E , f (x) = 2x ;B.f : N→N⨯N, f (n) = <n , n+1> ;C.f : R→I , f (x) = [x] ;D.f :I→N, f (x) = | x | 。

电大 离散数学 形成性考核册 作业(三)答案

电大 离散数学 形成性考核册 作业(三)答案

离散数学形成性考核作业〔三〕集合论与图论综合练习本课程形成性考核作业共4次,内容由中心电大确定、统一布置。

本次形考作业是第三次作业,大伙儿要认真及时地完成图论局部的形考作业,字迹工整,抄写题目,解答题有解答过程。

一、单项选择题1.假设集合A ={2,a ,{a },4},那么以下表述正确的选项是(B). A .{a ,{a }}∈A B .{a }⊆A C .{2}∈A D .∅∈A2.设B ={{2},3,4,2},那么以下命题中错误的选项是〔B 〕.A .{2}∈B B .{2,{2},3,4}⊂BC .{2}⊂BD .{2,{2}}⊂B3.假设集合A ={a ,b ,{1,2}},B ={1,2},那么〔B 〕. A .B ⊂A ,且B ∈A B .B ∈A ,但B ⊄A C .B ⊂A ,但B ∉A D .B ⊄A ,且B ∉A4.设集合A ={1,a },那么P (A )=(C). A .{{1},{a }}B .{∅,{1},{a }}C .{∅,{1},{a },{1,a }}D .{{1},{a },{1,a }}5.设集合A ={1,2,3,4,5,6}上的二元关系R ={<a ,b >⎢a ,b ∈A ,且a +b =8},那么R 具有的性质为〔B 〕. A .自反的B .对称的C .对称和传递的D .反自反和传递的6.设集合A ={1,2,3,4,5},B ={1,2,3},R 从A 到B 的二元关系,R ={<a ,b >⎢a ∈A ,b ∈B 且1=-b a } 那么R 具有的性质为〔〕.A .自反的B .对称的C .传递的D .反自反的[注重]:此题有误!自反性、反自反性、对称性、反对称性以及传递性指 某一个集合上的二元关系的性质。

7.设集合A ={1,2,3,4}上的二元关系R ={<1,1>,<2,2>,<2,3>,<4,4>},S ={<1,1>,<2,2>,<2,3>,<3,2>,<4,4>}, 那么S 是R 的〔C 〕闭包.A .自反B .传递C .对称D .以上都不对8.非空集合A 上的二元关系R ,满足(A),那么称R 是等价关系. A .自反性,对称性和传递性B .反自反性,对称性和传递性 C .反自反性,反对称性和传递性 D .自反性,反对称性和传递性9.设集合A ={a ,b },那么A 上的二元关系R={<a ,a >,<b ,b >}是A 上的(C)关系.A .是等价关系但不是偏序关系B .是偏序关系但不是等价关系C .既是等价关系又是偏序关系D .不是等价关系也不是偏序关系10.设集合A ={1,2,3,4,5}上的偏序关系的哈斯图如右图所示,假设A 的子集B ={3,4,5}, 那么元素3为B 的〔C 〕.A .下界B .最大下界C .最小上界D .以上答案都不对11.设函数f :R →R ,f (a )=2a +1;g :R →R ,g (a )=a 2.那么〔C 〕有反函数. A .g •f B .f •g C .f D .g12.设图G 的邻接矩阵为 那么G 的边数为(D). A .5B .6C .3D .413.以下数组中,能构成无向图的度数列的数组是(C). A .(1,1,2,3)B .(1,2,3,4,5)C .(2,2,2,2)D .(1,3,3) 14.设图G =<V ,E >,那么以下结论成立的是(C). A .deg(V )=2∣E ∣B .deg(V )=∣E ∣C .E v Vv 2)deg(=∑∈D .E v Vv =∑∈)deg(解;C 为握手定理。

离散数学第三章谓词逻辑习题答案

离散数学第三章谓词逻辑习题答案
A B
A
C
习题三
14.
下面证明有效吗? (x)[x A B] (x)[x A x B] (x)[x A x B] (x)[x A B] (x)[x A B] 答: 原证明无效. 因为(x)[x A x B] (x)[x A B]. 实际上 (x)[x A x B] (x)[~(x A x B)] (x)[x A B] (x)[x A B]
X 2 AB
等号成立的条件: A B或B A (因为若A和B没有子集关系, 必有a A– B和 b B– A, 使{a, b} 2 A B ,但{a, b} 2A B = 2 A B. 证明:X 2A 2B X 2A X 2B XAXB XAB X2A
习题三 4. 仔细区别集合中的关系符和,并 判断下列各蕴含关系的真假:
(1)Y, (2)~(5)N, (6)Y
习题三
9.证明下列各式:
(3) (A-B)-C = A –(B C) = (A –C)-B 证明: (A-B)-C = (A B) C = A B C = A –(B C) =(A C )B)= (A –C)-B (5) A (B C) = (A B ) (A C) 证明: A (B C) = A ((B-C) (C-B)) = (A B C) (A C B) = (A B C) (A B A) (A C B) (A C A) = (A B A C) (A C A B ) = (A B -A C) (A C - A B ) = (A B ) (A C)
习题三 集
16. 求A={, a, {b}}的幂
解: A={, a, {b}} 2A = {, {} , {a} , {{b}} , {,a} , {,b} , {a, {b}} , {, a, {b}}}

国家开放大学电大本科《离散数学》2024-2025期末试题及答案(试卷号:1009)

国家开放大学电大本科《离散数学》2024-2025期末试题及答案(试卷号:1009)

国家开放大学电大本科《离散数学》2024-2025期末试题及答案(试卷号:1009)一、单项选择题(每小题3分,本题共16分)若集合A = {1,2,3,4},则下列表述不正确的是( ).A.{2,3)€AB.AU{1,2,3,4}C. <1,2,3,4)QAD. 16A2.若无向图G的结点度数之和为20,则G的边数为( ).A.10B. 20C. 30D. 53.无向图G是棵树,结点数为10,则G的边数为( ).A. 5B. 10C.9D. 114.设A(x):x是人,B(x):x是学生,则命题“有的人是学生”可符号化为( )•A.Vx)(A(x)-*B(x»B.(3x)(A(x)AB(x))C.(Vx)(A(x)AB(x»D.-«(3x)(A(x)A -B(x»5.下面的推理正确的是( ).A.(l)(Vx)F(x)->G(x) 前提引入(2)F(>-)-*G(y) US(1).B.(1)( 3 x)F(x)-*G(x) 前提引入(2)F(y)-*G(y) US(1),C.(l)(3x)(F(x)->G(x»前提引入(2)F(y)-*G(x) ES(1).D.(l)(3x)(F(x)-*G(x)) 前提引入(2)F(y)-*G(y) ESQ).二、填空题(每小题3分,本题共15分)6.设A = {1,2),H = {1,2,3},则A到B上不同的函数个数为________________ .7.有&个结点的无向完全图的边数为 ____________ .8.若无向图G中存在欧拉路但不存在欧拉回路,则G的奇数度数的结点有________ 个.9.设G是有10个结点的无向连通图,结点的度数之和为30,则从G中删去条边后使之变成树.10.设个体域£> = {1,2,3,4},则谓词公式(*)人(了)消去量词后的等值式为三、逻辑公式翻译(每小题6分,本息共12分)11.将语句“昨天下甬“翻译成命题公式.12.将语句“小王今天上午或者去看电彩或者去打球”翻译成命JS公式.四、判断说明题(判断各题正误,并说明理由.每小题7分,本黑共14分)13.存在集合A与B,使得A6B与AUB同时成立.14.完全图K<是平面图.五、计算题(每小题12分,本题共36分)15.设偏序集VA,R>的哈斯图如下,B为A的子集,其中B = 试(1)写出R的关系表达式;(2)画出关系R的关系图;(3)求出B的最大元、极大元、上界.16.设图G — <V,E>,V={vj f v it v t,Vi»v s)»(v2, v3)»(v3»vs)}»试(1)画出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出图G的补图的图形,17.求P TQ代R)的合取范式与主合取范式.六、证明题(本题共8分)18.设A.B是任意集合,试证明:若AXA=BXB,^ A = B.M答杖松标准(仅辩者)一、单项选择题(每小题3分,本题共15分)1. A2. A3. C4.B5. D二、填空题(每小题3分,本题共]5分)6.97.”3 — 1)/2(或庆)8.210. A(l) VA(2) V A(3) V A(4)三、 逻辑公式翻译(每小题6分,本题共】2分)H,设P :昨天下雨. 则命题公式为:P ,12. 设P :小王今天上午去看电影 Q :小王今天上午去打球 则命题公式为:r (PiQ ). 或者(rPAQ )V 〈PA rQ )四、 判断说明题(每小题7分,本题共14分)13. 正确.例:设 A = {a} t H — {a,{a}) 则有且ACI3.说明:举出符合条件的例均给分. 14. 正确.完全图K 〈是平面图, 如K,可以如下图示嵌入平面.(7分)五、计算题(每小题12分,本题共36分)15. (l )R = {Va ,a>,Vb,Q>,Vc,c>,Vd,d>・Va0>・Va ・c>,V&,d>,VQ,d >}. (4 分)(2)关系图(8分)(3)集合B 无最大元,极大元为6与c.无上界. 16, 解: (1)关系图(2分) (6分)(2分)(6分)(3分) (517. P TQAR) 5PV(QAR) 0(rPVQ 〉A(rPVR)合取范式<=>(-PVQ)V(K A rR)A(rPVR) 0("VQ)V(& A rR)A(" VR)V(QA -Q)D(rPVQVR)A(rPVQVA("VR VQ) A(-、PVR V -Q) c=>(-PVQV7?)A(-'PVQV-R)A(-PV-QVR) 主合取范式 六、证明题(本意共8分)18. 证明:V2(2)邻接矩阵bioir 101001001 1 00 0(6分)(3) deg(vi)=,3deg(v t )—2 <ieg(v 3)~2 deg顷)=1 deg(v s )=2 (4) 补图(9分)(】2分)(2分) (5分)(7分〉设x€A,则Vx,x>€AXA,(1 分)因AXA = BXB,故V X,X>€BXB,则有xGB, (3 分)因此AGB. (5分)设xQB,则Vx,x>€BXB,(6 分)因AXA-BXB,故Vx,x>eAXA,则有因此BWA. (7 分)故得A=B. (8分)。

离散数学期末考试试题及答案

离散数学期末考试试题及答案

离散数学试题(B卷答案1)一、证明题(10分)1)(⌝P∧(⌝Q∧R))∨(Q∧R)∨(P∧R)⇔R证明: 左端⇔(⌝P∧⌝Q∧R)∨((Q∨P)∧R)⇔((⌝P∧⌝Q)∧R))∨((Q∨P)∧R)⇔(⌝(P∨Q)∧R)∨((Q∨P)∧R)⇔(⌝(P∨Q)∨(Q∨P))∧R⇔(⌝(P∨Q)∨(P∨Q))∧R⇔T∧R(置换)⇔R2) ∃x (A(x)→B(x))⇔∀xA(x)→∃xB(x)证明:∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x⌝A(x)∨∃xB(x)⇔⌝∀xA(x)∨∃xB(x)⇔∀xA(x)→∃xB(x)二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分)。

证明:(P∨(Q∧R))→(P∧Q∧R)⇔⌝(P∨(Q∧R))∨(P∧Q∧R))⇔(⌝P∧(⌝Q∨⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q)∨(⌝P∧⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q∧R)∨(⌝P∧⌝Q∧⌝R)∨(⌝P∧Q∧⌝R))∨(⌝P∧⌝Q∧⌝R))∨(P∧Q∧R)⇔m0∨m1∨m2∨m7⇔M3∨M4∨M5∨M6三、推理证明题(10分)1)C∨D, (C∨D)→⌝E,⌝E→(A∧⌝B), (A∧⌝B)→(R∨S)⇒R∨S 证明:(1) (C∨D)→⌝E P(2) ⌝E→(A∧⌝B) P(3) (C∨D)→(A∧⌝B) T(1)(2),I(4) (A∧⌝B)→(R∨S) P(5) (C∨D)→(R∨S) T(3)(4), I(6) C∨D P(7) R∨S T(5),I2) ∀x(P(x)→Q(y)∧R(x)),∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x) P(2)P(a) T(1),ES(3)∀x(P(x)→Q(y)∧R(x)) P(4)P(a)→Q(y)∧R(a) T(3),US(5)Q(y)∧R(a) T(2)(4),I(6)Q(y) T(5),I(7)R(a) T(5),I(8)P(a)∧R(a) T(2)(7),I(9)∃x(P(x)∧R(x)) T(8),EG(10)Q(y)∧∃x(P(x)∧R(x)) T(6)(9),I四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、单项选择题(每题2分,共10分)1. 集合A={1,2,3},集合B={2,3,4},则A∩B等于:A. {1,2,3}B. {2,3}C. {1,4}D. {3,4}答案:B2. 以下哪个命题是真命题?A. 所有天鹅都是白色的。

B. 有些天鹅不是白色的。

C. 所有天鹅都不是白色的。

D. 没有天鹅是白色的。

答案:B3. 函数f: A→B的定义域是A,值域是B,那么f是:A. 单射B. 满射C. 双射D. 既不是单射也不是满射答案:D4. 逻辑表达式(p∧q)→r的逆否命题是:A. ¬r→¬(p∧q)B. ¬r→¬p∨¬qC. r→(p∧q)D. ¬r∧¬p∨¬q答案:B5. 有限集合A={a, b, c}的子集个数为:A. 3B. 4C. 7D. 8答案:D二、填空题(每题3分,共15分)1. 如果一个关系R在集合A上是自反的,那么对于A中的每一个元素a,都有___________。

答案:(a, a)∈R2. 命题逻辑中,合取(AND)的逻辑运算符用___________表示。

答案:∧3. 在图论中,一个连通图是指图中任意两个顶点之间都存在___________。

答案:路径4. 集合{1, 2, 3}的幂集包含___________个元素。

答案:85. 如果一个函数f是单射,那么对于任意的x1, x2∈A,如果f(x1)=f(x2),则x1___________x2。

答案:=三、解答题(每题10分,共20分)1. 证明:若p是q的充分条件,q是r的充分条件,则p是r的充分条件。

证明:假设p成立,由于p是q的充分条件,所以q成立。

又因为q是r的充分条件,所以r成立。

因此,p成立可以推出r成立,即p是r的充分条件。

2. 给定一个有向图,其中包含顶点A、B、C、D,边为(A, B),(B, C),(C, D),(D, A),(A, C)。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个选项表示“属于”关系?A. ⊆B. ⊂C. ∈D. ⊇答案:C2. 以下哪个命题是真命题?A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬(p → q) → p答案:B3. 以下哪个选项是命题逻辑中的德摩根定律?A. ¬(p ∨ q) = ¬p ∧ ¬qB. ¬(p ∧ q) = ¬p ∨ ¬qC. ¬(p → q) = p ∧ ¬qD. ¬(p ∨ q) = ¬p ∨ ¬q答案:A4. 以下哪个选项是命题逻辑中的蕴含等价?A. p → q ≡ ¬p ∨ qB. p → q ≡ ¬q → ¬pC. p → q ≡ p ∨ ¬qD. p → q ≡ ¬p ∧ q答案:A5. 以下哪个选项是关系的性质?A. 反身性B. 对称性C. 传递性D. 所有选项都是答案:D6. 以下哪个选项是图论中的有向图?A. 无向图中的边没有方向B. 有向图中的边有方向C. 混合图中的边既有方向也有无方向D. 所有选项都是答案:B7. 在图论中,以下哪个选项是树的性质?A. 树是无环的B. 树是连通的C. 树是无向图D. 所有选项都是答案:D8. 以下哪个选项是布尔代数的基本运算?A. 与(AND)B. 或(OR)C. 非(NOT)D. 所有选项都是答案:D9. 以下哪个选项是组合数学中的排列?A. 从n个不同元素中取出m个元素的组合B. 从n个不同元素中取出m个元素的排列C. 从n个相同元素中取出m个元素的组合D. 从n个相同元素中取出m个元素的排列答案:B10. 以下哪个选项是集合论中的幂集?A. 一个集合的所有子集的集合B. 一个集合的所有真子集的集合C. 一个集合的所有超集的集合D. 一个集合的所有子集的个数答案:A二、简答题(每题10分,共30分)1. 简述命题逻辑中的等价命题是什么?答案:等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。

离散数学考试题详细答案

离散数学考试题详细答案

离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。

设P表示命题“上午下雨”,Q表示命题“我去看电影”,R表示命题“在家里读书”,S表示命题“在家看报”,命题符号化为:(P⇄Q)(P⇄R S)b)我今天进城,除非下雨。

设P表示命题“我今天进城”,Q表示命题“天下雨”,命题符号化为:Q→P或P→Q c)仅当你走,我将留下。

设P表示命题“你走”,Q表示命题“我留下”,命题符号化为: Q→P2.用谓词逻辑把下列命题符号化a)有些实数不是有理数设R(x)表示“x是实数”,Q(x)表示“x是有理数”,命题符号化为:x(R(x) Q(x)) 或x(R(x) →Q(x))b)对于所有非零实数x,总存在y使得xy=1。

设R(x)表示“x是实数”,E(x,y)表示“x=y”,f(x,y)=xy, 命题符号化为:x(R(x) E(x,0) →y(R(y) E(f(x,y),1))))c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.设F(f)表示“f是从A到B的函数”, A(x)表示“x∈A”, B(x)表示“x∈B”,E(x,y)表示“x=y”, 命题符号化为:F(f)⇄∀a(A(a)→∃b(B(b) ∧ E(f(a),b) ∧∀c(S(c) ∧ E(f(a),c) →E(a,b))))二、简答题(共6道题,共32分)1.求命题公式(P→(Q→R))(R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。

(5分)(P→(Q→R))(R→(Q→P))(P Q R)(P Q R)((P Q R)→(P Q R)) ∧((P Q R) →(P Q R)).((P∧Q∧R) (P Q R)) ∧ ((P∧Q∧R) (P Q R))(P Q R) ∧(P Q R) 这是主合取范式公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为(P∧Q∧R)(P∧Q∧R)(P∧Q∧R)(P∧Q∧R)(P∧Q∧R)(P∧Q∧R)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)a) T b) F3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

一、 填空 20% (每空 2分)1、 设 f ,g 是自然数集N 上的函数x x g x x f N x 2)(,1)(,=+=∈∀,则=)(x g f 。

2、 设A={a ,b ,c},A 上二元关系R={< a, a > , < a, b >,< a, c >, < c, c>} ,则s (R )= 。

3、 A={1,2,3,4,5,6},A 上二元关系}|,{是素数y x y x T ÷><=,则用列举法 T= ; T 的关系图为; T 具有 性质。

4、 集合}}2{},2,{{Φ=A 的幂集A2= 。

5、 P ,Q 真值为0 ;R ,S 真值为1。

则))()(())((S R Q P S R P wff ∧∧∨→∨∧的真值为 。

6、 R R Q P wff →∨∧⌝))((的主合取范式为 。

7、 设 P (x ):x 是素数, E(x):x 是偶数,O(x):x 是奇数 N (x,y):x 可以整数y 。

则谓词))),()(()((x y N y O y x P x wff ∧∃→∀ 的自然语言是。

8、 谓词)),,()),(),(((u y x uQ z y P z x P z y x wff ∃→∧∃∀∀的前束范式为。

二、 选择 20% (每小题 2分)1、 下述命题公式中,是重言式的为( )。

A 、)()(q p q p ∨→∧ ;B 、))())(()(p q q p q p →∧→↔↔ ;C 、q q p ∧→⌝)( ;D 、q p p ↔⌝∧)( 。

2、 r q p wff→∧⌝)(的主析取范式中含极小项的个数为( )。

A 、2;B 、 3;C 、5;D 、0;E 、 8 。

3、 给定推理①))()((x G x F x →∀ P ②)()(y G y F → US ① ③)(x xF ∃ P ④)(y F ES ③ ⑤)(y G T ②④I ⑥)(x xG ∀UG ⑤)())()((x xG x G x F x ∀⇒→∀∴推理过程中错在( )。

A 、①->②;B 、②->③;C 、③->④;D 、④->⑤;E 、⑤->⑥4、 设S 1={1,2,…,8,9},S 2={2,4,6,8},S 3={1,3,5,7,9},S 4={3,4,5},S 5={3,5},在条件31S X S X ⊄⊆且下X 与( )集合相等。

A 、 X=S 2或S 5 ; B 、X=S 4或S 5;C 、X=S 1,S 2或S 4;D 、X 与S 1,…,S 5中任何集合都不等。

5、 设R 和S 是P 上的关系,P 是所有人的集合,},|,{的父亲是y x P y x y x R ∧∈><=,},|,{的母亲是y x P y x y x S ∧∈><= 则R S 1-表示关系 ( )。

A 、},|,{的丈夫是y x P y x y x ∧∈><; B 、},|,{的孙子或孙女是y x P y x y x ∧∈><;C 、 Φ;D 、},|,{的祖父或祖母是y x P y x y x ∧∈><。

6、 下面函数( )是单射而非满射。

A 、12)(,:2-+-=→x x x f R R f ;B 、x x f R Z f ln )(,:=→+;C 、的最大整数表示不大于x x x x f Z R f ][],[)(,:=→;D 、12)(,:+=→x x f R R f 。

其中R 为实数集,Z 为整数集,R +,Z +分别表示正实数与正整数集。

7、 设S={1,2,3},R 为S 上的关系,其关系图为则R 具有( )的性质。

A 、 自反、对称、传递;B 、什么性质也没有;C 、反自反、反对称、传递;D 、自反、对称、反对称、传递。

8、 设}}2,1{},1{,{Φ=S ,则有( )S ⊆。

A 、{{1,2}} ;B 、{1,2 } ;C 、{1} ;D 、{2} 。

9、 设A={1 ,2 ,3 },则A 上有( )个二元关系。

A 、23 ;B 、32 ;C 、322; D 、232。

10、全体小项合取式为( )。

A 、可满足式;B 、矛盾式;C 、永真式;D 、A ,B ,C 都有可能。

三、 用CP 规则证明 16% (每小题 8分)1、F A FE D D C B A →⇒→∨∧→∨,2、)()())()((x xQ x xP x Q x P x ∃∨∀⇒∨∀四、(14%)集合X={<1,2>, <3,4>, <5,6>,… },R={<<x 1,y 1>,<x 2,y 2>>|x 1+y 2 = x 2+y 1} 。

1、 证明R 是X 上的等价关系。

(10分) 2、 求出X 关于R 的商集。

(4分)五、(10%)设集合A={ a ,b , c , d }上关系R={< a, b > , < b , a > , < b , c > , < c , d >}要求 1、写出R 的关系矩阵和关系图。

(4分) 2、用矩阵运算求出R 的传递闭包。

(6分)六、(20%)1、(10分)设f 和g 是函数,证明g f ⋂也是函数。

2、(10分)设函数S T f T S g →→::,证明 S T f →:有一左逆函数当且仅当f 是入射函数。

一、 填空 20%(每空2分)1、2(x+1);2、}a , c ,a , b ,c , c ,c , a ,b , a ,a , a {><><><><><>< ;3、>}<><><><><><3,6,2,6,2,4,5,1,3,1,2,1{;4、反对称性、反自反性;4、}}}2{},2,{{}},2{{}},2,{{,{ΦΦΦ;5、1;6、)()()(R Q P R Q P R Q P ∨∨∧∨∨⌝∧∨⌝∨;7、任意x ,如果x 是素数则存在一个y ,y 是奇数且y 整除x ;8、)),,(),(),((u y x Q z y P z x P u z y x ∨⌝∨⌝∃∀∀∀。

二、 选择 20%(每小题 2分)三、 证明 16%(每小题8分) 1、 ①A P (附加前提) ②B A ∨T ①I ③D C B A ∧→∨P④D C ∧ T ②③I ⑤D T ④I ⑥E D ∨ T ⑤I ⑦F E D →∨ P ⑧F T ⑥⑦I ⑨F A → CP2、)()(())()(()()()()()(x xQ x xP x Q x P x x xQ x P x x xQ x xP ∃→∀⌝⇒∨∀∃→∀⌝⇔∃∨∀本题可证① ))((x xP ∀⌝ P (附加前提) ②))((x P x ⌝∃ T ①E ③)(a P ⌝ES ② ④))()((x Q x P x ∨∀ P ⑤)()(a Q a P ∨ US ④ ⑥)(a Q T ③⑤I ⑦)(x xQ ∃EG ⑥ ⑧)()((x xQ x xP ∃→∀⌝ CP四、 14% 1、 证明:(1) 自反性:y x y x X y x +=+>∈<∀由于,,自反R Ry x y x >>∈<><<∴,,,(2) 对称性:X y x X y x >∈<∀>∈<∀2211,,,时当R y x y x >>∈<><<2211,,, 21121221y x y x y x y x +=++=+也即即有对称性故R R y x y x >>∈<><<1122,,,(3) 传递性:X y x X y x X y x >∈<∀>∈<∀>∈<∀332211,,,,时且当R y x y x R y x y x >>∈<><<>>∈<><<33222211,,,,,,⎩⎨⎧+=++=+)2()1(23321221y x y x y x y x 即23123221)2()1(y x y x y x y x +++=++++即1331y x y x +=+有传递性故R R y x y x >>∈<><<3311,,,由(1)(2)(3)知:R 是X 上的先等价关系。

2、X/R=}]2,1{[R >< 五、 10%1、⎪⎪⎪⎪⎪⎭⎫⎝⎛=0000100001010010R M ; 关系图 2、⎪⎪⎪⎪⎪⎭⎫⎝⎛==00000000101001012R R R M M M ⎪⎪⎪⎪⎪⎭⎫⎝⎛==000000000101101023R R R M M M 2340000000010100101R R R R M M M M =⎪⎪⎪⎪⎪⎭⎫⎝⎛== ,,4635R R R R M M M M == ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=+++=0000100011111111432)(R R R R R t M M M M M ∴ t (R)={<a , a> , <a , b> , < a , c> , <a , d > , <b , a > , < b ,b > , < b , c . > , < b , d > , < c , d > }。

六、 20%1、(1))}()(|,{)}()(|,{x g x f y domg domf x y x x g y x f y domg x domf x y x g f ==∧⋂∈><==∧=∧∈∧∈><=⋂)}()(,|{x g x f domg domf x x domh g domf gf h =⋂∈==⋂∴⋂=令(2))}()()(|,{x g x f x h y domg domf x y x h ===∧⋂∈><=使得若有对21,y y domh x ∈ )()()(,)()()(21x g x f x h y x g x f x h y ======21,)(y y g f =有是函数或由于)(x h y y domh x =∈∀使得有唯一即 也是函数g f ⋂∴。

相关文档
最新文档