离散数学题目5

合集下载

离散数学答案

离散数学答案

习题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) (2)(3) ;A ∈∅;A ⊆∅};{A A ∈ (4)(5)(6) ;A A ⊆;A A ∈};{A A =(7) }.{∅=∅答:(2),(3),(4)为真,(1),(5),(6),(7)为假。

离散数学 (5)

离散数学 (5)

15
一阶逻辑中命题符号化( 一阶逻辑中命题符号化(续)
例3 在一阶逻辑中将下面命题符号化 (1) 正数都大于负数 (2) 有的无理数大于有的有理数 注意: 题目中没给个体域, 解 注意 题目中没给个体域 一律用全总个体域 (1) 令F(x): x为正数 G(y): y为负数 L(x,y): x>y 为正数, 为负数, 为正数 为负数 →y(G(y)→L(x,y))) 或 x(F(x)→ → → xy(F(x)∧G(y)→L(x,y)) ∧ → 两者等值 (2) 令F(x): x是无理数 G(y): y是有理数 是无理数, 是有理数, 是无理数 是有理数 L(x,y):x>y : ∧y(G(y)∧L(x,y))) x(F(x)∧ ∧ ∧ 或 xy(F(x)∧G(y)∧L(x,y)) ∧ ∧ 两者等值
6
谓词: 谓词 表示个体词的性质或相互之间关系的词 谓词常项: 谓词常项:表示具体性质或关系的谓词 F: …是人,F(a):a是人 是人, 是人 : 是人 是自然数, G: …是自然数, F(2):2是自然数 是自然数 : 是自然数 谓词变项: 谓词变项:表示抽象的或泛指的谓词 F: …具有性质 ,F(x):x具有性质 具有性质F, 具有性质具有性质 : 具有性质 元数: 元数:谓词中所包含的个体变项个数 一元谓词: 一元谓词 表示事物的性质 多元谓词(n元谓词 ≥ 元谓词, 多元谓词 元谓词 n≥2): 表示个体词之间的关系 有关系L, 如 L(x,y): x与y有关系 , L(x,y): x比y高2厘米 : 与 有关系 : 比 高 厘米 注意:多元谓词中, 注意:多元谓词中,个体变项的顺序不能随意改动
9
例1(续) 续
(2) 2 是无理数仅当 3 是有理数 2 在命题逻辑中, 是有理数. 在命题逻辑中 设 p: 2 是无理数,q: 33 : 2是无理数, : 是有理数 符号化为 q→p, 这是假命题 → 在一阶逻辑中, x是无理数 是无理数, x是有理 在一阶逻辑中, 设F(x): x是无理数, G(x): x是有理 数符号化为 F ( ( 22 ) → G (3 )3 ) F ) → G( (3) 如果 如果2>3,则3<4 , 在命题逻辑中, 在命题逻辑中 设 p:2>3,q:3<4. : , : 符号化为 p→q, 这是真命题 → 在一阶逻辑中, 在一阶逻辑中 设 F(x,y):x>y,G(x,y):x<y, : , : 符号化为 F(2,3)→G(3,4) →

离散数学试题与参考答案

离散数学试题与参考答案

离散数学试题与参考答案(总4页)--本页仅作为文档封面,使用时请直接删除即可----内页可以根据需求调整合适字体及大小--《离散数学》试题及答案一、选择题:本题共5小题,每小题3分,共15分,在每小题给出的四个选项中,只有一项是符合题目要求的。

1. 命题公式Q Q P →∨)(为 ( )(A) 矛盾式 (B) 可满足式 (C) 重言式 (D) 合取范式2.设P 表示“天下大雨”, Q 表示“他在室内运动”,则命题“除非天下大雨,否则他不在室内运动”符号化为( )。

(A). P Q →; (B).P Q ∧; (C).P Q ⌝→⌝; (D).P Q ⌝∨.3.设集合A ={{1,2,3}, {4,5}, {6,7,8}},则下式为真的是( ) (A) 1A (B) {1,2, 3}A (C) {{4,5}}A (D) A4. 设A ={1,2},B ={a ,b ,c },C ={c ,d }, 则A ×(B C )= ( )(A) {<1,c >,<2,c >} (B) {<c ,1>,<2,c >} (C) {<c ,1><c ,2>,} (D) {<1,c >,<c ,2>} 5. 设G 如右图:那么G 不是( ). (A)哈密顿图; (B)完全图;(C)欧拉图; (D) 平面图.二、填空题:本大题共5小题,每小题4分,共20分。

把答案填在对应题号后的横线上。

6. 设集合A ={,{a }},则A 的幂集P (A )=7. 设集合A ={1,2,3,4 }, B ={6,8,12}, A 到B 的关系R =},,2,{B y A x x y y x ∈∈=><, 那么R -1=8. 在“同学,老乡,亲戚,朋友”四个关系中_______是等价关系. 9. 写出一个不含“→”的逻辑联结词的完备集 . 10.设X ={a ,b ,c },R 是X 上的二元关系,其关系矩阵为M R =⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001001101,那么R 的关系图为三、证明题(共30分)11. (10分)已知A 、B 、C 是三个集合,证明A ∩(B ∪C)=(A ∩B)∪(A ∩C) 12. (10分)构造证明:(P (Q S))∧(R ∨P)∧Q R S13.(10分)证明(0,1)与[0,1),[0,1)与[0,1]等势。

离散数学第五章习题答案

离散数学第五章习题答案

离散数学第五章习题答案题目1: 定义一个关系R在集合A上,如果对于所有的a, b, c属于A,满足以下条件:- 如果(a, b)属于R,则(b, a)属于R。

- 如果(a, b)属于R且(b, c)属于R,则(a, c)属于R。

证明R是传递的。

答案:根据题目给出的条件,R是对称的和传递的。

首先,对称性意味着如果(a, b)属于R,那么(b, a)也必须属于R。

其次,传递性意味着如果(a, b)和(b, c)都属于R,那么(a, c)也必须属于R。

结合这两个性质,我们可以得出结论:对于任意的a, b, c属于A,如果(a, b)和(b, c)都属于R,那么(a, c)也属于R,从而证明了R的传递性。

题目2: 给定一个函数f: A → B,如果对于A中的每个元素a,都有唯一的b属于B使得f(a) = b,那么称f为单射(或一一映射)。

证明如果函数f是单射,那么它的逆函数f^-1也是单射。

答案:要证明f^-1是单射,我们需要证明对于B中的任意两个元素b1和b2,如果f^-1(b1) = f^-1(b2),则b1 = b2。

假设f^-1(b1) = a且f^-1(b2) = a',其中a, a'属于A。

由于f是单射,我们知道f(a) = b1且f(a') = b2。

根据f^-1的定义,我们有b1 = f(a) = f(a') = b2。

因此,如果f^-1(b1) = f^-1(b2),则b1必须等于b2,这证明了f^-1是单射。

题目3: 证明一个函数f: A → B是满射(或到上映射)当且仅当对于B中的每个元素b,都存在A中的元素a使得f(a) = b。

答案:首先,我们证明如果f是满射,那么对于B中的每个元素b,都存在A 中的元素a使得f(a) = b。

假设f是满射,这意味着B中的每个元素都是A中某个元素的像。

因此,对于B中的任意元素b,我们可以找到一个a属于A,使得f(a) = b。

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

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

离散数学练习题(含答案)题目1. 对于集合 $A={1,2,3,...,10}$ 和 $B={n|n是偶数,2<n<8}$,求 $A \cap B$ 的元素。

2. 存在三个可识别的状态A,B,C。

置换群 $S_3$ 作用在状态集上。

定义四个动作:$α: A → C, β: A → B, γ: C→ A, δ: B→ C$。

确定式子,描述 $\{α,β,γ,δ\}$ 的乘法表。

3. 证明 $\forall n \in \mathbb{N}$,合数的个数不小于$n$。

4. 给定一个无向带权图,图中每个节点编号分别是$1,2,...,n$,证明下列结论:a. 如果从节点$i$到$j$只有一条权值最小的路径,则这条路径的任意子路径都是最短路径。

b. 如果从节点$i$到$j$有两条或两条以上权值相等的路径,则从$i$到$j$的最短路径可能不唯一。

答案1. $A \cap B = \{2,4,6\}$。

2. 乘法表:3. 对于任意$n$,我们可以选择$n+1$个连续的自然数$k+1,k+2,...,k+n,k+n+1$中的$n$个数,其中$k \in \mathbb{Z}$。

这$n$个数构成的$n$个正整数均为合数,因为它们都至少有一个小于它自身的因子,所以不是质数。

所以合数的个数不小于任意$n$。

4.a. 根据题意,从$i$到$j$只有一条权值最小的路径,即这条最短路径已被确定。

如果从这条路径中任意取出一段子路径,假设这段子路径不是这个节点到$j$的最短路径,那么存在其他从$i$到$j$的路径比这段子路径更优,又因为这条路径是最短路径,所以这段子路径也一定不优于最短路径,矛盾。

所以从这条路径中任意取出的子路径都是最短路径。

b. 如果从节点$i$到$j$有多条权值相等的路径,则这些路径权值都是最短路径的权值。

因为所有最短路径的权值相等,所以这些路径的权值就是最短路径的权值。

所以从$i$到$j$的最短路径可能不唯一。

2024年4月离散数学真题

2024年4月离散数学真题

2024年4月高等教育自学考试全国统一命题考试离散数学(课程代码 02324)注意事项:1.本试卷分为两部分,第一部分为选择题,第二部分为非选择题。

2.应考者必须按试题顺序在答题卡(纸)指定位置上作答,答在试卷上无效。

3.涂写部分、画图部分必须使用2B铅笔,书写部分必须使用黑色字迹签字笔。

第一部分选择题一、单项选择题:本大题共15小题,每小题2分,共30分。

在每小题列出的备选项中只有一项是最符合题目要求的,请将其选出。

1.含有3个命题变元的任一命题公式的指派个数是A.6个B.8个C.9个D.10个2.下列命题公式为矛盾式的是A.P→(P ⋁Q ⋁R)B.¬(Q→P) APC.(P→¬P)→¬PD.(P ⋀¬P)→Q3.含有2个命题变元的命题A是重言式的条件是A的主析取范式含有A.4个小项B.1个小项C.4个大项D.1个大项4.设论域元素为a、b,与∀xR(x) ∧(∋y)S(x) 等价的是A.(R(a) ⋀R(b)) ⋀(S(a) ⋀S(b))B.(R(a) ⋀R(b)) ⋀(S(a) ⋁S(b))C.(R(a) ⋁R(b)) ⋀(S(a) ⋀S(b))D.(R(a) ⋁R(b)) ⋀(S(a) ⋁S(b))5.谓词公式 ∀xF(x) ⋀G(x,y) 中变元x 为A.自由出现B.约束出现C.既不是自由出现也不是约束出现D.既是自由出现也是约束出现6.设论域是正整数,下列谓词公式中值为真的是A.)10(22=+∃∀y x y xB.)10(22=+∃∀y x x yC.)10(22=+∀∀y x y xD.)10(22=+∃∃y x y x7.设A ={a,∅},P(A)是A 的幂集,下列选项中正确的是A.{a}∈ P(A),{a}⊆P(A)B.{{A}}∈P(A),{{a}}⊆P(A)C.{a}∈P(A),{∅}∈P(A)D.{a}∈P(A),{∅}⊆P(A)8.一个8阶简单图的边数最大为A.20B.25C.28D.309.下面关于n 阶树的描述,错误..的是 A.连通图 B.连通且有n-1条边C.无回路且有n-1条边D.连通且无回路10.R={<0,1>,<1,2>,<2,3>},S={<2,1>,<1,2>,<3,3>},下列正确的是A.ran(R) ⊂ ran(R ∩S)B.ran(S) = ran(R ∪S)C.dom(R) = dom(S)D.dom(R) ∪ dom(S) = ran(R) ∪ ran(S)11.设A={1,2,3},则下列关系中是反自反关系的为A.R={<1,1>,<1,2>}B.R={<1,2>,<3,3>}C.R={<1,2>,<3,2>}D.R={<3,1>,<1,3>,<2,2>}12.设A={a,b,c} ,下列选项中既不是对称也不是反对称的是A.R={<a,a>,<a,b>,<b,a>,<c,b>,<b,c>}B.R={<a,a>,<b,b>}C.R={<a,c>,<a,b>}D.R={<a,c>,<b,b>}13. 设f: R →R,f(x) =⎩⎨⎧<-≥3232x x x ,,;g:R →R,g(x)=x+2,则g ∘f:R →R 是A.单射不满射B.满射不单射C.不单射不满射D.双射14.一个5阶简单图G,保证G 为连通图的最少边数为A.4B.5C.6D.715.下列各集合对于整除关系构成偏序集,不能..构成格的集合是 A.L 1={1,2,3,4} B.L 2={1,2,3,6}C. L 3={1,3,5,15}D.L 4={1,3,9,81}第二部分 非选择题二、填空题:本大题共10小题,每小题2分,共20分。

离散数学试题及答案

离散数学试题及答案

离散数学考试试题(A卷及答案)一、(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)。

离散数学考试题目及答案

离散数学考试题目及答案

离散数学考试题目及答案1. 试述命题逻辑中的等价关系和蕴含关系。

答案:命题逻辑中的等价关系是指两个命题在所有可能的真值赋值下都具有相同的真值。

若命题P和Q等价,则记作P⇔Q。

蕴含关系是指如果命题P为真,则命题Q也为真,但Q为真时P不一定为真。

若命题P蕴含Q,则记作P→Q。

2. 证明:若集合A和B的交集非空,则它们的并集包含A和B。

答案:设x属于A∩B,即x同时属于A和B。

根据并集的定义,若元素属于A或B,则它属于A∪B。

因此,x属于A∪B。

由于x是任意属于A∩B的元素,所以A∩B≠∅意味着A∪B至少包含A∩B中的所有元素,即A∪B包含A和B。

3. 给定一个有向图G,如何判断G中是否存在环?答案:判断有向图G中是否存在环,可以采用深度优先搜索(DFS)算法。

在DFS过程中,记录每个顶点的访问状态,如果遇到一个已访问过的顶点,且该顶点不是当前路径的直接前驱,则表示存在环。

4. 描述有限自动机的组成部分及其功能。

答案:有限自动机由以下几部分组成:输入字母表、状态集合、转移函数、初始状态和接受状态集合。

输入字母表定义了自动机可以接收的符号集合;状态集合包含了自动机所有可能的状态;转移函数定义了在给定输入符号和当前状态的情况下,自动机如何转移到下一个状态;初始状态是自动机开始工作时的状态;接受状态集合包含了所有使自动机接受输入字符串的状态。

5. 什么是图的连通分量?如何确定一个无向图的连通分量?答案:图的连通分量是指图中最大的连通子图。

在一个无向图中,如果两个顶点之间存在路径,则称这两个顶点是连通的。

确定无向图的连通分量可以通过深度优先搜索(DFS)或广度优先搜索(BFS)算法。

从任一顶点开始搜索,搜索过程中访问的所有顶点构成一个连通分量。

重复此过程,直到所有顶点都被访问过,即可确定图中所有连通分量。

(完整版)离散数学题目及答案

(完整版)离散数学题目及答案

数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。

C.2是偶数。

D.铅球是方的。

2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。

离散数学集合论部分测试题

离散数学集合论部分测试题

离散数学集合论部分综合练习本课程综合练习共分3次,分别是集合论部分、图论部分、数理逻辑部分的综合练习,这3次综合练习基本上是按照考试的题型安排练习题目,目的是通过综合练习,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。

本次是集合论部分的综合练习。

一、单项选择题1.若集合A ={a ,b },B ={a ,b ,{a ,b }},则(). A .A ?B ,且A ?B B .A ?B ,但A ?B C .A ?B ,但A ?BD .A ?B ,且A ?B2.若集合A ={2,a ,{a },4},则下列表述正确的是().A .{a ,{a }}?AB .{a }?AC .{2}?AD .∅?A3.若集合A ={a ,{a },{1,2}},则下列表述正确的是(). A .{a ,{a }}?A B .{2}?AC .{a }?AD .??A4.若集合A ={a ,b ,{1,2}},B ={1,2},则(). A .B ?A ,且B ?A B .B ?A ,但B ?A C .B ?A ,但B ?A D .B ?A ,且B ?A 5.设集合A ={1,a },则P (A )=(). A .{{1},{a }}B .{∅,{1},{a }}C .{∅,{1},{a },{1,a }}D .{{1},{a },{1,a }}6.若集合A 的元素个数为10,则其幂集的元素个数为(). A .1024B .10 C .100D .1 7.集合A ={1,2,3,4,5,6,7,8}上的关系R ={<x ,y >|x +y =10且x ,y ∈A },则R 的性质为(). A .自反的B .对称的C .传递且对称的D .反自反且传递的8.设集合A ={1,2,3,4,5,6}上的二元关系R ={<a ,b >?a ,b ∈A ,且a +b =8},则R 具有的性质为().A .自反的B .对称的C .对称和传递的D .反自反和传递的9.如果R 1和R 2是A 上的自反关系,则R 1∪R 2,R 1∩R 2,R 1-R 2中自反关系有()个. A .0B .2 C .1D .3 10.设集合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 的()闭包.A .自反B .传递C .对称D .以上都不对 11.设集合A ={1,2,3,4,5}上的偏序关系 的哈斯图如图一所示,若A 的子集B ={3,4,5}, 则元素3为B 的(). A .下界B .最大下界C .最小上界D .以上答案都不对12.设A ={1,2,3,4,5,6,7,8},R 是A 上的整除关系,B ={2,4,6},则集合B 的最大元、最小元、上界、下界依次为().A .8、2、8、2B .无、2、无、2C .6、2、6、2D .8、1、6、113.设A ={a ,b },B ={1,2},R 1,R 2,R 3是A 到B 的二元关系,且R 1={<a ,2>,<b ,2>},R 2={<a ,1>,<a ,2>,<b ,1>},R 3={<a ,1>,<b ,2>},则()不是从A 到B 的函数.5 图一A .R 1和R 2B .R 2C .R 3D .R 1和R 3二、填空题1.设集合A 有n 个元素,那么A 的幂集合P (A )的元素个数为. 2.设集合A ={a ,b },那么集合A 的幂集是. 应该填写:{?,{a ,b },{a },{b }}3.设集合A ={0,1,2,3},B ={2,3,4,5},R 是A 到B 的二元关系, 则R 的有序对集合为 .4.设集合A ={0,1,2},B ={0,2,4},R 是A 到B 的二元关系, 则R 的关系矩阵M R =. 5.设集合A ={a ,b ,c },A 上的二元关系R ={<a ,b >,<c .a >},S ={<a ,a >,<a ,b >,<c ,c >}则(R ?S )-1= .6.设集合A ={a ,b ,c },A 上的二元关系R ={<a ,b >,<b ,a >,<b ,c >,<c ,d >},则二元关系R 具有的性质是 .7.若A ={1,2},R ={<x ,y >|x ?A ,y ?A ,x +y =10},则R 的自反闭包为. 8.设集合A ={1,2},B ={a ,b },那么集合A 到B 的双射函数是.9.设A ={a ,b ,c },B ={1,2},作f :A →B ,则不同的函数个数为. 三、判断说明题(判断下列各题,并说明理由.)1.设A 、B 、C 为任意的三个集合,如果A ∪B =A ∪C ,判断结论B =C 是否成立?并说明理由. 2.如果R 1和R 2是A 上的自反关系,判断结论:“R -11、R 1∪R 2、R 1?R 2是自反的”是否 成立?并说明理由.3.若偏序集<A ,R >的哈斯图如图一所示,则集合A 的最大元为a ,最小元不存在.4.若偏序集<A ,R >的哈斯图如图二所示,则集合A 的最大元为a ,最小元不存在.5.设N 、R 分别为自然数集与实数集,f :N →R ,f (x )=x +6,则f 是单射.四、计算题1.设集合A ={a ,b ,c },B ={b ,d ,e },求(1)B ?A ;(2)A ?B ;(3)A -B ;(4)B ?A .2.设A ={{a ,b },1,2},B ={a ,b ,{1},1},试计算(1)(A ?B )(2)(A ∪B )(3)(A ∪B )?(A ∩B ). 3.设集合A ={{1},{2},1,2},B ={1,2,{1,2}},试计算 (1)(A ?B );(2)(A ∩B );(3)A ×B .4.设A ={0,1,2,3,4},R ={<x ,y >|x ?A ,y ?A 且x +y <0},S ={<x ,y >|x ?A ,y ?A 且x +y ?3},试求R ,S ,R ?S ,R -1,S -1,r (R ).5.设A ={1,2,3,4,5,6,7,8,9,10,11,12},R 是A 上的整除关系,B ={2,4,6}. (1)写出关系R 的表示式;(2)画出关系R 的哈斯图; (3)求出集合B 的最大元、最小元. 6.设集合A ={a ,b ,c ,d }上的二元关系R 的关系图 如图三所示.(1)写出R 的表达式; (2)写出R 的关系矩阵; (3)求出R 2.图一 图二图三7.设集合A ={1,2,3,4},R ={<x ,y >|x ,y ?A ;|x ?y |=1或x ?y =0},试 (1)写出R 的有序对表示;(2)画出R 的关系图; (3)说明R 满足自反性,不满足传递性.五、证明题1.试证明集合等式:A ?(B ?C )=(A ?B )?(A ?C ).2.试证明集合等式A ?(B ?C )=(A ?B )?(A ?C ).3.设R 是集合A 上的对称关系和传递关系,试证明:若对任意a ?A ,存在b ?A ,使得<a ,b >?R ,则R 是等价关系.4.若非空集合A 上的二元关系R 和S 是偏序关系,试证明:S R ⋂也是A 上的偏序关系.参考解答一、单项选择题1.A2.B3.C4.B5.C6.A7.B8.B9.B10.C11.C12.B13.B 二、填空题 1.2n2.{?,{a ,b },{a },{b }}3.{<2,2>,<2,3>,<3,2>},<3,3>4.⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡011000011 5.{<a .c >,<b ,c >}6.反自反的7.{<1,1>,<2,2>}8.{<1,a >,<2,b >},{<1,b >,<2,a >}9.8三、判断说明题(判断下列各题,并说明理由.) 1.解:错.设A ={1,2},B ={1},C ={2},则A ∪B =A ∪C ,但B ?C . 2.解:成立.因为R 1和R 2是A 上的自反关系,即I A ?R 1,I A ?R 2。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案离散数学考试试题及答案离散数学是计算机科学和数学中的一门重要学科,它研究的是离散的结构和对象。

离散数学的理论和方法在计算机科学、信息科学、通信工程等领域具有广泛的应用。

下面将为大家提供一些离散数学考试试题及答案,希望对大家的学习和复习有所帮助。

1. 集合论题目(1) 设A={1,2,3,4,5},B={3,4,5,6,7},求A∪B的结果。

答案:A∪B={1,2,3,4,5,6,7}(2) 设A={1,2,3,4,5},B={3,4,5,6,7},求A∩B的结果。

答案:A∩B={3,4,5}(3) 设A={1,2,3,4,5},B={3,4,5,6,7},求A-B的结果。

答案:A-B={1,2}2. 图论题目(1) 给定一个无向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(A,C),(B,D),(C,D),(D,E)},求该图的邻接矩阵。

答案:邻接矩阵为:A B C D EA 0 1 1 0 0B 1 0 0 1 0C 1 0 0 1 0D 0 1 1 0 1E 0 0 0 1 0(2) 给定一个有向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(B,C),(C,D),(D,E),(E,A)},求该图的邻接表。

答案:邻接表为:A ->B ->C ->D ->E -> AB -> CC -> DD -> EE -> A3. 命题逻辑题目(1) 判断以下命题是否为永真式:(p∨q)∧(¬p∨r)∧(¬q∨¬r)。

答案:是永真式。

(2) 给定命题p:如果天晴,那么我去游泳;命题q:我没有去游泳。

请判断以下命题的真假:(¬p∨q)∧(p∨¬q)。

答案:是真命题。

4. 关系代数题目(1) 给定关系R(A,B,C)和S(B,C,D),求R⋈S的结果。

离散数学试题+答案

离散数学试题+答案

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

1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( )A.10B.12C.16D.143.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(a∨c)B.(a∧b)∨(a’∧b)C.(a∨b)∧(a∨b∨c)∧(b∨c)D.(b∨c)∧(a∨c)4.设i是虚数,·是复数乘法运算,则G=<{1,-1,i,-i},·>是群,下列是G的子群是( )A.<{1},·>B.〈{-1},·〉C.〈{i},·〉D.〈{-i},·〉5.设Z为整数集,A为集合,A的幂集为P(A),+、-、/为数的加、减、除运算,∩为集合的交运算,下列系统中是代数系统的有( )A.〈Z,+,/〉B.〈Z,/〉C.〈Z,-,/〉D.〈P(A),∩〉6.下列各代数系统中不含有零元素的是( )A.〈Q,*〉Q是全体有理数集,*是数的乘法运算B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合,*是矩阵乘法运算C.〈Z, 〉,Z是整数集, 定义为x xy=xy,∀x,y∈ZD.〈Z,+〉,Z是整数集,+是数的加法运算7.设A={1,2,3},A上二元关系R的关系图如下:R具有的性质是A.自反性B.对称性C.传递性D.反自反性8.设A={a,b,c},A上二元关系R={〈a,a〉,〈b,b〉,〈a,c〉},则关系R的对称闭包S(R)是( )A.R∪I AB.RC.R∪{〈c,a〉}D.R∩I A9.设X={a,b,c},Ix是X上恒等关系,要使Ix∪{〈a,b〉,〈b,c〉,〈c,a〉,〈b,a〉}∪R为X上的等价关系,R应取( )A.{〈c,a〉,〈a,c〉}B.{〈c,b〉,〈b,a〉}C.{〈c,a〉,〈b,a〉}D.{〈a,c〉,〈c,b〉}10.下列式子正确的是( )A. ∅∈∅B.∅⊆∅C.{∅}⊆∅D.{∅}∈∅11.设解释R如下:论域D为实数集,a=0,f(x,y)=x-y,A(x,y):x<y.下列公式在R下为真的是( )A.( ∀x)( ∀y)( ∀z)(A(x,y))→A(f(x,z),f(y,z))B.( ∀x)A(f(a,x),a)C.(∀x)(∀y)(A(f(x,y),x))D.(∀x)(∀y)(A(x,y)→A(f(x,a),a))12.设B是不含变元x的公式,谓词公式(∀x)(A(x)→B)等价于( )A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中,为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。

离散数学模拟试卷五

离散数学模拟试卷五

北京语言大学网络教育学院《离散数学》模拟试卷五注意:1.试卷保密,考生不得将试卷带出考场或撕页,否则成绩作废。

请监考老师负责监督。

2.请各位考生注意考试纪律,考试作弊全部成绩以零分计算。

3.本试卷满分100分,答题时间为90分钟。

4.本试卷分为试题卷和答题卷,所有答案必须答在答题卷上,答在试题卷上不给分。

一、【单项选择题】(本大题共15小题,每小题3分,共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在答题卷相应题号处。

1、下列关于群说法不正确的是( )。

[A] G 的每个元素的逆元都是唯一的 [B] ,G <>无零元 [C] 必须有单位元 [D] 是不可结合的2、下列不是群的是( )。

[A] ,Z <+> [B] ,Z <•> [C] 33,I <⊕> [D] 11{1,10},<>3、下列说法中正确的是( )。

[A] 设a,b,c 是阿贝尔群,G <+>的元素,则有-(a+b+c)=(-a)+(-b)+(-c)[B] 设a,b 是群,G <•>的元素,则对于n N ∈,有(.).n n n a b a b =[C] 设a ,b 是群,G <•>的元素,则对于任意,a b G ∈,有222.(.)a b a b =[D] 设a 是群,G <•>的元素,记{|..}H y y G y a a y =∈=且,则,H <•>是,G <•>的子群4、下列集合关于所给定的运算成为群的是( )。

[A] 已给实数a 的正整数次幂的全体,且a ∉{0,1,-1},关于数的乘法[B] 所有非负整数的集合,关于数的加法[C] 所有正有理数的集合,关于数的乘法[D] 实数集,关于数的除法5、半群、群及独异点的关系是( )。

[A] {群}⊂{独异点}⊂{半群}[B] {独异点}⊂{半群}⊂{群} [C] {独异点}⊂{群}⊂{半群} [D] {半群}⊂{群}⊂{独异点}6、设,G <•>是群,则对任意的,,a b c G ∈,下列关于群的性质中不正确的是( )。

国家开放大学电大本科《离散数学》《社会保障学》网络课形考网考作业(合集)答案

国家开放大学电大本科《离散数学》《社会保障学》网络课形考网考作业(合集)答案

国家开放大学电大本科《离散数学》《社会保障学》网络课形考网考作业(合集)答案国家开放大学电大本科《离散数学》《社会保障学》网络课形考网考作业(合集)答案《离散数学》网络课答案形考任务1单项选择题题目1若集合A={a,{a},{1,2}},则下列表述正确的是().选择一项:题目2若集合A={2,a,{a},4},则下列表述正确的是().选择一项:题目3设集合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的()闭包.选择一项:A.传递B.对称C.自反和传递D.自反题目4设集合A={1,2,3},B={3,4,5},C={5,6,7},则A∪B–C=().选择一项:A.{1,2,3,5}B.{4,5,6,7}C.{2,3,4,5}D.{1,2,3,4}题目5如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有()个.选择一项:A.1B.3C.2D.0题目6集合A={1,2,3,4}上的关系R={x,y|x=y且x,y∈A},则R的性质为().选择一项:A.不是对称的B.反自反C.不是自反的D.传递的题目7若集合A={1,2},B={1,2,{1,2}},则下列表述正确的是().选择一项:题目8设A={a,b,c},B={1,2},作f:A→B,则不同的函数个数为().选择一项:A.3B.2C.8D.6题目9设A={1,2,3,4,5,6,7,8},R是A上的整除关系,B={2,4,6},则集合B的最大元、最小元、上界、下界依次为().选择一项:A.6、2、6、2B.无、2、无、2C.8、1、6、1D.8、2、8、2题目10设集合A={1,2,3}上的函数分别为:f={1,2,2,1,3,3},g={1,3,2,2,3,2},h={1,3,2,1,3,1},则h=().选择一项:A.f◦fB.g◦fC.g◦gD.f◦g判断题题目11设A={1,2}上的二元关系为R={x,y|xA,yA,x+y=10},则R的自反闭包为{1,1,2,2}.()选择一项:对错题目12空集的幂集是空集.()选择一项:对错题目13设A={a,b},B={1,2},C={a,b},从A到B的函数f={a,1,b,2},从B到C的函数g={1,b,2,a},则g°f={1,2,2,1}.()选择一项:对错题目14设集合A={1,2,3,4},B={2,4,6,8},下列关系f={1,8,2,6,3,4,4,2,}可以构成函数f:.()选择一项:对错题目15设集合A={1,2,3},B={2,3,4},C={3,4,5},则A∩(C-B)={1,2,3,5}.()选择一项:对错题目16如果R1和R2是A上的自反关系,则、R1∪R2、R1∩R2是自反的.()选择一项:对错题目17设集合A={a,b,c,d},A上的二元关系R={a,b,b,a,b,c,c,d},则R具有反自反性质.()选择一项:对错题目18设集合A={1,2,3},B={1,2},则P(A)-P(B)={{3},{1,3},{2,3},{1,2,3}}.()选择一项:对错题目19若集合A={1,2,3}上的二元关系R={1,1,1,2,3,3},则R是对称的关系.()选择一项:对错题目20设集合A={1,2,3,4},B={6,8,12},A到B的二元关系R =那么R-1={6,3,8,4}.()选择一项:对错形考任务2单项选择题题目1无向完全图K4是().选择一项:A.树B.欧拉图C.汉密尔顿图D.非平面图题目2已知一棵无向树T中有8个顶点,4度、3度、2度的分支点各一个,T的树叶数为().选择一项:A.4B.8C.3D.5题目3设无向图G的邻接矩阵为则G的边数为().选择一项:A.7B.14C.6D.1题目4如图一所示,以下说法正确的是().选择一项:A.{(a,e),(b,c)}是边割集B.{(a,e)}是边割集C.{(d,e)}是边割集D.{(a,e)}是割边题目5以下结论正确的是().选择一项:A.有n个结点n-1条边的无向图都是树B.无向完全图都是平面图C.树的每条边都是割边D.无向完全图都是欧拉图题目6若G是一个欧拉图,则G一定是().选择一项:A.汉密尔顿图B.连通图C.平面图D.对偶图题目7设图G=V,E,v∈V,则下列结论成立的是().选择一项:题目8图G如图三所示,以下说法正确的是().选择一项:A.{b,d}是点割集B.{c}是点割集C.{b,c}是点割集D.a是割点题目9设有向图(a)、(b)、(c)与(d)如图五所示,则下列结论成立的是().选择一项:A.(a)是强连通的B.(d)是强连通的C.(c)是强连通的D.(b)是强连通的题目10设有向图(a)、(b)、(c)与(d)如图六所示,则下列结论成立的是().选择一项:A.(b)只是弱连通的B.(c)只是弱连通的C.(a)只是弱连通的D.(d)只是弱连通的判断题题目11设图G是有6个结点的连通图,结点的总度数为18,则可从G中删去4条边后使之变成树.()选择一项:对错题目12汉密尔顿图一定是欧拉图.()选择一项:对错题目13设连通平面图G的结点数为5,边数为6,则面数为4.()选择一项:对错题目14设G是一个有7个结点16条边的连通图,则G为平面图.()选择一项:对错题目15如图八所示的图G存在一条欧拉回路.()选择一项:对错题目16设图G如图七所示,则图G的点割集是{f}.()选择一项:对错题目17设G是一个图,结点集合为V,边集合为E,则()选择一项:对错题目18设图G是有5个结点的连通图,结点度数总和为10,则可从G中删去6条边后使之变成树.()选择一项:对错题目19如图九所示的图G不是欧拉图而是汉密尔顿图.()选择一项:对错题目20若图G=V,E,其中V={a,b,c,d},E={(a,b),(a,d),(b,c),(b,d)},则该图中的割边为(b,c).()选择一项:对错形考任务3单项选择题题目1命题公式的主合取范式是().选择一项:题目2设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为().选择一项:题目3命题公式的主析取范式是().选择一项:题目4下列公式成立的为().选择一项:题目5设A(x):x是书,B(x):x是数学书,则命题“不是所有书都是数学书”可符号化为().选择一项:题目6前提条件的有效结论是().选择一项:A.QB.┐QC.PD.┐P题目7命题公式(P∨Q)→R的析取范式是().选择一项:A.(P∨Q)∨RB.┐(P∨Q)∨RC.(P∧Q)∨RD.(┐P∧┐Q)∨R题目8下列等价公式成立的为().选择一项:题目9下列等价公式成立的为().选择一项:题目10下列公式中()为永真式.选择一项:A.┐A∧┐B↔┐(A∧B)B.┐A∧┐B↔A∨BC.┐A∧┐B↔┐(A∨B)D.┐A ∧┐B↔┐A∨┐B判断题题目11设个体域D={1,2,3},A(x)为“x小于3”,则谓词公式(∃x)A(x)的真值为T.()选择一项:对错题目12设P:小王来学校,Q:他会参加比赛.那么命题“如果小王来学校,则他会参加比赛”符号化的结果为P→Q.()选择一项:对错题目13下面的推理是否正确.()(1)(∀x)A(x)→B(x)前提引入(2)A(y)→B(y)US(1)选择一项:对错题目14含有三个命题变项P,Q,R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R).()选择一项:对错题目15命题公式P→(Q∨P)的真值是T.()选择一项:对错题目16命题公式┐P∧P的真值是T.()选择一项:对错题目17谓词公式┐(∀x)P(x)(∃x)┐P(x)成立.()选择一项:对错题目18命题公式┐(P→Q)的主析取范式是P∨┐Q.()选择一项:对错题目19设个体域D={a,b},则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b)).()选择一项:对错题目20设个体域D={a,b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b).()选择一项:对错形考任务4要求:学生提交作业有以下三种方式可供选择:1.可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅.2.在线提交word文档.3.自备答题纸张,将答题过程手工书写,并拍照上传形考任务5网上学习行为(学生无需提交作业,占形考总分的10%)《社会保障学》网络课答案形考任务1思考题:请你谈谈2015年的两会在退休、养老、就医等社会保障方面有什么政策变化?对你的生活有何影响?(形成书面作业,字数为300---500字)答:2015年3月10日,人社部部长尹蔚民、副部长胡晓义在十二届全国人大三次会议上的专场新闻发布会答记者问时回应了当前延长退休、推进基层公务员职务与职级并行、养老金全国统筹和取消公费医疗等备受关注的公共政策。

