离散数学题库简答题概要

合集下载

《离散数学》题库及问题详解

《离散数学》题库与答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( A )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答：在第三章里面有公式（1）是附加律，（4）可以由第二章的蕴含等值式求出（注意与吸收律区别）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）可用蕴含等值式证明3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答：（2）是第三章的化简律，（3）类似附加律，（4）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。

答：x,y, x,z（考察定义在公式∀x A和∃x A中，称x为指导变元，A为量词的辖域。

在∀x A和∃x A的辖域中，x的所有出现都称为约束出现，即称x为约束变元，A中不是约束出现的其他变项则称为自由变元。

于是A(x)、B(y，x)和∃z C(y，z)中y为自由变元，x和z为约束变元，在D(x)中x为自由变元）5、判断下列语句是不是命题。

若是，给出命题的真值。

( )(1)是中华人民国的首都。

(2) 师大是一座工厂。

(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。

(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是（命题必须满足是述句，不能是疑问句或者祈使句。

）6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。

离散数学试题及答案

离散数学试题及答案一、选择题1. 设A、B、C为三个集合，下列哪个式子是成立的？A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案：B2. 对于一个有n个元素的集合S，S的幂集中包含多少个元素？A) \(n\)B) \(2^n\)C) \(2 \times n\)答案：B二、判断题1. 对于两个关系R和S，若S是自反的，则R ∩ S也是自反的。

答案：错误2. 若一个关系R是反对称的，则R一定是反自反的。

答案：正确三、填空题1. 有一个集合A，其中包含元素1、2、3、4和5，求集合A的幂集的大小。

答案：322. 设a和b是实数，若a \(\neq\) b，则a和b之间的关系是\(\__\_\)关系。

答案：不等四、解答题1. 证明：如果关系R是自反且传递的，则R一定是反自反的。

解答：假设关系R是自反的且传递的，即对于集合A中的任意元素x，都有(x, x) ∈ R，并且当(x, y) ∈ R和(y, z) ∈ R时，(x, z) ∈ R。

反证法：假设R不是反自反的，即存在一个元素a∈A，使得(a, a) ∉ R。

由于R是自反的，所以(a, a) ∈ R，与假设矛盾。

因此，R一定是反自反的。

答案完整证明了该结论。

2. 已知集合A={1, 2, 3}，集合B={2, 3, 4}，求集合A和B的笛卡尔积。

解答：集合A和B的笛卡尔积定义为{(a, b) | a∈A，b∈B}。

所以，集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。

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

