离散数学习题练习
离散数学期末考试卷
离散数学期末考试卷一、选择题（每题2分，共20分）1. 在集合论中，下列哪个选项不是集合的基本运算？A. 并集B. 交集C. 差集D. 幂集2. 命题逻辑中，下列哪个命题不是合取命题？A. (p ∧ q)B. (p ∨ q)C. (p → q)D. (p ↔ q)3. 关系R在集合A上是自反的，这意味着：A. 对于所有a∈A，(a, a)∈RB. R是对称的C. R是传递的D. R是反对称的4. 在图论中，下列哪个不是图的基本概念？A. 顶点B. 边C. 路径D. 矩阵5. 布尔代数中，下列哪个操作不是基本操作？A. 与（AND）B. 或（OR）C. 非（NOT）D. 模（MOD）6. 函数f: A → B，下列哪个条件不是函数的一一对应的必要条件？A. 对于A中不同的元素，它们的函数值不同B. 对于B中的每个元素，A中至少有一个元素映射到它C. 对于A中的每个元素，B中只有一个元素映射到它D. A和B的元素数量相同7. 在组合数学中，下列哪个是排列的定义？A. 从n个不同元素中取出r个元素的所有可能组合B. 从n个不同元素中取出r个元素的所有可能排列C. 从n个元素中取出r个元素的所有可能组合，不考虑顺序D. 从n个元素中取出r个元素的所有可能排列，考虑顺序8. 逻辑等价是指两个命题：A. 总是同时为真或同时为假B. 在所有可能的真值分配下都具有相同的真值C. 只有在某些真值分配下具有相同的真值D. 至少在一个真值分配下具有相同的真值9. 递归函数的特点是：A. 只能通过迭代来实现B. 必须有一个或多个基本情况C. 只能通过递归调用自身来实现D. 不能包含任何循环结构10. 在证明中，归纳法的基本步骤是：A. 基础步骤和归纳步骤B. 假设步骤和证明步骤C. 假设步骤和归纳步骤D. 基础步骤和假设步骤二、填空题（每空2分，共20分）11. 集合{1, 2, 3}的幂集包含元素个数为______。
离散数学试题及答案
离散数学试题及答案一、选择题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)}。
离散数学习题
习题一
一、 将下列命题符号化： 1、蓝色和黄色可以调配成绿色。 2、蓝色和黄色都是常用的颜色。 3、 2和 5 之和是无理数。 4、 2和 5 都是有理数。 5、小丽一边吃苹果，一边看电视。 6、王大力不仅是百米冠军，而且是 500 米冠军。 7、李冰只能选学英语或只能选学法语。 8、种瓜得瓜，种豆得豆。 9、经一事，长一智，并且不经一事，不长一智。 10、 经一事，长一智，并且不长一智，不经一事。 11、 李和平是山西人或陕西人。 12、 王小红虽然没上过大学，但她自学成才。 二、 求复合命题的真值： 设 p：4 是素数，q：南京在北京的北边，r：苹果树是落叶乔木。
五、在有限个体域内消去公式中的量词：
个体域 D a,b, c
1、 xF x yGy 2、 xyFx Gy
3、 xFx yGy H y 个体域 D 1,2,3,4。
六、求前束范式：
习题二
2、若 2 是素数，则 4 不是素数。
4、除非 6 是素数，否则 4 是素数。
七、求主析取范式和主合取范式，成真赋值和成假赋值：
1、 p q r q p r 2、 p q r q 3、 p q r p q r 4、 p q q p 5、 p q p q q p
结论：r s
2、 前提： p q r, r s, s p
结论：q
3、 前提：p q r , s p, q
结论：s r
4、 前提：p r, p q, q s
结论：r s
前提：p r, p q 5、
(完整版)离散数学题目及答案
数理逻辑习题判断题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．飞碟来自地球外的星球。
离散数学习题
离散数学习题集合论1.A={?,1}，B={{a}}求A的幂集、A×B、A∪B、A+B。
2.A={1,2,3,4,5},R={(x,y)|x3.A={a,b,c},R={(a,a),(b,a)},求R-1,R2,R-I A,I A-R,r(R),s(R),t(R),st(R),ts(R)。
4.A={a,b,c},R= I A∪{(a,b),(b,a)}，求a和b关于R的等价类。
5.R是A上的等价关系，A/R={{1,2}，{3}},求A，R。
6.请分别判断以下结论是否一定成立，如果一定成立请证明，否则请举出反例。
①如果A∪B?C，则A?C或者B?C。
②如果A×B=A×C且A≠?，则B=C。
7.如果R是A上的等价关系，R2,r(R)是否一定是A上的等价关系？证明或举例。
8.已知A∩C?B∩C,A-C?B-C,证明：A?B。
9.证明：A X(B∩C)=(A X B)∩(A X C)10.证明：P(A)∪P(B)?P(A∪B)11.证明：R[sym] iff R=R-112.证明：r(R)=R∪I A,S(R)=R∪R-1,t(R)=R∪R2∪...13.证明：s(R∪S)=s(R)∪s(S)14.R是A上的关系，证明：如果R是对称的，则r(R)也是对称的。
15.I是整数集，R={(x,y)|x-y是3的倍数}，证明：R是I上的等价关系。
16.如果R是A上的等价关系，则A/R一定是A的划分。
17.R是集合A上的自反关系，S是A上的自反和对称关系，证明t(R∪S)是A上的等价关系。
18.I是正整数集合，R是I×I上的二元关系，R={<,>|xv=yu},证明：R是等价关系。
19.f:A→B，R是B上的等价关系，令S={|x∈A且y∈A且∈R}，证明：S是A上的等价关系。
20.R是集合A上的自反关系，S是A上的自反和对称关系，证明t(R∪S)是A上的等价关系。
离散数学练习题(含答案)
离散数学练习题(含答案)题目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$的最短路径可能不唯一。
离散数学-习题集
离散数学-习题集《离散数学》习题集第⼀部分判断题⼀、第⼀章—集合1、（）已知集合A的元素个数为10，则集合A的幂集的基=102。
2、（）已知两个集合A、B，若A中的元素都是B中的元素，则记为A∈B。
2、（）已知集合A的元素个数为n，则集合A的幂集P（A）的元素个数为n2。
3、( ) 已知两个集合A={Ф，{Ф}}，B={Ф}，则A∩B={Ф}。
4、（）已知两个集合A={Ф，{Ф}}，B={Ф}，则A∩B=Ф。
5、（）已知两个集合A、B，若A中的元素都是B中的元素，则记为A∈B。
6、（）已知集合A的元素个数为n，则集合A的幂集P（A）的元素个数为n2。
7、（）已知集合A的元素个数为n，则A×A的幂集的元素个数为n2。
8、（）已知两个集合A、B，则A-B是由属于B但不属于A的元素构成的集合。
⼆、第⼆章—⼆元关系1、（）若R是A上的⼆元关系，I A是A上的恒等关系，则当且仅当I A∈R时，R是A上的⾃反关系。
2、（√）若R是集合A上的⼆元关系，且当（a，b）∈R且（a，c）∈R时，就有（b，c）∈R，则R是A 上的可传递关系。
3、（）设A是集合，A1、A2、．．．A n都是A的⾮空⼦集，令S={A1，A2，．．．,A n}，则如果S是集合A的⼀个划分，那么S⼀定是集合A的⼀个完全覆盖；反之亦然。
5、（）R是⾮空集合A上的等价⼆元关系，则A关于R的商集A/R是集合A的⼀个划分，但不是A的⼀个完全覆盖。
6、（）已知集合A有4元素，易知集合A共有24个互不相同的⼦集合，所以在集合A上⼀共可定义24个互不相同的⼆元关系。
7、（）若R1和R2都是集合A上的可传递⼆元关系，则R1∪R2也是A上的传递关系。
8、（）设R是有限的⾮空集合A上的偏序关系，则A必有极⼤（⼩）元和最⼤（⼩）元。
9、（）若R1和R2都是集合A上的相容关系，则R1∩R2也是A上的相容关系。
10、（）若R1和R2都是集合A的可传递⼆元关系，则R1∩R2也是A上的传递关系。
《离散数学》典型例题
《离散数学》典型例题一、选择题1. 图1哈斯图所示的偏序集为格的是（）。
2. 设有无向图如图2，则（）是一条哈密顿回路。
A．gabcdefg B．abcdefg C．cfabcdeg D．efgabcd3. 哪个顶点可成为图3的割点？（）A. aB. bC. cD. d4. 图4中（）是欧拉图。
5.下列（）是满2元树。
二、填空题1. 设A={1,2},B={2,3},C={a,b,c}，则|(A∪B)×C|=______________________________。
2．无向完全图Kn的边数为_______________ 。
3. 给定A={1,2,3,4}，A上的关系R={<1,3>,<1,4>,<2,3>,<2,4>,<3,4>}满足的性质是_________________________。
4. 设A ={a,b,c }，F 是A 上的二元关系，F ={<a,a >,<b,b >,<c,c >}，则其自反闭包为r (F )=______________________________。
5. 设A 和B 是有穷集合，|A |=m ，|B |=n ，A 到B 有_______多少个不同一对一映射。
三、判断题1．每个正整数都可以唯一地表示为素数的乘积。
（ ）2．集合X 上的关系R 如果是自反的、反对称的、传递的则称此关系为相容关系。
（ ）3．一条基本回路一定是简单回路，但一条简单回路不一定是基本回路。
（ ）4．树是不包含回路的连通图，在（n ，m ）树中必有m=n+1（ ）5．一个有限群<G ，*>的阶n 一定被它的任一个子群的阶m 所等分。
（ ）四 、综合题1． 求公式(～P →Q) →(Q →～P)的主析取范式和主合取范式。
2. 6个人一起吃饭，围绕圆桌就餐，有多少种就座方式？如果要从4种不同的菜系中点足6道菜，问有多少种点法？3. 一个面包店里有5种不同口味的面包，要挑选8个面包，并且至少有2个奶油味面包和不超过2个咸味面包。
离散数学考试题及答案
离散数学考试题及答案一、选择题（每题5分，共20分）1. 下列哪个选项不是离散数学的研究对象？A. 图论B. 组合数学C. 微积分D. 逻辑学答案：C2. 在逻辑学中，下列哪个命题是真命题？A. 如果今天是周一，那么明天是周二。
B. 如果今天是周一，那么明天是周三。
C. 如果今天是周一，那么明天是周四。
D. 如果今天是周一，那么明天是周五。
答案：A3. 在集合论中，下列哪个符号表示集合的并集？A. ∩B. ∪C. ⊆D. ⊂答案：B4. 在图论中，下列哪个术语描述的是图中的顶点集合？A. 边B. 路径C. 子图D. 顶点答案：D二、填空题（每题5分，共20分）1. 如果一个集合A包含5个元素，那么它的子集个数是______。
答案：322. 在逻辑学中，如果命题P和命题Q都是真命题，那么复合命题“P且Q”的真值是______。
答案：真3. 在图论中，如果一个图的顶点数为n，那么它的最大边数是______。
答案：n(n-1)/24. 如果一个二叉树的深度为3，那么它最多包含______个节点。
答案：7三、简答题（每题10分，共30分）1. 请简述什么是图的连通性，并给出一个例子。
答案：图的连通性是指在图中任意两个顶点之间都存在一条路径。
例如，在一个完全图K3中，任意两个顶点之间都可以通过一条边直接连接，因此它是连通的。
2. 解释什么是逻辑蕴含，并给出一个例子。
答案：逻辑蕴含是指如果一个命题P为真，则另一个命题Q也必须为真。
例如，命题P：“如果今天是周一”，命题Q：“明天是周二”。
如果今天是周一，那么根据逻辑蕴含，明天必须是周二。
3. 请描述什么是二叉搜索树，并给出它的一个性质。
答案：二叉搜索树是一种特殊的二叉树，其中每个节点的左子树只包含小于当前节点的数，右子树只包含大于当前节点的数。
它的一个性质是中序遍历可以得到一个有序序列。
四、计算题（每题15分，共30分）1. 给定一个集合A={1, 2, 3, 4, 5}，请计算它的幂集，并列出所有元素。
离散数学试题总汇及答案
离散数学试题总汇及答案一、单项选择题（每题2分，共20分）1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中，元素(2,4)是否存在？A. 存在B. 不存在C. 无法确定D. 以上都不对2. 函数f: A→B是单射的，当且仅当对于任意的a1, a2∈A，若f(a1)=f(a2)，则a1=a2。
A. 正确B. 错误C. 无法确定D. 以上都不对3. 以下哪个命题是真命题？A. 所有的狗都会游泳。
B. 有些狗不会游泳。
C. 所有的狗都不会游泳。
D. 以上都不是真命题。
4. 如果p蕴含q为假，那么p和q的真值可以是？A. p为真，q为假B. p为假，q为真C. p为真，q为真D. p为假，q为假5. 以下哪个图是连通图？A. 一个孤立点B. 两个不相连的点C. 一个包含三个点且每对点都相连的图D. 以上都不是连通图6. 在有向图中，如果存在从顶点u到顶点v的路径，那么称v是u的后继顶点。
A. 正确B. 错误C. 无法确定D. 以上都不对7. 以下哪个等价关系是集合{1,2,3}上的？A. {(1,1), (2,2), (3,3)}B. {(1,2), (2,1), (2,2), (3,3)}C. {(1,1), (2,3), (3,2), (3,3)}D. {(1,1), (2,2), (3,3), (1,3)}8. 以下哪个命题是假命题？A. 所有的鸟都有羽毛。
B. 有些鸟不会飞。
C. 所有的哺乳动物都是温血动物。
D. 以上都不是假命题。
9. 在图论中，一个图的生成树是包含图中所有顶点的最小连通子图。
A. 正确B. 错误C. 无法确定D. 以上都不对10. 如果命题p和q互为逆否命题，那么它们具有相同的真值。
A. 正确B. 错误C. 无法确定D. 以上都不对二、填空题（每题2分，共20分）1. 集合{1,2,3}和{3,4,5}的并集是________。
2. 函数f: A→B是满射的，当且仅当对于任意的b∈B，存在a∈A，使得f(a)=________。
离散数学试题及答案解析
离散数学试题及答案解析一、选择题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，都可以通过图中的边相互到达。
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一：P121.判断下列句子哪些是命题？在是命题的句子中，哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？(1)中国有四大发明。
(2)5是无理数。
(3)3是素数或4是素数。
(4)x2+3<5，其中x是任意实数。
(5)你去图书馆吗？(6)2与3都是偶数。
(7)刘红与魏新是同学。
(8)这朵玫瑰花多美丽呀！(9)吸烟请到吸烟室去！(10)圆的面积等于半径的平方乘π。
(11)只有6是偶数，3才能是2的倍数。
(12)8是偶数的充分必要条件是8能被3整除。
(13)2025年元旦下大雪。
1、2、3、6、7、10、11、12、13是命题。
在上面的命题中，1、2、7、10、13是简单命题；1、2、10是真命题；7的真值现在还不知道。
2.将上题中是简单命题的命题符号化。
(1)p：中国有四大发明。
(2)q：5是无理数。
(7)r：刘红与魏新是同学。
(10)s：圆的面积等于半径的平方乘π。
(1)t：2025年元旦下大雪。
3.写出下列各命题的否定式，并将原命题及其否定式都符号化，最后指出各否定式的真值。
“5是有理数”的否定式是“5不是有理数”。
解：原命题可符号化为：p：5是有理数。
其否定式为：非p。
非p的真值为1。
4.将下列命题符号化，并指出真值。
(1)2与5都是素数。
(2)不但π是无理数，而且自然对数的底e也是无理数。
(3)虽然2是最小的素数，但2不是最小的自然数。
(4)3是偶素数。
(5)4既不是素数，也不是偶数。
a：2是素数。
b：5是素数。
c：π是无理数。
d：e是无理数。
f：2是最小的素数。
g：2是最小的自然数。
h：3是偶数。
i：3是素数。
j：4是素数。
k：4是偶数。
解：（1）到（5）的符号化形式分别为a∧b，c∧d，f∧非g，h∧i，非j∧非k。
这五个复合命题的真值分别为1，1，1，0，0。
5.将下列命题符号化，并指出真值。
a：2是偶数。
b：3是偶数。
c：4是偶数。
离散数学练习题(含答案)
离散数学试题第一部分选择题一、单项选择题1．下列是两个命题变元p，q的小项是（ C ）A．p∧┐p∧q B．┐p∨qC．┐p∧q D．┐p∨p∨q2．令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ D ）A．p→┐q B．p∨┐qC．p∧q D．p∧┐q3．下列语句中是命题的只有（ A ）A．1+1=10 B．x+y=10C．sinx+siny<0 D．x mod 3=24．下列等值式不正确的是（ C ）A．┐(∀x)A⇔(∃x)┐AB．(∀x)(B→A(x))⇔B→(∀x)A(x)C．(∃x)(A(x)∧B(x))⇔(∃x)A(x)∧(∃x)B(x)D．(∀x)(∀y)(A(x)→B(y))⇔(∀x)A(x)→(∀y)B(y)5．谓词公式(∃x)P(x,y)∧(∀x)(Q(x,z)→(∃x)(∀y)R(x,y,z)中量词∀x的辖域是（ C ）A．(∀x)Q(x,z)→(∃x)(∀y)R(x,y,z))B．Q(x,z)→(∀y)R(x,y,z)C．Q(x,z)→(∃x)(∀y)R(x,y,z)D．Q(x,z)6．设A={a,b,c,d}，A上的等价关系R={<a,b>,<b,a>,<c,d>,<d,c>}∪I A，则对应于R的A的划分是（ D ）A．{{a},{b,c},{d}} B．{{a,b},{c},{d}}C．{{a},{b},{c},{d}} D．{{a,b},{c,d}}7．设A={Ø}，B=P(P(A))，以下正确的式子是（ A ）A．{Ø,{Ø}}∈B B．{{Ø,Ø}}∈BC．{{Ø},{{Ø}}}∈B D．{Ø,{{Ø}}}∈B8．设X，Y，Z是集合，一是集合相对补运算，下列等式不正确的是（ A ）A．(X-Y)-Z=X-(Y∩Z)B．(X-Y)-Z=(X-Z)-YC．(X-Y)-Z=(X-Z)-(Y-Z)D．(X-Y)-Z=X-(Y∪Z)9．在自然数集N上，下列定义的运算中不可结合的只有（ D ）A．a*b=min(a,b)B．a*b=a+bC．a*b=GCD(a,b)(a,b的最大公约数)02324# 离散数学试题第1 页共4页02324# 离散数学试题 第 2 页 共4页D ．a*b=a(mod b)10.设R 和S 是集合A 上的关系,R ∩S 必为反对称关系的是( A ) A ．当R 是偏序关系,S 是等价关系; B ．当R 和S 都是自反关系; C ．当R 和S 都是等价关系; D ．当R 和S 都是传递关系11.设R 是A 上的二元关系,且R ·R ⊆R,可以肯定R 应是( D ) A ．对称关系; B ．全序关系; C ．自反关系; D ．传递关系 12．设R 为实数集，函数f ：R →R ，f(x)=2x ，则f 是（ B ） A ．满射函数 B ．单射函数 C ．双射函数 D ．非单射非满射第二部分 非选择题二、填空题1．设论域是{a,b,c}，则(∀x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ；(x ∃)S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。
离散数学练习(附答案)
选择答案在最后1. 11是（ ）的成假赋值.A.p q ∨B.p q ∨⌝C.p q ⌝∨⌝D.p q ∧2. 10是（ ）的成真赋值.A.p q ∧B.p q ∧⌝C.p q ⌝∧D.p q ⌝∧⌝3.下列语句中是命题的有（ ）.A.全体起立！B.我正在说谎.C.81x +>D.9能被2整除.E.月球上有外星人F.小王和小李是同学4.下面四组数能构成无向图的度数列的是（ ）.A.（1，1，1，1，1）B.（1，3，2，3，3）C.（9，3，3，2，2）D.（3，5，2，1，0）5.下列命题公式中与公式p q ⌝→等值的是（ ）.A.p q ∧ B.q p →⌝ C.p q ⌝↔ D.p q ∨ 6.设()F x ：x 是人，()G x :x 爱吃零食，命题“没有不爱吃零食的人”符号化为（ ）. A.()()()x F x G x ∀∧ B. ()()()x F x G x ⌝∃→⌝ C. ()()()x F x G x ⌝∃∧ D. ()()()x F x G x ∀→7.下列逻辑联结词中，优先级最高的是（ ）.A.∨B. ⌝C.↔D.→8.设R 为实数集合，函数R R f →:,2()x f x e =则f 是( ) . A.单射而非满射B.满射而非单射C.双射D.既不是单射也不是满射. 9设R 为实数集合，函数R R f →:,()26f x x =-+则f 是( ) . A.单射而非满射B.满射而非单射C.双射D.既不是单射也不是满射.10.设集合A {,,}a b c =，下列A 上关系中有传递性的是（ ）.{}A.,b c <>{}B.,,,a c c a <><> {}C.,,,,,a b b a b b <><><> {}.,,,D a c c b <><>11. 设集合A {,}a b =,A 上一共有_16_个不同的二元关系，其中反自反关系有__4__个，等价关系有__2_个.4A A {<,>,<,>,<,>,<,>},A 2a a a b b a b b ⨯=的子集是上关系，子集有＝16个 反自反中不能有〈a ，a 〉这种相等有序对等价关系看成划分，可以分成，{}{}{},a b 两种分法。
离散数学试题及答案
离散数学试题及答案一、选择题（每题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上是单调递增的。
《离散数学》试卷及答案精选全文完整版
H(x)：x是身体健康的；
S(x)：x是科学家
C(x)：x是事业获得成功的人
置换规则。
3、设集合|A|=101，S ,且|S|为奇数，则这样的S有2101/2或2100个。
4、设mi是公式G的的主析取范式中的一个极小项，则mi的对偶式不一定是（填“是”/“不是”/“不一定是” ） G的主合取范式中的一个极大项。
5、由3个元素组成的有限集上所有的等价关系有5个
6、给定解释I如下: (1) Di:={2,3}； (2) a=3； (3) 函数f(x)为f(2)=2，f(3)=3； (4) 谓词：F(x)为F(2):=1,F(3):=0;G(x,y)为当i=j时，G(i,j):=1；当i≠j时，G(i,j):=0；其中i,j=2,3;
ac>0并且cu>0
若u>0,则c>0,a>0,因此有ac>0;
若u<0,则c<0,a<0, 也有ac>0;
因此有（a+bi）R（u+vi）
所以R在C*是传递的。所以R是C*上的等价关系。
2、在一阶逻辑自然推理系统F中，构造下面推理的证明。个体域是人的集合。
“每位科学家都是勤奋的，每个勤奋又身体健康的人在事业中都会获得成功。存在着身体健康的科学家。所以，存在着事业获得成功的人。”（15分）
2.设A={1,2,3…10}，定义A上的二元关系R={<x,y>|x,y∈A∩x+y=10}，试讨论R关于关系的五个方面的性质并说明理由（5分）
解答：R={<1,9>,<9,1>,<2,8>,<8, 2 >,<3,7>,<7,3>,<4,6>,<6, 4 >,<5, 5 >}
离散数学经典测试题及答案
离散数学经典测试题及答案第一题: 命题逻辑与真值表根据下列命题符号表示的逻辑表达式，填写真值表。
1. \(p \land q\)2. \((\lnot p \lor q) \land (p \implies q)\)答案1. \(p \land q\)2. \((\lnot p \lor q) \land (p \implies q)\)第二题: 数学归纳法证明使用数学归纳法证明下列等式对于所有\(n \geq 1\)成立。
\(\sum_{i=1}^{n}(2i-1) = n^2\)证明1. 基础步骤：当\(n=1\)时，左边等式为\(1\), 右边等式为\(1^2 = 1\), 成立。
2. 归纳假设：假设当\(n=k\)时等式成立，即\(\sum_{i=1}^{k}(2i-1) = k^2\)。
3. 归纳步骤：考虑\(n=k+1\)的情况，- 左边等式为\(\sum_{i=1}^{k+1}(2i-1) = \sum_{i=1}^{k}(2i-1) + (2(k+1)-1)\)- 右边等式为\((k+1)^2 = k^2 + 2k + 1\)现在我们可以利用归纳假设，将左边等式展开：\(\sum_{i=1}^{k}(2i-1) + (2(k+1)-1) = k^2 + 2k + 1\)然后，化简左边的部分可以得到：\(k^2 + (2k - 1) + (2(k+1) - 1) = k^2 + 2k + 1\)这个等式成立，证明完毕。
第三题: 集合论给定两个集合A和B，证明下列恒等式成立：\(A \cup (B - A) = A \cup B\)证明我们可以使用集合论的定义来证明这个恒等式。
1. 证明\(A \cup (B - A) \subseteq A \cup B\)- 对于任意\(x \in A \cup (B - A)\)，有两种情况：- 如果\(x \in A\)，则\(x \in A \cup B\)，因为\(A \subseteq A \cupB\)。
(完整版)《离散数学》试题及答案解析,推荐文档
则在解释 I 下取真值为 1 的公式是( ).
(A)xyP(x,y) (B)xyP(x,y) (C)xP(x,x) (D)xyP(x,y). 6. 若供选择答案中的数值表示一个简单图中各个顶点的度，能画出图的是( ).
(A)(1,2,2,3,4,5) (B)(1,2,3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6). 7. 设 G、H 是一阶逻辑公式，P 是一个谓词，G＝xP(x), H＝xP(x),则一阶逻辑公式
(A)下界 (B)上界 (C)最小上界
(D)以上答案都不对
6
4 下列语句中，( )是命题。
5
(A)请把门关上 (B)地球外的星球上也有人 (C)x + 5 > 6 (D)下午有会吗？
3
4
2
5 设 I 是如下一个解释：D＝{a,b}, P(a, a) P(a, b) P(b, a) P(b, b)
1
1010
AB＝_________________________;A－B＝ _____________________ . 7. 设 R 是集合 A 上的等价关系，则 R 所具有的关系的三个特性是______________________,
________________________, _______________________________. 8. 设命题公式 G＝(P(QR))，则使公式 G 为真的解释有
(1)
1
4
2
3
1 0 0 0
(2)
MR
1 1
1 1
0 1
0 0
1 1 1 1
3. (1)•＝((x))＝(x)+3＝2x+3＝2x+3.