离散数学试的题目及问题详解

离散数学试的题目及问题详解

离散数学试题及答案一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; ρ(A) - ρ(B)= __________________________ .2. 设有限集合A, |A| = n, 则 |ρ(A×A)| = __________________________.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________.4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是_________________________________________________________________________________________.5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为__________,分枝点数为________________.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B=_________________________; A⋃B =_________________________;A-B= _____________________ .7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______________________,________________________, _______________________________.8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有__________________________,_____________________________, __________________________.9. 设集合A={1,2,3,4}, A上的关系R1= {(1,4),(2,3),(3,2)}, R1= {(2,1),(3,2),(4,3)}, 则R1∙R2 = ________________________,R2∙R1 =____________________________, R12 =________________________.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 = __________________________ , B-A = __________________________ ,A∩B = __________________________ , .13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为___________ _______________________________________________________.14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x),则G的前束范式是__________________________ _____.15.设G是具有8个顶点的树,则G中增加_________条边才能把G变成完全图。

离散数学像与完全原像的题目

离散数学像与完全原像的题目

离散数学像与完全原像的题目
1.下面哪个公式不是重言式?()
A: Q→(PVQ)
B: (P∧Q)→P
C: ┐(P∧┐Q)∧(┐P v Q)
D: P→Q<->(┐P v Q)
解析:重言式找出假,当P为1Q为0时,结果为假
2.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为()
A: p∧┐q
B: p∨┐q
C: p∧q
D: p→┐q
3.命题公式┐B →┐A等价于( )
A: ┐A∨┐B
B: ┐(A∨B)
C: ┐A∧┐B
D: A→B
4.命题公式(┐P→Q)→(┐Q v P)中极大项的个数为
()。