离散数学考试题(后附详细答案)一、命题符号化（共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)b)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 g图17.已知有限集S={a1,a2,…,a n},N为自然数集合，R为实数集合，求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N（写出即可）(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. 试述命题逻辑中的等价关系和蕴含关系。

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

若命题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. 在集合{1,2,3,4}中，含有3个元素的子集有多少个？A. 4B. 8C. 16D. 32答案：B解析：含有3个元素的子集可以通过组合数公式C(n, k) = n! / [k!(n-k)!]来计算，其中n为集合的元素个数，k为子集中的元素个数。

在本题中，n=4，k=3，所以C(4, 3) = 4! / [3!(4-3)!] = 4。

2. 下列哪个命题是真命题？A. 所有偶数都是整数。

B. 所有整数都是偶数。

C. 所有整数都是奇数。

D. 所有奇数都是整数。

答案：A解析：偶数是指能被2整除的整数，因此所有偶数都是整数，选项A是真命题。

选项B、C和D都是错误的，因为并非所有整数都是偶数或奇数。

二、填空题1. 逻辑运算符“非”（NOT）的真值表是：当输入为真时，输出为______；当输入为假时，输出为真。

答案：假解析：逻辑运算符“非”（NOT）是一元运算符，它将输入的真值取反。

如果输入为真，则输出为假；如果输入为假，则输出为真。

2. 命题逻辑中，合取词“与”（AND）的真值表是：当两个命题都为真时，输出为真；否则输出为______。

答案：假解析：合取词“与”（AND）是二元运算符，只有当两个命题都为真时，输出才为真；如果其中一个或两个命题为假，则输出为假。

三、简答题1. 解释什么是等价关系，并给出一个例子。

答案：等价关系是定义在集合上的一个二元关系，它满足自反性、对称性和传递性。

例如，考虑整数集合上的“同余”关系。

对于任意整数a，b，如果a和b除以同一个正整数n后余数相同，则称a和b模n同余。

这个关系是自反的（a同余a），对称的（如果a同余b，则b同余a），并且是传递的（如果a同余b且b同余c，则a同余c）。

2. 什么是图的连通性？一个图是连通的需要满足什么条件？答案：图的连通性是指在无向图中，任意两个顶点之间都存在一条路径。

一个图是连通的需要满足以下条件：图中的任意两个顶点v和w，都可以通过图中的边相互到达。

完整word版,《离散数学》题库及答案

《离散数学》题库与答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答：在第三章里面有公式（1）是附加律，（4）可以由第二章的蕴含等值式求出（注意与吸收律区别）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）可用蕴含等值式证明3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答：（2）是第三章的化简律，（3）类似附加律，（4）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。

答：x,y, x,z（考察定义在公式∀x A和∃x A中，称x为指导变元，A为量词的辖域。

在∀x A和∃x A的辖域中，x的所有出现都称为约束出现，即称x为约束变元，A中不是约束出现的其他变项则称为自由变元。

于是A(x)、B(y，x)和∃z C(y，z)中y为自由变元，x和z为约束变元，在D(x)中x为自由变元）5、判断下列语句是不是命题。

若是，给出命题的真值。

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

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

(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。

(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是（命题必须满足是陈述句，不能是疑问句或者祈使句。

(完整版)《离散数学》试题及答案解析,推荐文档

3. 设 R 是实数集合，,,是 R 上的三个映射，(x) = x+3, (x) = 2x, (x) ＝ x/4, 试求复合映射•，•, •, •，••.
4. 设 I 是如下一个解释：D = {2, 3},
a
b
f (2) f (3)
3
2
3
2
试求 (1) P(a, f (a))∧P(b, f (b));
WORD 整理版
一、填空题 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 的所有映射是 __________________________ _____________, 其中双射的是
专业资料学习参考
WORD 整理版
0 1 1 1 1
15. 设图 G 的相邻矩阵为 1 0 1 0 0 ，则 G 的顶点数与边数分别为(
).
1 1 0 1 1
1 0 1 0 1
1 0 1 1 0
(A)4, 5 (B)5, 6 三、计算证明题
(C)4, 10
(D)5, 8.
1.设集合 A＝{1, 2, 3, 4, 6, 8, 9, 12}，R 为整除关系。
则在解释 I 下取真值为 1 的公式是( ).
(A)xyP(x,y) (B)xyP(x,y) (C)xP(x,x) (D)xyP(x,y). 6. 若供选择答案中的数值表示一个简单图中各个顶点的度，能画出图的是( ).

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

离散数学期末考试题及答案一、选择题（每题2分，共20分）1. 在集合论中，表示两个集合A和B的并集的符号是：A. ∩B. ∪C. ⊂D. ⊆2. 以下哪个命题逻辑表达式是真命题，当P为真，Q为假时？A. ¬PB. P ∧ QC. P ∨ QD. P → Q3. 如果函数f: A → B是一个单射，那么它不能是：A. 满射B. 双射C. 恒等函数D. 逆函数4. 在图论中，一个图G是连通的，当且仅当：A. G是无向图B. G是简单图C. G是完全图D. 对于任意两个顶点，都存在一条路径5. 以下哪个不是组合数学中的计数原理？A. 加法原理B. 乘法原理C. 排列D. 组合二、简答题（每题10分，共30分）6. 解释什么是二元关系，并给出一个例子。

7. 描述什么是有向图和无向图的区别。

8. 什么是等价关系，它有哪些性质？三、计算题（每题15分，共30分）9. 给定集合A = {1, 2, 3, 4}，B = {a, b, c}，定义函数f: A → B，其中f(1) = a, f(2) = b, f(3) = c, f(4) = a。

判断f是否是单射、满射或双射，并给出理由。

10. 计算以下命题逻辑表达式的真值表：(P ∧ Q) → (¬P ∨ R)，其中P、Q、R是命题变量。

四、证明题（每题20分，共20分）11. 证明：如果一个图G是连通的，那么它的任意子图也是连通的。

答案一、选择题1. B2. C3. A4. D5. D二、简答题6. 二元关系是定义在两个集合上的一个关系，它将第一个集合中的每个元素与第二个集合中的元素相关联。

例如，如果A是人名的集合，B是年龄的集合，关系R可以是“比...年长”，那么(Alice, 30) ∈ R表示Alice比30岁年长。

7. 有向图由顶点和有向边组成，每条边都有一个方向，表示从一个顶点指向另一个顶点。

无向图由顶点和无向边组成，边没有方向。

(完整word版)离散数学试卷及参考答案()

一、填空题:(每空1分，本大题共15分）1．给定命题公式A 、B ，若，则称A 和B 是逻辑相等的。

2．命题公式)(Q P →⌝的主析取范式为，主合取范式的编码表示为。

3．设E 为全集， ,称为A 的绝对补，记作～A ，且～（～A ）= ，～E = ，～Φ= 。

4．设},,{c b a A =考虑下列子集}},{},,{{1c b b a S =，}},{},,{},{{2c a b a a S =，}},{},{{3c b a S =,}},,{{4c b a S =}}{},{},{{5c b a S =，}},{},{{6c a a S =则A 的覆盖有，A 的划分有。

5．设S 是非空有限集，代数系统＜（S ），，＞中，（S)对的幺元为，零元为。

（S ）对的幺元为，零元为 .6．若>=<E V G ,为汉密尔顿图，则对于结点集V 的每个非空子集S ，均有W(G-S) S 成立，其中W （G —S)是。

二、单项选择题：（每小题1分，本大题共10分)1．下面命题公式（ )不是重言式。

