离散数学期末考试试题配答案
- 格式:doc
- 大小:70.00 KB
- 文档页数: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. 请解释什么是二元关系,并给出一个二元关系的例子。
答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。
例如,小于关系是实数集合上的一个二元关系,它关联了每一对实数,如果第一个数小于第二个数。
离散数学期末试题及答案HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】326《离散数学》期末考试题(B )一、填空题(每小题3分,共15分)1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ),)(A P 中的元素个数=|)(|A P ( ).2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数.3.谓词公式))()(())()((y P y Q y x Q x P x ⌝∧∃∧→∀中量词x ∀的辖域为( ), 量词y ∃的辖域为( ).4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元.5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二.1. 若n B m A ==||,||,则=⨯||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个.2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)},则( )是单射,( )是满射,( )是双射.3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(; (2))(q p p ∨→; (3))(q p p ∧→; (4)q q p p →∨∧⌝)(; (5)q q p →→)(.4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ).5. 设G 是(7, 15)简单平面图,则G 一定是( )图,且其每个面恰由( )条边围成,G 的面数为( ).三.1.设}}{},,{{c b a A =,}}{},,{},{{c c b a B =,则)(=⋃B A ,)(=⋂B A ,)()(=A P .2.集合},,{c b a A =,其上可定义( )个封闭的1元运算,( )个封闭的2元运算,( )个封闭的3元运算.3.命题公式1)(↑∧q p 的对偶式为( ).4.所有6的因数组成的集合为( ).5.不同构的5阶根树有( )棵.四、(10分)设B A f →:且C B g →:,若g f 是单射,证明f 是单射,并举例说明g 不一定是单射.五、(15分)设},,,{d c b a A =,A 上的关系)},(),,(),,(),,(),,(),,(),,(),,(),,{(c d b d a d c c b c a c c a b a a a R =,1.画出R 的关系图R G .2.判断R 所具有的性质.3.求出R 的关系矩阵R M .六、(10分)利用真值表求命题公式))(())((p q r r q p A →→↔→→=的主析取范式和主合取范式.七、(10分) 边数30<m 的简单平面图G ,必存在节点v 使得4)deg(≤v . 八、(10分) 有六个数字,其中三个1,两个2,一个3,求能组成四位数的个数.《离散数学》期末考试题(B)参考答案一、1. {{a , b }, a , b , ?}, {{a , b }, a , b },16.2.92, 27.3.)()(x Q x P →, )()(y P y Q ⌝∧.4. 2, 4, 6, 12.5.4≤,奇数.二、1.22,2,m mn mn ., g , g . ,2,4.,不存在,不存在. 5.连通,3,10.三、1. }}{},,{},,{},{{c c b b a a B A =⋃,}}{{c B A =⋂,{)(=A P ?, {{a , b }}, {{c }}, {{a , b }, {c }}}.2.27933,3,3. 3.0)(↓∨q p .4.{-1,-2,-3,-6,1,2,3,6}. .四、证 对于任意A y x ∈,,若)()(y f x f =,则))(())((y f g x f g =,即))(())((y g f x g f =. 由于g f 是单射,因此y x =,于是f 是单射.例如取},,{},3,2,1(},,{γβα===C B b a A ,令)}2,(),1,{(b a f =,)},3(),,2(),,1{(ββα=g ,这时)},(),,{(βαb a g f = 是单射,而g 不是单射.五、解 1. R 的关系图R G 如下:2.(1)由于R b b ∉),(,所以R 不是自反的. (2)由于R a a ∈),(,所以R 不是反自反的.(3)因为R b d ∈),(,而R d b ∉),(,因此R 不是对称的. (4)因R a c c a ∈),(),,(,于是R 不是反对称的.(5)经计算知R c d a d c c b c a c c a b a a a R R ⊆=)},(),,(),,(),,(),,(),,(),,(),,{( ,进而R 是传递的.综上所述,所给R 是传递的.3.R 的关系矩阵⎪⎪⎪⎪⎪⎭⎫⎝⎛=0111011100000111R M .六、解 命题公式))(())((p q r r q p A →→↔→→=的真值表如下:由表可知,))(())((p q r r q p A →→↔→→=的主析取范式为A 的主合取范式为)()(r q p r q p A ⌝∨⌝∨∧∨⌝∨⌝=.七、证 不妨设G 的阶数3≥n ,否则结论是显然的. 根据推论1知,63-≤n m . 若G 的任意节点v 的度数均有5)deg(≥v ,由握手定理知n v m v5)deg(2≥=∑.于是m n 52≤,进而652363-⋅≤-≤m n m . 因此30≥m ,与已知矛盾. 所以必存在节点v 使得4)deg(≤v .八、解 设满足要求的r 位数的个数有a r 种,r = 0,1,2,…,则排列计数生成函数65432121211219619431x x x x x x ++++++=,因而38!412194=⋅=a .。
离散数学期末考试试题及答案一、选择题(每题3分,共30分)1. 设集合A={1, 2, 3, 4, 5},B={2, 4, 6, 8},则A∩B是()A. {1, 2, 3, 4, 5}B. {2, 4}C. {1, 3, 5}D. {2, 4, 6, 8}2. 下列关系中,哪个是等价关系?()A. 小于关系B. 大于等于关系C. 模2同余关系D. 整除关系3. 设P(x)是谓词逻辑公式,下列哪个命题与∀xP(x)等价?()A. ∃x¬P(x)B. ¬∀xP(x)C. ¬∃xP(x)D. ∃x¬P(x)4. 一个图的欧拉回路是指()A. 经过每一条边的路径B. 经过每一个顶点的路径C. 经过每一条边的环D. 经过每一个顶点的环5. 设G是一个无向图,下列哪个说法是正确的?()A. G的每个顶点的度数都相等B. G的每个顶点的度数都不相等C. G的任意两个顶点之间都有一条边D. G的任意两个顶点之间都不一定有边6. 下列哪个图是哈密顿图?()A. K3,3B. K5C. K4,4D. K67. 设G是一个具有n个顶点的连通图,则G的最小生成树至少包含()A. n个顶点B. n-1条边C. n+1条边D. 2n条边8. 下列哪个算法可以用来求解最短路径问题?()A. Dijkstra算法B. Kruskal算法C. Prim算法D. Floyd算法9. 设P和Q是两个命题,下列哪个命题与(P→Q)∧(Q→P)等价?()A. P∧QB. P∨QC. P↔QD. ¬P∨¬Q10. 设A是一个有限集合,A的幂集是指()A. A的所有子集B. A的所有真子集C. A的所有非空子集D. A的所有非空真子集二、填空题(每题3分,共30分)11. 设集合A={1, 2, 3, 4, 5},B={2, 4, 6, 8},则A-B=______。
12. 设P(x)是谓词逻辑公式,∃xP(x)表示“存在一个x使得P(x)成立”,那么∀x¬P(x)表示“______”。
一.判断题(共10小题,每题1分,共10分)在各题末尾的括号内画 表示正确,画 表示错误:1.设p、q为任意命题公式,则(p∧q)∨p ⇔ p ( )2.∀x(F(y)→G(x)) ⇔ F(y)→∃xG(x)。
( )3.初级回路一定是简单回路。
( )4.自然映射是双射。
( )5.对于给定的集合及其上的二元运算,可逆元素的逆元是唯一的。
( )6.群的运算是可交换的。
( )7.自然数集关于数的加法和乘法<N,+, >构成环。
( )8.若无向连通图G中有桥,则G的点连通度和边连通度皆为1。
( )9.设A={a,b,c},则A上的关系R={<a,b>,<a,c>}是传递的。
( )10.设A、B、C为任意集合,则A⨯(B⨯C)=(A⨯B)⨯C。
( )二、填空题(共10题,每题3分,共30分)11.设p:天气热。
q:他去游泳。
则命题“只有天气热,他才去游泳”可符号化为。
12.设M(x):x是人。
S(x):x到过月球。
则命题“有人到过月球”可符号化为。
13.p↔q的主合取范式是。
14.完全二部图K r,s(r < s)的边连通度等于。
15.设A={a,b},,则A上共有个不同的偏序关系。
16.模6加群<Z6,⊕>中,4是阶元。
17.设A={1,2,3,4,5}上的关系R={<1,3>,<1,5>,<2,5>,<3,3>,<4,5>},则R的传递闭包t(R) = 。
.18.已知有向图D的度数列为(2,3,2,3),出度列为(1,2,1,1),则有向图D的入度列为。
19.n阶无向简单连通图G的生成树有条边。
20.7阶圈的点色数是。
三、运算题(共5小题,每小题8分,共40分)21.求∃xF(x)→∃yG(x,y)的前束范式。
22.已知无向图G有11条边,2度和3度顶点各两个,其余为4度顶点,求G 的顶点数。
离散数学期末考试题及答案1.选择题(每题3分,共30分)1. 下列命题中,属于复合命题的是:A. 3是一个奇数,且2是一个偶数B. 如果2是一个素数,那么4也是一个素数C. 不是所有奇数都是素数D. 存在一个整数x,使得x>5且x是一个偶数答案:D2. 已知命题p:草地是绿的,命题q:天空是蓝的。
下列表述可以表示p ∧ ¬q 的是:A. 草地是绿的,天空是蓝的B. 草地不是绿的,天空是蓝的C. 草地是绿的,天空不是蓝的D. 草地不是绿的,天空不是蓝的答案:B3. 设命题p表示“这个数是偶数”,q表示“这个数大于10”。
那么“这个数既是偶数又大于10”可以表示为:A. p ∧ qB. p ∨ qC. ¬p ∧ qD. ¬p ∨ q答案:A4. 下列以下列集合的方式描述,其中哪个是空集∅:A. {x | 0 ≤ x ≤ 1}B. {x | x是一个自然数,x > 10}C. {x | x是一个正偶数,x < 2}D. {x | x是一个负整数,x < -1}答案:C5. 设A = {a, b, c},B = {c, d, e},C = {a, c, e}。
则(A ∪ B) ∩ C等于:A. {a, b, c, d, e}B. {a, c, e}C. {c}D. 空集∅答案:B6. 假设U是全集,A、B、C是U的子集。
则(A ∪ B) ∩ C 的补集是:A. A ∩ B ∩ C的补集B. (A ∪ B) ∩ C的补集C. A ∪ (B ∩ C)的补集D. (A ∩ C) ∩ (B ∩ C)的补集答案:D7. 若关系R为集合A到集合B的一种映射,且|A| = 7,|B| = 4,则R包含的有序对数目为:A. 4B. 7C. 11D. 28答案:D8. 设A={1,2,3},B={4,5,6},则从A到B的映射总数为:A. 3B. 9C. 6D. 18答案:C9. 设A={a,b,c,d,e},则集合A的幂集的元素个数是:A. 2B. 5C. 10D. 32答案:D10. 若f:A→B为满射且g:B→C为单射,则(g ∘ f):A→C为:A. 双射B. 满射C. 单射D. 非单射且非满射答案:A2.简答题(每题10分,共20分)1. 请简要解释什么是关系R的自反性、对称性和传递性。
离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,空集表示为:A. {0}B. {1}C. {}D. Ø答案:D2. 命题逻辑中,下列哪个是合取命题的真值表?A. P | Q | P ∧ QB. P | Q | P ∨ QC. P ∧ Q | P ∨ QD. P ∧ Q | ¬(P ∨ Q)答案:A3. 函数f: A → B是单射的,那么f的逆函数:A. 一定存在B. 一定不存在C. 可能存在D. 以上都不对答案:C4. 关系R是自反的,那么对于所有a∈A,以下哪个命题一定为真?A. (a, a) ∈ RB. (a, a) ∉ RC. (a, a) ∈ R或(a, a) ∉ RD. (a, a) ∈ R且(a, a) ∉ R答案:A5. 在图论中,下列哪个不是图的基本术语?A. 顶点B. 边C. 子集D. 路径答案:C6. 命题p: “如果x是偶数,则x能被4整除”的否定是:A. 如果x是偶数,则x不能被4整除B. 如果x不是偶数,则x不能被4整除C. 如果x不是偶数,则x能被4整除D. 如果x是偶数,则x不能被4整除或x不是偶数答案:A7. 有向图G中,如果存在从顶点u到顶点v的有向路径,则称v是u 的:A. 祖先B. 后代C. 邻居D. 连接点答案:B8. 在命题逻辑中,下列哪个命题是永真命题?A. (P ∧ ¬P) ∨ (P ∨ ¬P)B. (P ∧ ¬P) ∧ (P ∨ ¬P)C. (P ∨ ¬P) ∧ (¬P ∨ P)D. (P ∧ ¬P) ∧ (¬P ∧ P)答案:C9. 以下哪个选项是等价命题?A. P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)B. P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)C. P ∨ ¬P ≡ ¬P ∧ PD. P ∧ ¬P ≡ ¬P ∨ P答案:A10. 树是无环连通图,以下哪个是树的属性?A. 至少有一个环B. 至少有两个顶点C. 至少有一个顶点D. 至少有一个边答案:B二、填空题(每空2分,共20分)11. 集合{1, 2, 3}的幂集含有__个元素。
一、单项选择题(每小题3分,共30分)1.下列为两个命题变元p,q的最小项的是( ) A .p∧q∧⎤ pB .⎤ p∨qC .⎤ p∧qD .⎤ p∨p∨q 2.下列句子不是命题的是( ) A .中华人民共和国的首都是北京 B .张三是学生 C .雪是黑色的D .太好了!3.对于公式(∀x ) (∃y )(P (x )∧Q (y ))→(∃x )R (x ,y ),下列说法正确的是( ) A .y 是自由变元 B .y 是约束变元C .(∃x )的辖域是R(x , y )D .(∀x )的辖域是(∃y )(P (x )∧Q (y ))→(∃x )R (x ,y )4.7.集合A={1,2,…,10}上的关系R={(x ,y )|x +y =10,x ∈A ,y ∈A},则R 的性质是( )A .自反的B .对称的C .传递的、对称的D .反自反的、传递的 5.设论域为{l ,2},与公式)(x xA ∃等价的是( ) A.A (1)∨A (2)B. A (1)→A (2)C.A (1)D. A (2)→A (1)6. 下列关系矩阵所对应的关系具有反自反性的是( ) A .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101B .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡101100001 C .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100D .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0010101017. 下列运算不满足...交换律的是( ) A .a *b =a+2bB .a *b =min(a ,b )C .a *b =|a -b |D .a *b =2ab8..设A 是奇数集合,下列构成独异点的是( ) A.<A ,+> B.<A ,-> C.<A ,×> D.<A ,÷> 9. 右图的最大入度是( ) A .0 B .1 C .2D .3第9题图拟题学院(系): 高密校区 适用专业: 学年 2学期 离散数学 (B卷) 试题标准答案10. 设有向图D 的节点数大于1,D=(V ,E )是强连通图,当且仅当( ) A. D 中至少有一条通路 B. D 中至少有一条回路C. D 中有通过每个结点至少一次的通路D. D 中有通过每个结点至少一次的回路 二、填空题(每空3分,共30分)1.设A ={1,2,3,4},B ={2,4,6},则A -B =________,A ⊕B =________。
离散数学期末考试试题(配答案)1. 谓词公式)()(x xQ x xP ∃→∀的前束范式是___________。
2. 设全集{}{}{},5,2,3,2,1,5,4,3,2,1===B A E 则A ∩B =____;=A _____;=B A Y __ _____3. 设{}{}b a B c b a A ,,,,==;则=-)()(B A ρρ__ __________;=-)()(A B ρρ_____ ______。
二.选择题(每小题2分;共10分)1. 与命题公式)(R Q P →→等价的公式是( )(A )R Q P →∨)( (B )R Q P →∧)( (C ))(R Q P ∧→ (D ))(R Q P ∨→ 2. 设集合{}c b a A ,,=;A 上的二元关系{}><><=b b a a R ,,,不具备关系( )性质 (A ) (A)传递性 (B)反对称性 (C)对称性 (D)自反性 三.计算题(共43分)1. 求命题公式r q p ∨∧的主合取范式与主析取范式。
(6分)2. 设集合{}d c b a A ,,,=上的二元关系R 的关系矩阵为⎪⎪⎪⎪⎪⎭⎫⎝⎛=1000000011010001R M ;求)(),(),(R t R s R r 的关系矩阵;并画出R ;)(),(),(R t R s R r 的关系图。
(10分)5. 试判断),(≤z 是否为格?说明理由。
(5分)(注:什么是格?Z 是整数;格:任两个元素;有最小上界和最大下界的偏序)四.证明题(共37分)1. 用推理规则证明D D A C C B B A ⌝⇒∧⌝⌝⌝∧∨⌝→)(,)(,。
(10分)2. 设R 是实数集;b a b a f R R R f +=→⨯),(,:;ab b a g R R R g =→⨯),(,:。
求证:g f 和都是满射;但不是单射。
(10分)一;1; _ ∃x ∃y¬P(x)∨Q(y)2; {2} {4;5} {1;3;4;5}3; {{c};{a ;c};{b ;c};{a ;b ;c}} Φ_ 二;B D三;解:主合取方式:p ∧q ∨r ⇔(p ∨q ∨r)∧(p ∨¬q ∨r)∧(¬p ∨q ∨r)= ∏0.2.4主析取范式:p ∧q ∨r ⇔(p ∧q ∧r) ∨(p ∧q ∧¬r) ∨(¬p ∧q ∧r) ∨(¬p ∧¬q ∧r) ∨(p ∧¬q ∧r)= ∑1.3.5.6.7 四;1;证明:编号 公式 依据 (1) (¬B∨C )∧¬C 前提 (2) ¬B∨C ;¬C (1) (3) ¬B (2) (4) A →B (3) (5) ¬A (3)(4) (6) ¬(¬A∧D ) 前提 (7) A ∨¬D (6) (8)¬D (5)(6)2;证明:要证f 是满射;即∀y ∈R ;都存在(x1;x2)∈R ×R ;使f (x1;x2)=y ;而f (x1;x2)=x1+x2;可取x1=0;x2=y ;即证得;再证g 是满射;即∀y ∈R ;;都存在(x1;x2)∈R ×R ;使g (x1;x2)=y ;而g (x1;x2)=x1x2;可取x1=1;x2=y ;即证得;最后证f 不是单射;f (x1;x2)=f (x2;x1)取x1≠x2;即证得;同理:g (x1;x2)=g (x2;x1);取x1≠x2;即证得。
一、填空2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 (B ⊕C)-A4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 )()(R S P R S P ∨⌝∨⌝∧∨∨⌝ 。
5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为 1 。
6.设A={1,2,3,4},A 上关系图如下,则 R^2= {(1,1),(1,3),(2,2),(2,4)} 。
//备注:⎪⎪⎪⎪⎪⎭⎫⎝⎛=0000100001010010R⎪⎪⎪⎪⎪⎭⎫⎝⎛=00000000101001012R7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图如下,则R= {(a,b),(a,c), (a,d), (b,d), (c,d)} U {(a,a),(b,b)(c,c)(d,d)} 。
//备注:偏序满足自反性,反对称性,传递性8.图的补图为 。
//补图:给定一个图G ,又G 中所有结点和所有能使G 成为完全图的添加边组成的图,成为补图. 自补图:一个图如果同构于它的补图,则是自补图 9.设A={a ,b ,c ,d} ,A 上二元运算如下:* a b c d a b c da b c d b c d a c d a b d a b c那么代数系统<A ,*>的幺元是 a ,有逆元的元素为 a,b,c,d ,它们的逆元分别为 a,b,c,d 。
//备注:二元运算为x*y=max{x,y},x,y ∈A 。
10.下图所示的偏序集中,是格的为 c 。
//(注:什么是格?即任意两个元素有最小上界 和最大下界的偏序)二、选择题1、下列是真命题的有( C 、D )A . }}{{}{a a ⊆;B .}}{,{}}{{ΦΦ∈Φ;C .}},{{ΦΦ∈Φ; D .}}{{}{Φ∈Φ。
2、下列集合中相等的有( B 、C )A .{4,3}Φ⋃;B .{Φ,3,4};C .{4,Φ,3,3};D . {3,4}。
离散期末考试题及答案离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 有限集合A和B的并集,其元素个数最多是A和B元素个数之和,这个性质称为:A. 德摩根定律B. 幂集C. 并集原理D. 子集原理答案:C3. 命题逻辑中,以下哪个命题是真命题?A. (p ∧ ¬p) ∨ qB. (p ∨ ¬p) ∧ qC. (p ∨ q) ∧ ¬pD. (p ∧ q) ∨ ¬p答案:B4. 在图论中,一个无向图的边数至少是顶点数的多少倍才能保证图中至少存在一个环?A. 1B. 2C. 3D. 4答案:B5. 以下哪个算法用于生成一个集合的所有子集?A. 欧拉回路B. 哈密顿回路C. 深度优先搜索D. 子集生成算法答案:D6. 在关系数据库中,以下哪个操作用于删除表中的行?A. SELECTB. INSERTC. UPDATED. DELETE答案:D7. 以下哪个是有限自动机的状态?A. 初始状态B. 终止状态C. 转移状态D. 所有选项答案:D8. 以下哪个是图论中的一个基本定理?A. 欧拉定理B. 哈密顿定理C. 狄拉克定理D. 所有选项答案:D9. 在命题逻辑中,以下哪个是德摩根定律的逆命题?A. ¬(p ∨ q) ≡ ¬p ∧ ¬qB. ¬(p ∧ q) ≡ ¬p ∨ ¬qC. ¬(p ∨ q) ≡ ¬p ∨ ¬qD. ¬(p ∧ q) ≡ ¬p ∧ ¬q答案:B10. 在集合论中,以下哪个操作表示集合的差集?A. ∩B. ∪C. -D. ×答案:C二、填空题(每空3分,共30分)11. 集合{1, 2, 3}的幂集包含________个元素。
一.填空题(每小题2分,共10分)
1. 谓词公式)()(x xQ x xP ∃→∀的前束范式是___________。
2. 设全集{}{}{},5,2,3,2,1,5,4,3,2,1===B A E 则A ∩B =____,=A _____,
=B A __ _____
3. 设{}{}b a B c b a A ,,,,==,则=-)()(B A ρρ__ __________,=-)()(A B ρρ_____ ______。
二.选择题(每小题2分,共10分)
1. 与命题公式)(R Q P →→等价的公式是( )
(A )R Q P →∨)( (B )R Q P →∧)( (C ))(R Q P ∧→ (D ))(R Q P ∨→ 2. 设集合{}c b a A ,,=,A 上的二元关系{}><><=b b a a R ,,,不具备关系( )性质 (A ) (A)传递性 (B)反对称性 (C)对称性 (D)自反性 三.计算题(共43分)
1. 求命题公式r q p ∨∧的主合取范式与主析取范式。
(6分)
2. 设集合{}d c b a A ,,,=上的二元关系R 的关系矩阵为⎪⎪
⎪
⎪
⎪
⎭
⎫
⎝
⎛=100000001101
0001
R M ,求
)(),(),(R t R s R r 的关系矩阵,并画出R ,)(),(),(R t R s R r 的关系图。
(10分)
5. 试判断),(≤z 是否为格?说明理由。
(5分)
(注:什么是格?Z 是整数,格:任两个元素,有最小上界和最大下界的偏序)
四.证明题(共37分)
1. 用推理规则证明D D A C C B B A ⌝⇒∧⌝⌝⌝∧∨⌝→)(,)(,。
(10分)
2. 设R 是实数集,b a b a f R R R f +=→⨯),(,:,ab b a g R R R g =→⨯),(,:。
求证:g
f 和
都是满射,但不是单射。
(10分)
一,1, _∃x∃y¬P(x)∨Q(y)
2, {2} {4,5} {1,3,4,5}
3, {{c},{a,c},{b,c},{a,b,c}} Φ_
二,B D
三,解:主合取方式:p∧q∨r⇔(p∨q∨r)∧(p∨¬q∨r)∧(¬p∨q∨r)= ∏0.2.4 主析取范式:p∧q∨r⇔(p∧q∧r) ∨(p∧q∧¬r)∨(¬p∧q∧r) ∨(¬p∧¬q∧r) ∨(p∧¬q ∧r)=∑1.3.5.6.7
四,1,证明:
编号公式依据
(1)(¬B∨C)∧¬C前提
(2)¬B∨C,¬C(1)
(3)¬B(2)
(4)A→B (3)
(5)¬A(3)(4)
(6)¬(¬A∧D)前提
(7)A∨¬D(6)
(8)¬D(5)(6)
2,证明:要证f是满射,即∀y∈R,都存在(x1,x2)∈R×R,使f(x1,x2)=y,而f(x1,x2)=x1+x2,可取x1=0,x2=y,即证得;
再证g是满射,即∀y∈R,,都存在(x1,x2)∈R×R,使g(x1,x2)=y,而g(x1,x2)=x1x2,可取x1=1,x2=y,即证得;
最后证f不是单射,f(x1,x2)=f(x2,x1)取x1≠x2,即证得,同理:g(x1,x2)=g(x2,x1),取x1≠x2,即证得。
5,解:(Z,≤)是格,理由如下:
对于任意a∈Z,a≤a成立,满足自反性;
对于任意a∈Z,b∈Z,若a≤b且b≤a,则a=b,满足反对称性;
对于任意a,b,c∈Z,若a≤b,b≤c,则a≤c,满足传递性;
而对于任意a,b∈Z,a≤b,b为最小上界,a为最大下界,故(Z,≤)是格。