A: 0
B: 1
C: 2
D: 3
5.全体极小项合取式为()。

A: 可满足式
B: 矛盾式
C: 永真式
D: A,B,C 都有可能
解析:合取式1出极小项,全体极小项合取式为假,析取式为真
6.设p:小李努力学习,q:小李取得好成绩,命题“除非小李努力学习,否则他不能取得好成绩”的符号化形式为 ( ) A: p→q
B: q→p
C: ┐q→p
D: ┐p→q
解析:题目的意思重点是想取得好成绩需要什么,而不是成绩好结果,所以应该由后往前做蕴含。

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

离散数学试题(A卷答案)一、(10分)证明⌝(A∨B)→⌝(P∨Q),P,(B→A)∨⌝P A。

证明:(1)⌝(A∨B)→⌝(P∨Q)P(2)(P∨Q)→(A∨B) T(1),E(3)P P(4)A∨B T(2)(3),I(5)(B→A)∨⌝P P(6)B→A T(3)(5),I(7)A∨⌝B T(6),E(8)(A∨B)∧(A∨⌝B) T(4)(7),I(9)A∧(B∨⌝B) T(8),E(10)A T(9),E二、(10分)甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。

关于谁参加竞赛,下列4种判断都是正确的:(1)甲和乙只有一人参加;(2)丙参加,丁必参加;(3)乙或丁至多参加一人;(4)丁不参加,甲也不会参加。