A 、)(Q P Q ∨→；B 、P Q P →∧)(；C 、)()(Q P Q P ∨⌝∧⌝∧⌝;D 、)()(Q P Q P ∨⌝↔→。

2．命题“没有不犯错误的人”符号化为( ）。

设x x M ：)(是人，x x P ：)(犯错误。

A 、))()((x P x M x ∧∀; B 、)))()(((x P x M x ⌝→∃⌝；C 、)))()(((x P x M x ∧∃⌝；D 、)))()(((x P x M x ⌝∧∃⌝。

3．设}{Φ=A ，B =((A ））,下列各式中哪个是错误的（）。

A 、B ⊆Φ; B 、B ⊆Φ}{，C 、B ∈Φ}}{{；D 、⊆ΦΦ}}{,{(A ）。

4．对自然数集合N ，哪种运算不是可结合的，运算定义为任N b a ∈,（）.A 、),min(b a b a =*;B 、b a b a 2+=*;C 、3++=*b a b a ；D 、)3(mod ,b a b a =*。

离散数学考试试题及答案

离散数学考试试题及答案一、单项选择题（每题5分，共20分）1. 在离散数学中，以下哪个概念不是布尔代数的基本元素？A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案：D2. 下列哪个命题不是命题逻辑中的命题？A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案：D3. 在集合论中，以下哪个符号表示集合的并集？A. ∩B. ∪C. ⊆D. ⊂答案：B4. 以下哪个图不是无向图？A. 简单图B. 完全图C. 有向图D. 多重图答案：C二、填空题（每题5分，共20分）1. 如果一个命题的逆否命题为真，则原命题的________为真。

答案：逆命题2. 在图论中，如果一个图的任意两个顶点都由一条边连接，则称这个图为________图。

答案：完全3. 一个集合的幂集是指包含该集合的所有________的集合。

答案：子集4. 如果一个函数的定义域和值域都是有限集合，那么这个函数被称为________函数。

答案：有限三、简答题（每题10分，共30分）1. 请简述什么是图的欧拉路径。

答案：欧拉路径是一条通过图中每条边恰好一次的路径。

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

答案：二元关系是指定义在两个集合之间的关系，它将第一个集合中的元素与第二个集合中的元素联系起来。

例如，小于关系就是一个二元关系。

3. 请说明什么是递归函数，并给出一个简单的例子。

答案：递归函数是一种通过自身定义来计算函数值的函数。

例如，阶乘函数就是一个递归函数，定义为：n! = n * (n-1)!，其中n! = 1当n=0时。

四、计算题（每题10分，共30分）1. 计算以下逻辑表达式：(P ∧ Q) ∨ ¬R答案：首先计算P ∧ Q，然后计算¬R，最后计算两者的逻辑或。

2. 给定集合A = {1, 2, 3}，B = {2, 3, 4}，求A ∪ B。

答案：A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3，求f(5)。

离散数学(简答题)

1、设简单图G所有结点的度数之和为12，则G一定有_____条边。

问题反馈【教师释疑】正确答案：【6 】62、设X={a,b,c},Ix是X上恒等关系，要使Ix∪{〈a,b〉，〈b,c〉，〈c,a〉，〈b,a〉}∪R为X 上的等价关系，R应取_______. 问题反馈【教师释疑】正确答案：【{〈a,c〉,〈c,b〉} 】{〈a,c〉,〈c,b〉}3、命题公式的任意两个不同极小项的合取式一定为_________. 问题反馈【教师释疑】正确答案：【永假式】永假式4、一个公式在等价意义下，_______范式写法是唯一的。

问题反馈【教师释疑】正确答案：【主析取】主析取5、若P：他聪明；Q：他用功；则“他虽聪明，但不用功”，可符号化为_______ 问题反馈【教师释疑】正确答案：【P∧┐Q 】P∧┐Q6、设R是A上的二元关系,且RRR为R的子集,可以肯定R应是_____关系。

问题反馈【教师释疑】正确答案：【传递】传递7、设集合A＝{1, 2, 3, 4}，A上的二元关系R＝{(1,1),(1,2),(2,3)}, S＝{(1,3),(2,3),(3,2)}。

则R×S ＝__________________, 问题反馈【教师释疑】正确答案：【{(1,3),(2,2)} 】{(1,3),(2,2)}8、设谓词的定义域为{a, b},将表达式"任意xR(x)→彐xS(x)"中量词消除，写成与之对应的命题公式是__________________. 问题反馈【教师释疑】正确答案：【(R(a)∧R(b))→(S(a)∨S(b)) 】(R(a)∧R(b))→(S(a)∨S(b))9、设集合A,B，其中A＝{1,2,3}, B= {1,2}, 则A - B＝____________________; 问题反馈【教师释疑】正确答案：【{3} 】{3}10、设G是完全二叉树，G有7个点，其中4个叶点，则G的总度数为__________ 问题反馈【教师释疑】正确答案：【12 】1211、设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A∩B＝_________________________; 问题反馈【教师释疑】正确答案：【{4} 】{4}12、设A={a, b, {a, b}}，B={a, b}，则B－A =________ 问题反馈【教师释疑】正确答案：【Φ】Φ13、设G是具有8个顶点的树，则G中增加_________条边才能把G变成完全图。

离散数学试题及答案

离散数学试题及答案一、选择题（每题2分，共20分）1. 集合A={x|x<5}，集合B={x|x>2}，则A∩B为：A. {x|x>2}B. {x|x<2}C. {x|2<x<5}D. {x|x≥5}2. 命题p："x>0"是命题q："x^2>0"的：A. 必要条件B. 充分条件C. 充分必要条件D. 无关条件3. 函数f(x)=x^2+3x-2的值域是：A. (-∞, -1]B. [1, +∞)C. (-∞, 4]D. (-∞, 2]4. 逻辑表达式((P∨Q)∧(¬P))的真值表中，当P为真时，表达式的值为：A. 真B. 假C. 不确定D. 无法判断5. 已知二元关系R定义在集合A上，若对于任意a,b,c∈A，若aRb且bRc，则aRc，那么R是：A. 自反的B. 对称的C. 传递的D. 完全的6. 有限状态自动机（DFA）与确定有限状态自动机（DFA）的区别在于：A. DFA可以识别非正则语言B. DFA可以有多个起始状态C. DFA可以有多个接受状态D. DFA可以有多个状态7. 命题逻辑中，若命题P的否定为P'，则P和P'的关系是：A. 互为对立B. 互为矛盾C. 互为等价D. 互为同一律8. 集合{1,2,3}的子集个数是：A. 3B. 4C. 7D. 89. 一个命题逻辑公式的真值表中，若存在一行结果为假，则该公式：A. 总是假B. 有时真，有时假C. 总是真D. 无法判断10. 布尔代数中，逻辑与（AND）操作的特点是：A. 有0则0B. 有1则1C. 非0即1D. 非1即0二、简答题（每题5分，共10分）1. 简述集合论中的幂集概念。

2. 描述图的邻接矩阵表示方法。

三、计算题（每题10分，共30分）1. 证明函数f(x)=x^3-3x^2+2x-1在R上是单调递增的。

(完整版)离散数学题库与答案

试卷二十二试题与答案一、单项选择题：（每小题1分，本大题共15分）1．设A={1，2，3，4，5}，下面（）集合等于A 。

A 、{1，2，3，4，5，6}；B 、}25{2≤x x x 是整数且； C 、}5{≤x x x 是正整数且； D 、}5{≤x x x 是正有理数且。

2．设A={{1，2，3}，{4，5}，{6，7，8}}，下列各式中（）是错的。

A 、A ⊆Φ；B 、{6，7，8}∈A ；C 、{{4，5}}⊂A ；D 、{1，2，3}⊂A 。

3．六阶群的子群的阶数可以是（）。

A 、1，2，5；B 、2，4；C 、3，6，7；D 、2，3 。

4．设B A S ⨯⊆，下列各式中（）是正确的。

A 、 domS ⊆B ； B 、domS ⊆A ；C 、ranS ⊆A ；D 、domS ⋃ ranS = S 。

5．设集合Φ≠X ，则空关系X Φ不具备的性质是（）。

A 、自反性；B 、反自反性；C 、对称性；D 、传递性。

6．下列函数中，（）是入射函数。

A 、世界上每个人与其年龄的序偶集；B 、、世界上每个人与其性别的序偶集；B 、一个作者的专著与其作者的序偶集； D 、每个国家与其国旗的序偶集。

7．><,*G 是群，则对*（）。

A 、满足结合律、交换律；B 、有单位元，可结合；C 、有单位元、可交换；D 、每元有逆元，有零元。

8．下面（）哈斯图所描述的偏序关系构成分配格。

9．下列（）中的运算符都是可交换的。

A 、→∨∧,,；B 、↔→,；C 、⨯⋂⋃,,；D 、∧∨,。

10．设G 是n 个结点、m 条边和r 个面的连通平面图，则m 等于（）。

A 、n+r-2 ；B 、n-r+2 ；C 、n-r-2 ；D 、n+r+2 。

11．n 个结点的无向完全图n K 的边数为（）。

A 、)1(+n n ；B 、2)1(+n n ；C 、)1(-n n ；D 、2)1(-n n 。

离散数学考试试题及答案

离散数学考试试题及答案一、选择题（每题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. 简述命题逻辑中的等价命题是什么？答案：等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。

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

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)b)∃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 g图17.已知有限集S={a1,a2,…,a n},N为自然数集合，R为实数集合，求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N（写出即可）(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。

离散数学题库简答题

价，试给出一个设计方案，使得各城市之间能够通信而且总造价最小。

树权C(T)=23+1+4+9+3+17=57即为总造价。

3设<Z6,+6>是一个群，这里+6是模6加法，Z6={[0 ]，[1]，[2]，[3]，[4]，[5]}，试求出<Z6,+6>的所有子群。

答: 子群有<{[0]},+6>；<{[0],[3]},+6>；<{[0],[2],[4]},+6>；<{Z6},+6>简答题834权数1，4，9，16，25，36，49，64，81，100构造一棵最优二叉树。

答: 简答题83235集合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 上的等价关系。

（6分）2）求出X 关于R 的商集。

（2分）答: 1）、1、自反性：y x y x X y x +=+>∈<∀由于,, 自反R R y 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 Xy x X y x >∈<∀>∈<∀>∈<∀332211,,,,时且当R y x y x R y x y x >>∈<><<>>∈<><<33222211,,,,,,简答题8 34⎩⎨⎧+=++=+)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 上的先等价关系。

离散数学题库简答题

离散数学简答题

简答题1．用真值表法判断下列公式的类型.（1）⌝（P∧Q）↔（⌝P∧⌝Q）（2）（P∧⌝Q）→R（3）（P→（P∨Q））∨R（4）⌝（P→Q）∧Q解：（1）⌝（P∧Q）↔（⌝P∧⌝Q）的真值表为：（2）（P∧⌝Q）→R的真值表为：（3）（P→（P∨Q））∨R的真值表为：（4）⌝（P →Q ）∧Q 的真值表为：2．用真值表的方法求（P ∨Q ）→（Q ↔R ）的主析取范式和主合取范式。

解：（P ∨Q ）→（Q ↔R ）的真值表（P ∨Q ）→（Q ↔R ）⇔ 0147m m m m ∨∨∨ 主合取范式为：（P ∨Q ）→（Q ↔R ）⇔2356M M M M ∧∧∧3．用等值演算法求（（P ∨Q ）→R ）→P 的主析取范式和主合取范式。

解：（（P ∨Q ）→R ）→P ⇔⌝（⌝（P ∨Q ）∨R ）∨P ⇔（（P ∨Q ）∧⌝R ）∨P⇔（P ∧⌝R ）∨（Q ∧⌝R ）∨P （析取范式） ⇔P ∨（Q ∧⌝R ）（析取范式）⇔（P ∧（Q ∨⌝Q ）∧（R ∨⌝R ））∨（（Q ∧⌝R ）∧（ P ∨⌝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 ） ⇔24567m m m m m ∨∨∨∨ （主析取范式）由主合取范式与主析取范式的关系得：（（P ∨Q ）→R ）→P ⇔013M M M ∧∧ （主合取范式） 4．求下列公式的主析取和合取范式。

（1）(┐P → Q)∧(P → R) （2）(P → Q)∨(P∧R) （3） P ∧Q ∨R解：（1）(┐P → Q)∧(P → R)⇔(P∨Q)∧(┐P∨R) (合取范式) ⇔((P∨Q)∨(R∧┐R ))∧((┐P∨R)∨(Q ∧┐Q ))⇔((P∨Q∨R)∧(P∨Q∨┐R ))∧((┐P ∨Q∨R)∧(┐P ∨┐Q∨R)) ⇔(P∨Q∨R)∧(P∨Q∨┐R)∧(┐P ∨Q∨R)∧(┐P ∨┐Q∨R) (主合取范式) ⇔0146M M M M ∧∧∧由主合取范式与主析取范式的关系得：(┐P → Q)∧(P → R)⇔2567m m m m ∨∨∨(主析取范式) （2）(P → Q)∨(P∧R)⇔（┐P∨Q）∨(P∧R ) ⇔(P∨┐P∨Q )∧(┐P∨Q ∨R) (合取范式)⇔(1∨Q )∧(┐P∨R∨Q )⇔┐P ∨Q∨R (主合取范式) ⇔4M由主合取范式与主析取范式的关系得： (P →Q)∨(P∧R)⇔0123567m m m m m m m ∨∨∨∨∨∨ （3） P ∧Q ∨R ⇔(P ∨R)∧(Q∨R)⇔(P ∨(Q ∧┐Q)∨R)∧((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) ⇔024M M M ∧∧ (合取范式) 由主合取范式与主析取范式的关系得：P ∧Q ∨R ⇔13567m m m m m ∨∨∨∨ (主析取范式)5.给定解释I如下：(1)D={2,3}；I(2)D中的特定元素a=2；I(3)D上的函数f(x)为f(2)=3,f(3)=2;I(4)D上的谓词F(x)为F(2)=0,F(3)=1;.IG(x,y)为G(2,2)= G(2,3)= G(3,2)=1, G(3,3)=0;L(x,y)为L(2,2)=L(3,3)=1,L(2,3)= L(3,2)= 0;在这个解释下，求下列各式的值：(1)∀x(F(x)∧G(x,a));(2) ∃x(F(f(x))∧G(x,f(x))) ；(3) ∀x∃yL(x,y);(4)∃y∀xL(x,y);(5)∀x∀y( L(x,y) →L(f(x),f(y)))解：(1) ∀x(F(x)∧G(x,a))⇔(F(2)∧G(2,2))∧(F(3)∧G(3,2))⇔(0∧1)∧(1∧1)⇔ 0(2)∃x(F(f(x))∧G(x,f(x)))⇔(F(f(2))∧G(2,f(2))) ∨ (F(f(3))∧G(3,f(3)))⇔ (F(3)∧G(2,3)) ∨ (F(3)∧G(3,3))⇔(1∧1) ∨(0∧1)⇔1(3)∀x∃yL(x,y)⇔∃yL(2,y)∧∃yL(3,y)⇔(L(2,2)∨L(2,3))∧(L(3,2)∨L(3,3))⇔1∧1⇔1(4)∃y∀xL(x,y)⇔∃y(L(2,y)∧L(3,y))⇔(L(2,2)∧L(3,2))∨ (L(2,3)∧L(3,3))⇔0 ∨ 0⇔0(5)∀x∀y( L(x,y) →L(f(x),f(y)))⇔∀y(L(2,y)→L(f(2),f(y)))∧∀y(L(3,y)→L(f(3),f(y)))⇔(L(2,2)→L(f(2),f(2)))∧(L(2,3)→L(f(2),f(3)))∧(L(3,2)→L(f(3),f(2)))∧(L(3,3)→L(f(3),f(3)))⇔(1→L(3,3))∧(0→L(3,2))∧(0→L(2,3))∧(1→L(2,2))⇔(1→1)∧(0→0)∧(0→0)(1→1)⇔06.给定解释I如下：D为实数集合R；(a)个体域I(b)D中的特定元素a=0；ID上的特定函数f(x,y)=x-y;(c)ID上的特定谓词F(x,y):x=y,G(x,y):x<y(d)I说明下列公式在I下的含义，并指出其真值。