离散数学期末试题及答案A
离散数学期末考试题及详细答案
离散数学期末考试题及详细答案一、选择题（每题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. 请解释什么是二元关系，并给出一个二元关系的例子。
答案：二元关系是定义在两个集合上的一个关系，它关联了第一个集合中的元素和第二个集合中的元素。
例如，小于关系是实数集合上的一个二元关系，它关联了每一对实数，如果第一个数小于第二个数。
离散数学期末考试试题及答案
离散数学期末考试试题及答案一、选择题（每题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)表示“______”。
离散数学考试试题（A卷及答案）
离散数学考试试题（A卷及答案）离散数学考试试题（A卷及答案）⼀、（10分）判断下列公式的类型（永真式、永假式、可满⾜式）？1)((P→Q)∧Q)?((Q∨R)∧Q) 2)?((Q→P)∨?P)∧(P∨R)3)((?P∨Q)→R)→((P∧Q)∨R)解：1)永真式；2）永假式；3)可满⾜式。
⼆、（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∧1?0三、（8分）已知集合A和B且|A|=n，|B|=m，求A到B的⼆元关系数是多少？A到B的函数数是多少？解：因为|P(A×B)|=2|A×B|=2|A||B|=2mn，所以A到B的⼆元关系有2mn个。
因为|BA|=|B||A|=mn，所以A到B的函数mn个。
四、（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⼈⾄少乘坐过其中的两种。
离散数学期末考试题及答案
离散数学期末考试题及答案一、选择题（每题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}的幂集含有__个元素。
离散数学期末考试题及答案
离散数学期末考试题及答案一、单项选择题（每题2分，共20分）1. 集合A={1,2,3}，集合B={2,3,4}，则A∩B等于多少？A. {1,2}B. {2,3}C. {3,4}D. {1,4}答案：B2. 命题“若x>0，则x^2>0”的逆否命题是？A. 若x^2≤0，则x≤0B. 若x^2>0，则x>0C. 若x≤0，则x^2≤0D. 若x≤0，则x^2>0答案：C3. 在图论中，一个图是连通的当且仅当？A. 存在一个顶点到所有其他顶点的路径B. 存在一个顶点到所有其他顶点的回路C. 图中没有孤立的顶点D. 图中至少有两个顶点答案：A4. 以下哪个选项是二元关系的自反性质？A. 对于所有元素x，(x, x)∉RB. 对于所有元素x，(x, x)∈RC. 对于所有元素x，y，(x, y)∈R且(y, x)∈RD. 对于所有元素x，y，z，(x, y)∈R且(y, z)∈R则(x, z)∈R5. 以下哪个命题是真命题？A. 所有的马都是白色的B. 有些马是白色的C. 没有马是白色的D. 所有的马都不是白色的答案：B6. 以下哪个选项是等价命题？A. p∧q和p∨qB. p∧q和¬p∨¬qC. p∧¬q和¬p∨qD. p∧q和¬p∧¬q答案：D7. 在集合论中，以下哪个操作是幂集？A. 并集B. 交集C. 对称差D. 包含所有子集的集合答案：D8. 以下哪个选项是图的路径？A. 一条边B. 一个顶点C. 一系列顶点和边，使得每对连续的顶点由一条边连接D. 一个环答案：C9. 以下哪个选项是命题逻辑中的合取？B. p∧qC. ¬pD. p→q答案：B10. 以下哪个选项是图的连通分量？A. 一个顶点B. 一条边C. 图的一个极大连通子图D. 图的一个极大不连通子图答案：C二、填空题（每题2分，共20分）1. 集合{1,2,3}的子集个数为__7__。
离散期末考试题及答案
离散期末考试题及答案离散数学期末考试题及答案一、选择题（每题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}的幂集包含________个元素。
离散数学期末试卷A卷及答案
《离散数学》试卷（A 卷）一、 选择题（共5 小题，每题 3 分，共15 分）1、设A={1,2,3},B={2,3,4,5},C={2,3},则C B A ⊕⋃)(为(C )。
A 、{1,2}B 、{2,3}C 、{1,4,5}D 、{1,2,3}2、下列语句中哪个是真命题 ( A )A 、如果1+2=3，则4+5=9；B 、1+2=3当且仅当4+5≠9。
C 、如果1+2=3，则4+5≠9；D 、1+2=3仅当4+5≠9。
3、个体域为整数集合时，下列公式（ C ）不是命题。
A 、)*(y y x y x =∀∀B 、)4*(=∃∀y x y xC 、)*(x y x x =∃D 、)2*(=∃∃y x y x4、全域关系A E 不具有下列哪个性质（ B ）。
A 、自反性B 、反自反性C 、对称性D 、传递性5、函数612)(,:+-=→x x f R R f 是（ D ）。
A 、单射函数B 、满射函数C 、既不单射也不满射D 、双射函数二、填充题（共 5 小题，每题 3 分，共15 分）1、设|A|=4，|P(B)|=32，|P(A ⋃B)|=128，则|A ⋂B|=ˍˍ2ˍˍˍ.2、公式)(Q P Q ⌝∨∧的主合取式为 。
3、对于公式))()((x Q x P x ∨∃，其中)(x P ：x=1， )(x Q ：x=2，当论域为{0,1,2}时，其真值为ˍˍˍ1ˍˍˍ。
4、设A ＝{1,2,3,4}，则A 上共有ˍˍˍ15ˍˍˍˍ个等价关系。
5、设A ＝{a ，b ，c }，B={1,2},则|B A |= 8 。
三、判断题（对的填T ，错的填F ，共 10 小题，每题 1 分，共计10 分）1、“这个语句是真的”是真命题。
（ F ）2、“刚和小强是同桌。
”是复合命题。
（ F ）3、))(()(r q q p p ∧⌝∧→⌝∨是矛盾式。
（ T ）4、)(T S R T R S R ⋂⋅⊆⋅⋃⋅。
离散数学期末考试题及详细答案
离散数学期末考试题及详细答案一、选择题（每题5分，共20分）1. 下列哪一项是图论中的基本概念？A. 集合B. 函数C. 映射D. 顶点答案：D2. 在逻辑中，下列哪一项表示合取？A. ∨B. ∧C. →D. ¬答案：B3. 以下哪个命题是真命题？A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬p → p答案：B4. 在集合论中，下列哪个符号表示集合的交集？A. ∪B. ∩C. ⊆D. ⊂答案：B二、填空题（每题5分，共20分）1. 如果一个图是无环的，则称该图为________。
答案：树2. 在布尔代数中，逻辑或运算的符号是________。
答案：∨3. 如果一个函数f: A → B，则称A为函数f的________。
答案：定义域4. 一个集合的子集个数是2的该集合元素个数次方，这个结论被称为________。
答案：幂集定理三、简答题（每题10分，共30分）1. 请简述图的邻接矩阵和邻接表的定义。
答案：邻接矩阵是一个二维数组，其元素表示图中两个顶点之间是否存在边。
邻接表是图的一种表示方法，其中每个顶点对应一个链表，链表中存储的是与该顶点相邻的顶点。
2. 什么是哥德尔不完备性定理？答案：哥德尔不完备性定理表明，在任何包含基本算术的一致形式系统内，都存在这样的命题：这个命题既不能被证明为真，也不能被证明为假。
3. 请解释什么是二元关系，并给出一个例子。
答案：二元关系是定义在两个集合上的一个子集，它包含所有满足特定条件的有序对。
例如，整数集合上的大于关系就是一个二元关系。
四、计算题（每题15分，共30分）1. 给定一个集合A={1,2,3,4}，请计算集合A的幂集。
答案：集合A的幂集是{∅, {1}, {2}, {3}, {4}, {1,2}, {1,3}, {1,4}, {2,3}, {2,4}, {3,4}, {1,2,3}, {1,2,4}, {1,3,4},{2,3,4}, {1,2,3,4}}。
离散数学试题及答案
离散数学考试试题（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)。
大学离散数学期末考试题库和答案
大学离散数学期末考试题库和答案一、单项选择题（每题2分，共20分）1. 在集合论中，以下哪个符号表示“属于”？A. ∈B. ∉C. ⊆D. ⊂答案：A2. 如果A和B是两个集合，那么A∪B表示什么？A. A和B的交集B. A和B的并集C. A和B的差集D. A和B的补集答案：B3. 以下哪个命题是真命题？A. ∀x∈N, x^2 > xB. ∃x∈N, x^2 = x + 1C. ∀x∈N, x^2 ≥ xD. ∃x∈N, x^2 < x答案：C4. 在图论中，一个无向图的边数为E，顶点数为V，那么这个图的生成树的边数是多少？A. EB. V-1C. VD. E-1答案：B5. 以下哪个算法是用于解决旅行商问题（TSP）的？A. 动态规划B. 贪心算法C. 分支限界法D. 回溯法答案：D6. 在逻辑中，以下哪个符号表示“蕴含”？A. ∧B. ∨C. →D. ↔答案：C7. 以下哪个是二进制数？A. 1010B. 2A3C. 12BD. ZYX答案：A8. 在关系数据库中，以下哪个操作用于删除表中的行？A. SELECTB. INSERTC. UPDATED. DELETE答案：D9. 以下哪个是布尔代数的基本运算？A. 并集B. 交集C. 差集D. 所有以上答案：D10. 在离散数学中，以下哪个概念用于描述两个集合之间的关系？A. 函数B. 映射C. 序列D. 所有以上答案：D二、多项选择题（每题3分，共15分）11. 以下哪些是集合的基本运算？A. 并集B. 交集C. 差集D. 补集答案：ABCD12. 在图论中，以下哪些是图的基本类型？A. 无向图B. 有向图C. 完全图D. 二分图答案：ABCD13. 在逻辑中，以下哪些是命题逻辑的基本连接词？A. 与（∧）B. 或（∨）C. 非（¬）D. 蕴含（→）答案：ABCD14. 在关系数据库中，以下哪些是SQL的基本操作？A. SELECTB. INSERTC. UPDATED. DELETE答案：ABCD15. 在离散数学中，以下哪些是组合数学的基本概念？A. 排列B. 组合C. 二项式系数D. 图论答案：ABC三、填空题（每题3分，共30分）16. 如果集合A={1, 2, 3}，集合B={2, 3, 4}，那么A∩B=______。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
学年第二学期期末考试《离散数学》试卷（ A ）使用班级：命题教师：主任签字：一、单项选择题(本大题共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.在一棵根树中，仅有一个结点的入度为______，称为树根，其余结点的入度均为______。
17.A={1,2,3,4}上二元关系R={〈2，4〉，〈3，3〉，〈4，2〉}，R的关系矩阵M R中m24=______,m34=______。
18.设〈s,*〉是群，则那么s中除______外，不可能有别的幂等元；若〈s,*〉有零元，则|s|=______。
19.设A为集合，P(A)为A的幂集，则〈P(A)，⊆〉是格，若x,y∈P(A),则x,y最大下界是______，最小上界是______。
20.设函数f:X→Y,如果对X中的任意两个不同的x1和x2，它们的象y1和y2也不同，我们说f是______函数，如果ranf=Y，则称f是______函数。
21.设R为非空集合A上的等价关系，其等价类记为〔x〕R。
∀x,y∈A，若〈x,y〉∈R，则〔x〕R与〔y〕R的关系是______，而若〈x,y〉∉R，则〔x〕R∩〔y〕R=______。
22.使公式(∃x)( ∃y)(A(x)∧B(y))⇔(∃x)A(x)∧(∃y)B(y)成立的条件是______不含有y，______不含有x。
23.设M(x):x是人，D(s):x是要死的，则命题“所有的人都是要死的”可符号化为(∀x)______,其中量词(∀x)的辖域是______。
24.若H1∧H2∧…∧H n是______，则称H1,H2,…Hn是相容的，若H1∧H2∧…∧H n是______，则称H1,H2,…H n是不相容的。
25.判断一个语句是否为命题，首先要看它是否为，然后再看它是否具有唯一的。
三、计算题(共30分)26.(4分)设有向图G=(V,E)如下图所示，试用邻接矩阵方法求长度为2的路的总数和回路总数。
考生须知：1.姓名必须写在装订线左侧，写在其它位置试卷一律作废。
请先检查试卷是否缺页，如缺页请向监考教师声明。
如不检查不声明，后果由考生本人负责。
2.考试结束后，考生不得将试卷、答题纸和草稿纸带出考场。
题号一二三四五六七八总分人得分总分姓名班级考场座号学号27.(5)设A={a,b},P(A)是A的幂集，⊕是对称差运算，可以验证<P(A)，⊕>是群。
设n是正整数，求({a}-1{b}{a})n⊕{a}-n{b}n{a}n28.(6分)设A={1,2,3,4,5},A上偏序关系R={〈1，2〉，〈3，2〉，〈4，1〉，〈4，2〉，〈4，3〉，〈3，5〉，〈4，5〉}∪I A;(1)作出偏序关系R的哈斯图(2)令B={1,2,3,5}，求B的最大，最小元，极大、极小元，上界，下确界，下界，下确界。
29.(6分)求┐(P→Q)⇔(P→┐Q)的主合取范式并给出所有使命题为真的赋值。
30.(5分)设带权无向图G如下，求G的最小生成树T及T的权总和，要求写出解的过程。
31.(4分)求公式┐((∀x)F(x,y)→(∃y)G(x,y))∨(∃x)H(x)的前束范式。
四、证明题(共20分)32.(6分)设T是非平凡的无向树，T中度数最大的顶点有2个，它们的度数为k(k≥2),证明T中至少有2k-2片树叶。
33.(8分)设A是非空集合，F是所有从A到A的双射函数的集合，ο是函数复合运算。
证明：〈F, ο〉是群。
34.(6分)在个体域D={a1,a2,…，a n}中证明等价式：(∃x)(A(x)→B(x))⇔(∀x)A(x)→(∃x)B(x)五、应用题(共15分)35.(9分)如果他是计算机系本科生或者是计算机系研究生，那么他一定学过DELPHI语言而且学过C++语言。
只要他学过DELPHI语言或者C++语言，那么他就会编程序。
因此如果他是计算机系本科生，那么他就会编程序。
请用命题逻辑推理方法，证明该推理的有效结论。
36.(6分)一次学术会议的理事会共有20个人参加，他们之间有的相互认识但有的相互不认识。
但对任意两个人，他们各自认识的人的数目之和不小于20。
问能否把这20个人排在圆桌旁，使得任意一个人认识其旁边的两个人?根据是什么?离散数学试题参考答案一、单项选择题(本大题共15小题，每小题1分，共15分)1.B2.D3.A4.A5.D6.D7.D8.C9.D 10.B11.A 12.A 13.C 14.B 15.C二、填空题16.0 、1 ，17.1 、0，18.单位元、1，19.x∩y 、x∪y，20.入射、满射21.［x］R=［y］R，22.A(x) 、B(y)，23.(M(x)→D(x)) 、M(x)→D(x)24.可满足式、永假式(或矛盾式)，25.陈述句真值三、计算题26. M=1100101010110011⎧⎨⎪⎪⎩⎪⎪⎫⎬⎪⎪⎭⎪⎪M2=2110211121211011⎧⎨⎪⎪⎩⎪⎪⎫⎬⎪⎪⎭⎪⎪M ijji2141418==∑∑=,M iji2146=∑=G中长度为2的路总数为18，长度为2的回路总数为6。
27.当n是偶数时，∀x∈P(A),x n=∅、当n是奇数时，∀x∈P(A),x n=x于是：当n是偶数，(｛a｝-1｛b｝｛a｝)n⊕｛a｝-n｛b｝n｛a｝n=∅⊕(｛a｝-1)n｛b｝n｛a｝n=∅⊕∅=∅当n是奇数时，(｛a｝-1｛b｝｛a｝)n⊕｛a｝-n｛b｝n｛a｝n=｛a｝-1｛b｝｛a｝⊕(｛a｝-1)n｛b｝n｛a｝n=｛a｝-1｛b｝｛a｝⊕｛a｝-1｛b｝｛a｝=∅28.(1)偏序关系R的哈斯图为(2)B的最大元：无，最小元：无；极大元：2，5，极小元：1，3下界：4，下确界4；上界：无，上确界：无29.原式⇔(┐(P→Q)→(P→┐Q))∧((P→┐Q)→┐(P→Q))((P→Q)∨(P→┐Q))∧(┐(P→┐Q)∨┐(P→Q))(┐P∨Q∨┐P∨┐Q)∧(┐(┐P∨┐Q)∨(P∧┐Q))(┐(P∧┐Q)∨(P∧┐Q))(P∧Q)∨(P∧┐Q)P∧(Q∨┐Q)P∨(Q∧┐Q)(P∨Q)∧(P∨┐Q)命题为真的赋值是P=1,Q=0和P=1,Q=130.令e 1=(v 1,v 3), e 2=(v 4,v 6) e 3=(v 2,v 5), e 4=(v 3,v 6) e 5=(v 2,v 3), e 6=(v 1,v 2) e 7=(v 1,v 4), e 8=(v 4,v 3) e 9=(v 3,v 5), e 10=(v 5,v 6) 令a i 为e i 上的权，则a 1<a 2<a 3<a 4<a 5=a 6=a 7=a 8<a 9=a 10取a 1的e 1∈T,a 2的e 2∈T,a 3的e 3∈T,a 4的e 4∈T,a 5的e 5∈T,即，T 的总权和=1+2+3+4+5=1531.原式⇔┐(∀x 1F(x 1,y)→∃y 1G(x,y 1))∨∃x 2H(x 2) (换名) ⇔┐∃x 1∃y 1(F(x 1,y)→G(x,y 1))∨∃x 2H(x 2) ⇔∀x 1∀y 1┐(F(x 1,y 1)→G(x,y 1))∨∃x 2H(x 2) ⇔∀x 1∀y 1∃x 2(┐(F(x 1,y 1)→G(x,y 1))∨H(x 2) 四、证明题32.设T 中有x 片树叶，y 个分支点。