请推出哪两个人参加了围棋比赛。

解符号化命题,设A:甲参加了比赛;B:乙参加了比赛;C:丙参加了比赛;D:丁参加了比赛。

依题意有,(1)甲和乙只有一人参加,符号化为A⊕B⇔(⌝A∧B)∨(A∧⌝B);(2)丙参加,丁必参加,符号化为C→D;(3)乙或丁至多参加一人,符号化为⌝(B∧D);(4)丁不参加,甲也不会参加,符号化为⌝D→⌝A。

所以原命题为:(A⊕B)∧(C→D)∧(⌝(B∧D))∧(⌝D→⌝A)⇔((⌝A∧B)∨(A∧⌝B))∧(⌝C∨D)∧(⌝B∨⌝D)∧(D∨⌝A)⇔((⌝A∧B∧⌝C)∨(A∧⌝B∧⌝C)∨(⌝A∧B∧D)∨(A∧⌝B∧D))∧((⌝B∧D)∨(⌝B∧⌝A)∨(⌝D∧⌝A))⇔(A∧⌝B∧⌝C∧D)∨(A∧⌝B∧D)∨(⌝A∧B∧⌝C∧⌝D)⇔T但依据题意条件,有且仅有两人参加竞赛,故⌝A∧B∧⌝C∧⌝D为F。

所以只有:(A∧⌝B∧⌝C∧D)∨(A∧⌝B∧D)⇔T,即甲、丁参加了围棋比赛。

三、(10分)指出下列推理中,在哪些步骤上有错误?为什么?给出正确的推理形式。

(1)∀x(P(x)→Q(x)) P(2)P(y)→Q(y) T(1),US(3)∃xP(x) P(4)P(y) T(3),ES(5)Q(y) T(2)(4),I(6)∃xQ(x) T(5),EG解(4)中ES错,因为对存在量词限制的变元x引用ES规则,只能将x换成某个个体常元c,而不能将其改为自由变元。

所以应将(4)中P(y)改为P(c),c为个体常元。

正确的推理过程为:(1)∃xP(x) P(2)P(c) T(1),ES(3)∀x(P(x)→Q(x)) P(4)P(c)→Q(c) T(3),US(5)Q(c) T(2)(4),I(6)∃xQ(x) T(5),EG四、(10分)设A={a,b,c},试给出A上的一个二元关系R,使其同时不满足自反性、反自反性、对称性、反对称性和传递性。

解设R={<a,a>,<a,b>,<b,a>,<b,c>},则因为<b,b>∉R,R不自反;因为<a,a>∈R,R不反自反;因为<b,c>∈R,<c,b>∉R,R不对称;因为<a,b>∈R,<b,a>∈R,R不反对称;因为<b,a>∈R,<a,b>∈R,但<b,b>∉R,R不传递。

五、(15分)设函数g:A→B,f:B→C,(1)若f g是满射,则f是满射。

(2)若f g是单射,则g是单射。

证明因为g:A→B,f:B→C,由定理5.5知,f g为A到C的函数。

(1)对任意的z∈C,因f g是满射,则存在x∈A使f g(x)=z,即f(g(x))=z。

由g:A→B可知g(x)∈B,于是有y=g(x)∈B,使得f(y)=z。

因此,f是满射。

(2)对任意的x1、x2∈A,若x1≠x2,则由f g是单射得f g(x1)≠f g(x2),于是f(g(x1))≠f(g(x2)),必有g(x1)≠g(x2)。

所以,g是单射。

六、(15分)设R是集合A上的一个具有传递和自反性质的关系,T是A上的关系,使得<a,b>∈T⇔<a,b>∈R且<b,a>∈R,证明T是一个等价关系。

证明因R自反,任意a∈A,有<a,a>∈R,由T的定义,有<a,a>∈T,故T自反。

若<a,b>∈T,即<a,b>∈R且<b,a>∈R,也就是<b,a>∈R且<a,b>∈R,从而<b,a>∈T,故T对称。

若<a ,b >∈T ,<b ,c >∈T ,即<a ,b >∈R 且<b ,a >∈R ,<b ,c >∈R 且<c ,b >∈R ,因R 传递,由<a ,b >∈R 和<b ,c >∈R 可得<a ,c >∈R ,由<b ,a >∈R 和<c ,b >∈R 可得<c ,a >∈R ,由<a ,c >∈R 和<c ,a >∈R 可得<a ,c >∈T ,故T 传递。

所以,T 是A 上的等价关系。

七、(15分)若<G ,*>是群,H 是G 的非空子集,则<H ,*>是<G ,*>的子群⇔对任意的a 、b ∈H 有a *b -1∈H 。

证明 必要性:对任意的a 、b ∈H ,由<H ,*>是<G ,*>的子群,必有b -1∈H ,从而a *b -1∈H 。

充分性:由H 非空,必存在a ∈H 。

于是e =a *a -1∈H 。

任取a ∈H ,由e 、a ∈H 得a -1=e *a -1∈H 。

对于任意的a 、b ∈H ,有a *b =a *(b -1)-1∈H ,即a *b ∈H 。

又因为H 是G 非空子集,所以*在H 上满足结合律。

综上可知,<H ,*>是<G ,*>的子群。

八、(15分)(1)若无向图G 中只有两个奇数度结点,则这两个结点一定是连通的。

(2)若有向图G 中只有两个奇数度结点,它们一个可达另一个结点或互相可达吗?证明 (1)设无向图G 中只有两个奇数度结点u 和v 。

从u 开始构造一条回路,即从u 出发经关联结点u 的边1e 到达结点1u ,若)(1u d 为偶数,则必可由1u 再经关联1u 的边2e 到达结点2u ,如此继续下去,每条边只取一次,直到另一个奇数度结点为止,由于图G 中只有两个奇数度结点,故该结点或是u 或是v 。

如果是v ,那么从u 到v 的一条路就构造好了。

如果仍是u ,该回路上每个结点都关联偶数条边,而)(u d 是奇数,所以至少还有一条边关联结点u 的边不在该回路上。

继续从u 出发,沿着该边到达另一个结点'1u ,依次下去直到另一个奇数度结点停下。

这样经过有限次后必可到达结点v ,这就是一条从u 到v 的路。

(2)若有向图G 中只有两个奇数度结点,它们一个可达另一个结点或互相可达不一定成立。

下面有向图中,只有两个奇数度结点u 和v ,u 和v 之间都不可达。

v离散数学试题(B 卷答案)一、(15分)设计一盏电灯的开关电路,要求受3个开关A 、B 、C 的控制:当且仅当A 和C 同时关闭或B 和C 同时关闭时灯亮。

设F 表示灯亮。

(1)写出F 在全功能联结词组{↑}中的命题公式。

(2)写出F 的主析取范式与主合取范式。

解 (1)设A :开关A 关闭;B :开关B 关闭;C :开关C 关闭;F =(A ∧C )∨(B ∧C )。

在全功能联结词组{↑}中:⌝A ⇔⌝(A ∧A )⇔A ↑AA ∧C ⇔⌝⌝( A ∧C )⇔⌝( A ↑C )⇔(A ↑C )↑(A ↑C )A ∨B ⇔⌝(⌝A ∧⌝B )⇔⌝(( A ↑A )∧(B ↑B ))⇔( A ↑A )↑(B ↑B )所以F ⇔((A ↑C )↑(A ↑C ))∨((B ↑C )↑(B ↑C ))⇔(((A ↑C )↑(A ↑C ))↑((A ↑C )↑(A ↑C )))↑(((B ↑C )↑(B ↑C ))↑((B ↑C )↑(B ↑C )))(2)F ⇔(A ∧C )∨(B ∧C )⇔(A ∧(B ∨⌝B )∧C )∨((A ∨⌝A )∧B ∧C )⇔(A ∧B ∧C )∨(A ∧⌝B ∧C )∨(A ∧B ∧C )∨(⌝A ∧B ∧C ) ⇔3m ∨5m ∨7m 主析取范式 ⇔0M ∧1M ∧2M ∧4M ∧6M 主合取范式 二、(10分)判断下列公式是否是永真式? (1)(∃xA (x )→∃xB (x ))→∃x (A (x )→B (x ))。

(2)(∀xA (x )→∀xB (x ))→∀x (A (x )→B (x )))。

解 (1)(∃xA (x )→∃xB (x ))→∃x (A (x )→B (x ))⇔(⌝∃xA (x )∨∃xB (x ))→∃x (A (x )→B (x )) ⇔⌝(⌝∃xA (x )∨∃xB (x ))∨∃x (⌝A (x )∨B (x )) ⇔(∃xA (x )∧⌝∃xB (x ))∨∃x ⌝A (x )∨∃xB (x )⇔(∃xA (x )∨∃x ⌝A (x )∨∃xB (x ))∧(⌝∃xB (x )∨∃x ⌝A (x )∨∃xB (x )) ⇔∃x (A (x )∨⌝A (x ))∨∃xB (x ) ⇔T所以,(∃xA (x )→∃xB (x ))→∃x (A (x )→B (x ))为永真式。

(2)设论域为{1,2},令A (1)=T ;A (2)=F ;B (1)=F ;B (2)=T 。

则∀xA (x )为假,∀xB (x )也为假,从而∀xA (x )→∀xB (x )为真;而由于A (1)→B (1)为假,所以∀x (A (x )→B (x ))也为假,因此公式(∀xA (x )→∀xB (x ))→∀x (A (x )→B (x ))为假。

该公式不是永真式。

三、(15分)设X 为集合,A =P (X )-{∅}-{X }且A ≠∅,若|X |=n ,问 (1)偏序集<A ,⊆>是否有最大元?(2)偏序集<A ,⊆>是否有最小元?(3)偏序集<A ,⊆>中极大元和极小元的一般形式是什么?并说明理由。

解 偏序集<A ,⊆>不存在最大元和最小元,因为n >2。

考察P (X )的哈斯图,最底层的顶点是空集,记作第0层,由底向上,第一层是单元集,第二层是二元集,…,由|X |=n ,则第n -1层是X 的n -1元子集,第n 层是X 。

相关文档
最新文档