下载文档原格式
离散数学考试题及答案一、单项选择题（每题2分，共10分）1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中，元素(3,4)属于（）。
A. {1,2,3}B. {3,4,5}C. {1,2,3,4,5}D. {1,2,3}×{3,4,5}答案：D2. 命题“若x>2，则x>1”的逆否命题是（）。
A. 若x≤2，则x≤1B. 若x≤1，则x≤2C. 若x≤1，则x≤2D. 若x≤2，则x≤1答案：C3. 函数f: A→B的定义域是集合A，值域是集合B的（）。
A. 子集B. 真子集C. 任意子集D. 非空子集答案：D4. 以下哪个图是无向图（）。
A. 有向图B. 无向图C. 完全图D. 树答案：B5. 以下哪个命题是真命题（）。
A. 所有的马都是白色的B. 有些马是白色的C. 没有马是白色的D. 以上都不是答案：B二、填空题（每题2分，共10分）6. 集合{1,2,3}的子集个数为______。
答案：87. 命题“若x>0，则x>1”的逆命题是：若x>1，则______。
答案：x>08. 函数f: A→B中，若A={1,2}，B={3,4}，则f的值域可以是{3}或{4}或{3,4}，但不能是______。
答案：{1,2}9. 在有向图中，若存在从顶点A到顶点B的有向路径，则称A到B是______的。
答案：可达10. 命题逻辑中，合取（AND）的符号是______。
答案：∧三、解答题（每题15分，共30分）11. 证明：若p∧q为真，则p和q都为真。
证明：根据合取（AND）的定义，p∧q为真当且仅当p和q都为真。
因此，若p∧q为真，则p和q都为真。
12. 给定函数f: A→B，其中A={1,2,3}，B={4,5,6}，且f(1)=4，f(2)=5，f(3)=6。
请找出f的值域。
答案：根据函数的定义，f的值域是其所有输出值的集合。
因此，f的值域为{4,5,6}。
离散数学古天龙-1-4章答案P201.用枚举法写出下列集合。
○2大于5小于13的所有偶数。
A={6,8,10,12}○520的所有因数A={1,2,4,5,10,20}○6小于20的6的正倍数A={6,12,18}2.用描述法写出下列集合○3能被5整除的整数集合A{5x|x是整数}○4平面直角坐标系中单位圆内的点集A{<x,y>|x2+y2≤1}4.求下列集合的基数○19○3 1○7 3○8 210 1○6.求下列集合的幂集○6{1，{2}}解：{空集，{1}，{{2}}，{1，{2}}}○7解：{空集，{空集}，{a}，{空集，a}}○9解：{空集，{{1，2}}，{{2}}，{{1，2}，{2}}} 15.设全集U={1，2，3,4,5}，集合A={1，4}，B={1，2，5}，C={2，4}，确定下列集合。
○2{1，3,5}○3{1，4,}○8{5}○9{空集，{1}，{2}，{4}，{1，4}，{2，4}} 18.对任意集合A，B和C，证明下列各式○2（A-(BUC)）=((A-B)-C)证：（A-(BUC)）=A∩~(BUC)=A∩(~B∩~C) ((A-B)-C)=(A∩~B)∩~C=A∩~B∩~C所以（A-(BUC)）=((A-B)-C)○3（A-(BUC)）=((A-C)-B证：（A-(BUC)）=A∩~(BUC)=A∩~B∩~C ((A-C)-B)=(A∩~C)∩~B所以（A-(BUC)）=((A-C)-B○5P(A)UP(B)≤P(A UB) 原题有错（注这里○5○6中的“≤”代表包含于符号）证：任取C∈P（A）U P(B)由定义C∈P（A）或C∈P（B）若C∈P（A），则C≤A,则C≤A UB若C∈P(B)，则C≤B,则C≤A UB故C≤A UB，即C∈P(A U B) 证毕○6P(A)∩P(B)=P(A∩B)证：先证P(A)∩P(B)≤P(A∩B)任取C∈P(A)∩P(B)，且C∈P(A), C∈P(B) 由定义C≤A且C≤B,得C≤A∩B,即C∈P(A∩B) 所以P(A)∩P(B)≤P(A∩B)再证P(A∩B)≤P(A)∩P(B)任取C∈P(A∩B),即C=A∩BC≤A,且C≤B,C∈P(A)且C∈P(B)所以C∈P(A)∩P(B) 得证21.用集合表示图1.7中各阴影部分。
离散数学考试题及答案一、选择题1. 关于图论的基本概念，以下哪个说法是正确的？A. 无向图中的边无方向性，有向图中的边有方向性。
B. 有向图中的边无方向性，无向图中的边有方向性。
C. 无向图和有向图都是由顶点和边组成的。
D. 无向图和有向图都只由边组成。
答案：A2. “若顶点集合为V，边集合为E，那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述？A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案：D3. 以下哪个命题是正确的？A. 若集合A和B互相包含，则A和B相等。
B. 若集合A和B相交为空集，则A和B相等。
C. 若集合A和B相等，则A和B互相包含。
D. 若集合A和B相等，则A和B相交为空集。
答案：C二、填空题1. 有一个集合A = {1, 2, 3, 4}，则集合A的幂集的元素个数为__________。
答案：162. 设A = {a, b, c}，B = {c, d, e}，则集合A和B的笛卡尔积为__________。
答案：{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题，q、r为假命题，则合取范式(p ∨ q ∨ r)的值为__________。
答案：真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。
答案：交集：{3, 4}并集：{1, 2, 3, 4, 5, 6}差集：{1, 2}2. 计算下列命题的真值：(~p ∨ q) ∧ (p ∨ ~q)，其中p为真命题，q为假命题。
答案：真四、证明题证明：对于任意集合A和B，如果A和B互相包含，则A和B相等。
证明过程：假设A和B互相包含，即A包含于B且B包含于A。
设x为集合A中的任意元素，则x也必然存在于集合B中，即x属于B。
同理，对于集合B中的任意元素y，y也属于集合A。
离散数学考试题及答案一、选择题（每题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}，请计算它的幂集，并列出所有元素。
离散数学第一部分 数理逻辑自测题一、单选题1．下列句子中，（ ）是命题。
A ．2是常数。
B ．这朵花多好看呀！C ．请把门关上！D ．下午有会吗？2．令p : 今天下雪了，q :路滑，r :他迟到了。
则命题“下雪路滑，他迟到了” 可符号化为（ ）。
A. p q r ∧→ B. p q r ∨→ C. p q r ∧∧ D. p q r ∨↔3．令:p 今天下雪了，:q 路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ ）。
A. p q ∧⌝ B. p q ∧ C. p q ∨⌝D. p q →⌝4．设()P x :x 是鸟，()Q x :x 会飞，命题“有的鸟不会飞”可符号化为（ ）。
A. ()(()())x P x Q x ⌝∀→B. ()(()x P x ⌝∀∧())Q xC. ()(()())x P x Q x ⌝∃→D. ()(()x P x ⌝∃∧())Q x 5.设()P x :x 是整数，()f x :x 的绝对值，(,)L x y ：x 大于等于y ；命题“所有整数的绝对值大于等于0”可符号化为（ ）。
A. (()((),0))x P x L f x ∀∧ B. (()((),0))x P x L f x ∀→ C. ()((),0)xP x L f x ∀∧ D. ()((),0)xP x L f x ∀→ 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. ()p q p →→B. ()p q p →→C. ()p q p ⌝∨→D. ()p q p →∨8．设()R x :x 为有理数；()Q x :x 为实数。
《离散数学》试题含答案⼀、填空题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. 试述命题逻辑中的等价关系和蕴含关系。
答案：命题逻辑中的等价关系是指两个命题在所有可能的真值赋值下都具有相同的真值。
若命题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而小于等于9的整数” 集合．{3,4,5,6,7,8,9}。
2．用描述法表示 “小于5的非负整数集合” 集合．{x ∣x ∈Z ∧0≤x ≤5}。
3．写出集合B ={1, {2, 3 }}的全部子集．{ }，{1}，{{2, 3 }}，{1, {2, 3 }}。
4．求集合A ={∅∅,{}}的幂集．Φ，{Φ}，{{Φ}}，{Φ，{Φ}}。
5．设集合A ={{a }, a }，命题：{a }⊆P (A ) 是否正确，说明理由．错误。
P(A)中无元素a 。
6．设A B C ==={,,},{,,},{,,},123135246求(1)A B ⋂ (2)A B C ⋃⋃(3)C - A (4)A B ⊕（1）{3}；（2）{1，2，3，4，5，6}；（3）{4，6}；（4）{2，5}。
7．化简集合表示式：((A ⋃B )⋂B ) - A ⋃B ．((A ∪B )∩ B) - A ∪B =（ B - A ）∪B = （B ∩～ A ）∪B = B 。
8．设A , B , C 是三个任意集合，试证： A - (B ⋃C ) = (A - B ) - C ．A -(B ∪C) = A ∩～(B ∪C) = A ∩～B ∩～C = (A - B)–C 。
9．填写集合{4, 9 }⊂{9, 10, 4}之间的关系．10．设集合A = {2, a , {3}, 4}，那么下列命题中错误的是（ A ）．A ．{a }∈AB ．{ a , 4, {3}}⊆AC ．{a }⊆AD ．∅⊆A11．设B = { {a }, 3, 4, 2}，那么下列命题中错误的是（ B ）．A ．{a }∈B B ．{2, {a }, 3, 4}⊆BC ．{a }⊆BD ．{∅}⊆B第2章 关系与函数1．设集合A = {a , b }，B = {1, 2, 3}，C = {3, 4}，求 A ⨯(B ⋂C )，(A ⨯B )⋂(A ⨯C ) ，并验证A ⨯(B ⋂C ) = (A ⨯B )⋂(A ⨯C )．A ×(B ∩C ) = {a, b}×{3} = {<a,3>,<b,3>}；（A ×B ）∩（A ×C ）= {<a,1>,<a,2>,<a,3>,<b,1>,<b,2>,<b,3>}∩{<a,3>,<a,4>,<b,3><b,4>}={<a,3>,<b,3>}验证了A ×(B ∩C ) =（A ×B ）∩（A ×C ）。
离散数学考试题及答案一、选择题（每题2分，共20分）1. 在集合论中，下列哪个符号表示属于关系？A. ∈B. ∉C. ⊆D. ∩答案：A2. 对于命题逻辑，下列哪个是真值表的表示方法？A. 真值表B. 逻辑图C. 布尔代数D. 集合论答案：A3. 以下哪个是图论中的基本单位？A. 点B. 线C. 面D. 体答案：A4. 函数f(x) = x^2 + 3x + 2在x=-1处的值是：A. 0C. 4D. 6答案：C5. 在关系数据库中，以下哪个操作用于删除表中的记录？A. SELECTB. INSERTC. UPDATED. DELETE答案：D6. 以下哪个是离散数学中的归纳法证明方法？A. 直接证明法B. 反证法C. 归纳法D. 构造性证明法答案：C7. 在逻辑中，以下哪个是析取命题？A. P ∧ QB. P ∨ QC. ¬PD. P → Q答案：B8. 以下哪个是图的遍历算法？B. BFSC. Dijkstra算法D. Floyd算法答案：B9. 在集合{1, 2, 3}上，以下哪个是幂集？A. {∅, {1}}B. {1, 2}C. {1, 2, 3}D. 所有选项答案：D10. 以下哪个是递归算法的特点？A. 不能自我调用B. 必须有一个终止条件C. 必须有一个基本情况D. 所有选项答案：D二、填空题（每空2分，共20分）1. 在离散数学中，_________ 表示一个命题的否定。
答案：¬P2. 如果集合A和集合B的交集为空集，那么A和B被称为_________。
答案：不相交3. 一个函数f: A → B是_________，如果对于集合B中的每个元素b，集合A中至少有一个元素a与之对应。
答案：满射4. 在图论中，一个没有环的连通图被称为_________。
答案：树5. 一个命题逻辑公式是_________，如果它在所有可能的真值分配下都是真的。
答案：重言式6. 一个关系R在集合A上是_________，如果对于A中的任意两个元素a和b，如果(a, b)属于R，则(b, a)也属于R。
华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题（1）设：p：派小王去开会。
q：派小李去开会。
则命题：“派小王或小李中的一人去开会”可符号化为：(p∨⌝q) ∧ (⌝p∨q) 。
（2）设A，B都是命题公式，A⇒B，则A→B的真值是T。
（3）设：p：刘平聪明。
q：刘平用功。
在命题逻辑中，命题：“刘平不但不聪明，而且不用功”可符号化为：p∧q。
（4）设A , B 代表任意的命题公式，则蕴涵等值式为A → B⇔⌝A∨B。
（5）设，p：径一事；q：长一智。
在命题逻辑中，命题：“不径一事，不长一智。
”可符号化为：⌝ p→⌝q 。
（6）设A , B 代表任意的命题公式，则德•摩根律为⌝（A ∧ B）⇔⌝A ∨⌝B）。
（7）设，p：选小王当班长；q：选小李当班长。
则命题：“选小王或小李中的一人当班长。
”可符号化为：(p∨⌝q) ∧ (⌝p∨q) 。
（8）设，P：他聪明；Q：他用功。
在命题逻辑中，命题：“他既聪明又用功。
”可符号化为：P∧Q 。
（9）对于命题公式A，B，当且仅当 A → B 是重言式时，称“A蕴含B”，并记为A⇒B。
（10）设：P：我们划船。
Q：我们跑步。
在命题逻辑中，命题：“我们不能既划船又跑步。
”可符号化为：⌝ (P∧Q) 。
（11）设P , Q是命题公式，德·摩根律为：⌝（P∨Q）⇔⌝P∧⌝Q）。
（12）设P：你努力。
Q：你失败。
在命题逻辑中，命题：“除非你努力，否则你将失败。
”可符号化为：⌝P→Q。
（13）设p：小王是100米赛跑冠军。
q：小王是400米赛跑冠军。
在命题逻辑中，命题：“小王是100米或400米赛跑冠军。
”可符号化为：p∨q。
（14）设A，C为两个命题公式，当且仅当A→C为一重言式时，称C可由A逻辑地推出。
二．判断题1.设A，B是命题公式，则蕴涵等值式为A→B⇔⌝A∧B。
（⨯）2.命题公式⌝p∧q∧⌝r是析取范式。
（√）3.陈述句“x + y > 5”是命题。
离散数学考试试题及答案一、单项选择题（每题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)。
形考任务一至四题目随机抽题，可用快捷方式Ctrl+F查询,查询技巧：以“中文字”作为关键字查询，不建议以“英文、公式、符号”为关键字查询。
复制（Ctrl+C）题目，粘贴（Ctrl+V)形考任务一若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )．选择一项：A. {a，{ a }} AB. {2} AC. { a } AD. A反馈正确答案是：{ a } A若集合A的元素个数为10，则其幂集的元素个数为（）．A. 100B. 1C. 1024D. 10反馈正确答案是：1024设A={1, 2, 3, 4, 5, 6, 7, 8}，R是A上的整除关系，B={2, 4, 6}，则集合B的最大元、最小元、上界、下界依次为( )．选择一项：选择一项：A. 极大元B. 最小元C. 极小元D. 最大元反馈正确答案是：极大元设A={a，b，c}，B={1，2}，作f：A→B，则不同的函数个数为（）．选择一项：A. 3B. 6C. 8D. 2反馈正确答案是：8设集合A={1, 2, 3}，B={3, 4, 5}，C={5, 6, 7}，则A∪B–C =( )．选择一项：A. {1, 2, 3, 5}B. {2, 3, 4, 5}C. {4, 5, 6, 7}D. {1, 2, 3, 4}反馈正确答案是：{1, 2, 3, 4}设集合A={2, 4, 6, 8}，B={1, 3, 5, 7｝，A到B的关系R={<x, y>| y = x +1｝，则R= ( )．选择一项：正确答案是：对称的设集合A={1，2，3，4，5}，偏序关系是A上的整除关系，则偏序集<A，>上的元素5是集合A的（）．选择一项：A. 极小元B. 极大元C. 最小元D. 最大元反馈正确答案是：极大元设A={a，b，c}，B={1，2}，作f：A→B，则不同的函数个数为（）．选择一项：A. 3B. 8C. 2D. 6反馈正确答案是：8若集合A的元素个数为10，则其幂集的元素个数为（）．选择一项：A. 1B. 100C. 10D. 1024反馈正确答案是：1024如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．B. 1C. 3D. 2反馈正确答案是：2设集合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. 自反反馈正确答案是：对称设A={a，b}，B={1，2}，C={4，5}，从A到B的函数f={<a，1>, <b，2>}，从B到C的函数g={<1，5>, <2，4>}，则下列表述正确的是（）．选择一项：A. f°g ={<5，a >, <4，b >}B. f°g ={<a，5>, <b，4>}C. g° f ={<a，5>, <b，4>}D. g° f ={<5，a >, <4，b >}反馈正确答案是：g° f ={<a，5>, <b，4>}设函数f：N→N，f(n)=n+1，下列表述正确的是（）．选择一项：A. f是双射的B. f是满射的C. f是单射函数D. f存在反函数反馈正确答案是：f是单射函数若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是（）．B. {1，2} AC. {a，{a}} AD. {a} A反馈正确答案是：{a} A若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )．选择一项：A. AB. {2} AC. {a，{ a }} AD. { a } A反馈正确答案是：{ a } A若集合A的元素个数为10，则其幂集的元素个数为（）．A. 1B. 10C. 1024D. 100反馈正确答案是：1024设A、B是两个任意集合，则A-B = ( )．选择一项：A. A BC. B =D. A B反馈正确答案是：A B设集合A={a}，则A的幂集为( )．选择一项：C. {，a}正确答案是：{，{a}}设A、B是两个任意集合，则A-B = ( )．选择一项：A. A BC. B =D. A B反馈正确答案是：A B设集合A = {1, 2, 3, 4, 5}上的偏序关系的哈斯图如图所示，若A的子集B = {3, 4, 5}，则元素3为B的（）．选择一项：A. 最小上界B. 下界C. 最小元D. 最大下界反馈正确答案是：最小上界设集合A = {1, a }，则P(A) = ( )．选择一项：A. {,{1}, {a}, {1, a }}B. {,{1}, {a}}反馈正确答案是：{,{1}, {a}, {1, a }}设集合A={2, 4, 6, 8}，B={1, 3, 5, 7｝，A到B的关系R={<x, y>| y = x +1｝，则R= ( )．正确答案是：{<2, 3>, <4, 5>, <6, 7>}集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, y A}，则R的性质为（）．选择一项：A. 不是自反的B. 传递的C. 反自反D. 不是对称的反馈正确答案是：传递的设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、1反馈正确答案是：无、2、无、2设集合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. g◦gC. f◦gD. g◦f反馈正确答案是：f◦g若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是（）．选择一项：A. {1，2} AB. {a，{a}} AC. AD. {a} A反馈正确答案是：{a} A若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．选择一项：A. A B，且A BB. A B，且A BC. A B，且A BD. B A，且A B反馈正确答案是：A B，且A B集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={<x，y>|x+y=10且x, y A}，则R的性质为（）．选择一项：A. 传递且对称的B. 自反的C. 反自反且传递的D. 对称的反馈正确答案是：对称的设A={a，b}，B={1，2}，C={4，5}，从A到B的函数f={<a，1>, <b，2>}，从B到C的函数g={<1，5>, <2，4>}，则下列表述正确的是（）．选择一项：A. f°g ={<5，a >, <4，b >}C. g° f ={<5，a >, <4，b >}D. g° f ={<a，5>, <b，4>}反馈正确答案是：g° f ={<a，5>, <b，4>}设函数f：N→N，f(n)=n+1，下列表述正确的是（）．选择一项：A. f是满射的B. f是双射的C. f存在反函数D. f是单射函数反馈正确答案是：f是单射函数设集合A={1, 2, 3}，B={3, 4, 5}，C={5, 6, 7}，则A∪B–C =( )．选择一项：A. {4, 5, 6, 7}B. {1, 2, 3, 5}C. {1, 2, 3, 4}D. {2, 3, 4, 5}反馈正确答案是：{1, 2, 3, 4}设集合A={a}，则A的幂集为( )．选择一项：B. {，a}D. {，{a}}反馈正确答案是：{，{a}}集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, y A}，则R的性质为（）．选择一项：A. 传递的C. 不是自反的D. 反自反反馈正确答案是：传递的设A={1, 2, 3, 4, 5, 6, 7, 8}，R是A上的整除关系，B={2, 4, 6}，则集合B的最大元、最小元、上界、下界依次为( )．选择一项：正确答案是：无、2、无、2设集合A={1，2，3，4，5}，偏序关系是A上的整除关系，则偏序集<A，>上的元素5是集合A的（）．选择一项：A. 最大元B. 极大元C. 最小元D. 极小元反馈正确答案是：极大元设集合A = {1, a }，则P(A) = ( )．选择一项：A. {,{1}, {a}}B. {,{1}, {a}, {1, a }}正确答案是：{,{1}, {a}, {1, a }}如果R和R是A上的自反关系，则R∪R，R∩R，R-R中自反关系有（）个．A. 3C. 2D. 1反馈正确答案是：2设集合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. 自反反馈正确答案是：对称设函数f：N→N，f(n)=n+1，下列表述正确的是（）．选择一项：A. f是双射的B. f是单射函数C. f存在反函数D. f是满射的反馈正确答案是：f是单射函数若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．选择一项：A. A B，且A BB. A B，且A BC. B A，且A BD. A B，且A B反馈正确答案是：A B，且A B若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )．选择一项：A. {a，{ a }} AC. AD. {2} A反馈正确答案是：{ a } A设集合A={2, 4, 6, 8}，B={1, 3, 5, 7｝，A到B的关系R={<x, y>| y = x +1｝，则R= ( )．A. {<2, 1>, <4, 3>, <6, 5>}B. {<2, 2>, <3, 3>, <4, 6>}C. {<2, 3>, <4, 5>, <6, 7>}D. {<2, 1>, <3, 2>, <4, 3>}反馈正确答案是：{<2, 3>, <4, 5>, <6, 7>}如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．选择一项：A. 0B. 1C. 3D. 2反馈正确答案是：2设集合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. g◦fB. f◦fC. g◦gD. f◦g反馈正确答案是：f◦g设集合A={1, 2, 3}，B={2, 3, 4}，C={3, 4, 5}，则A∩(C-B )= {1, 2, 3, 5}．（）选择一项：错反馈正确的答案是“错”。
可编辑修改精选全文完整版绪论单元测试1【多选题】(100分)本教材的《离散数学》有下列（）内容.A.初等数论B.图论基础C.代数结构D.命题逻辑与谓词逻辑E.组合计数F.集合与关系第一章测试1【单选题】(10分)设，则有两个块的划分有（）种.A.6B.8C.5D.72【单选题】(10分)设，则=().A.B.C.D.3【单选题】(10分)设是正整数,定义Z上模加法运算“”和模乘法运算“”如下：对于任意,，则()A.B.C.D.4【单选题】(10分)令,若是单射,则().A.是满射B.是单射C.是满射D.是单射5【单选题】(10分)函数的复合运算“”满足()A.消去律B.交换律C.结合律D.幂等律6【单选题】(10分)设N是自然数集，对于任意,定义N到N的对应关系如下:对于任意，,则()A.不是函数B.仅是单射C.仅是满射D.是双射7【单选题】(10分)设,则可定义到的函数()个。
A.6B.8C.2D.38【单选题】(10分)设,则=().A.B.C.D.9【单选题】(10分)设集合中有个元素，则的子集有()个.A.B.C.D.10【单选题】(10分)设,下列()是的.A.B.C.D.第二章测试1【单选题】(10分)设={1,2,3},上二元关系={(1,1)，(2,2),(1,3)}，则关系的对称闭包是()A.B.C.D.2【单选题】(10分)设,是上恒等关系，要使为上的等价关系,应取().A.B.C.D.3【单选题】(10分)设和是集合上的相容关系，下列关于复合关系的说法正确的是()A.一定不是相容关系B.一定是等价关系C.一定是相容关系D.可能是也可能不是相容关系4【单选题】(10分)设偏序集的哈斯图见下图,的上确界和下确界分别为().A.B.C.D.5【单选题】(10分)若,则上的关系共有()个.A.8B.32C.16D.46【单选题】(10分)设={0,1,2,3,4}，上的关系，则=().A.{(0,0),(1,0),(1,2),(2,1),(2,4),(3,2),(4,3)}B.{(0,1),(2,1),(2,3),(3,4)}C.{(0,0),(0,1),(1,2),(2,1),(2,3),(2,4),(3,4)}D.{(0,1),(1,2),(2,1),(2,3),(2,4),(3,4)}7【单选题】(10分)设，则下述结论正确的是().A.若和是自反的，则是自反的.B.若和是对称的，则是对称的.C.若和是传递的，则是传递的.D.若和是反对称的，则是反对称的.8【单选题】(10分)设，上二元关系的关系图如下,具有的性质是（）A.反自反性B.对称性C.自反性D.传递性9【单选题】(10分)设集合={1,2,3,4,5}上的关系，则的性质是().A.自反的B.对称的C.反自反的、传递的D.对称的、传递的10【单选题】(10分)设,上关系，则的运算结果是（）.A.B.C.D.第三章测试1【单选题】(10分)下列语句()是命题.A.B.中国碳基半导体芯片领先世界.C.什么是区块链技术?D.玩《王者荣耀》网络游戏时间过得好快！2【单选题】(10分)“很多人都喜欢骑自行车”的否定是（）A.有些人不喜欢骑自行车B.并不是很多人都喜欢骑自行车C.很多人不喜欢骑自行车D.少数人喜欢骑自行车3【单选题】(10分)设：我们游泳，：我们玩游戏,则命题“我们不能既游泳又玩游戏”符号化为()A.B.C.D.4【单选题】(10分)下列命题公式()是永真式.A.B.C.D.5【单选题】(10分)命题公式与()等值.A.B.C.D.6【单选题】(10分)下列()组命题公式是等值的.A.B.C.D.7【单选题】(10分)命题公式的主合取范式为().A.B.C.D.8【单选题】(10分)下面()是功能完备联接词集合.A.B.C.D.9【单选题】(10分)对于命题公式，则由可得出().A.B.C.D.10【单选题】(10分)对于命题公式，则由可得出().A.B.C.D.第四章测试1【单选题】(10分)有和可推出().A.B.C.D.2【单选题】(10分)的前束范式为A.B.C.D.3【单选题】(10分)在谓词逻辑中，下列各式中正确的是().A.B.C.D.4【单选题】(10分)谓词公式是().A.中性式B.永真式C.无法确定D.永假式5【单选题】(10分)设个体域是整数集Z，则下列命题（）的真值为真.A.B.C.D.6【单选题】(10分)设是实数，，则“不存在最大实数”可符号化为().A.B.C.D.7【单选题】(10分)令是金子，是闪光的，则命题“闪光的未必是金子”符号化为().A.B.C.D.8【单选题】(10分)令是老虎，要吃人,将“凡是老虎都是要吃人的”符号化为().A.B.C.D.9【单选题】(10分)谓词公式中的().A.既是约束变元又是自由变元B.既非约束变元又非自由变元C.只是约束变元D.只是自由变元10【单选题】(10分)谓词公式中量词的辖域为（）A.B.C.D.第五章测试1【判断题】(10分)对于整除关系“|”，有0|0.A.对B.错2【单选题】(10分)下列()是15的所有因数集合.A.{-15,-5,-3,-1,1,3,5,15}B.{-15,-5,-3,-1}C.{-5,-3,-1,1,3,5}D.{1,3,5,15}3【单选题】(10分)下述()是正确的.A.7(mod6)=3B.-7(mod6)=5C.-49(mod6)=1D.58(mod6)=24【单选题】(10分)对于正整数，用表示小于等于且与互素的正整数个数，则=().A.2B.3C.4D.15【单选题】(10分)对于正整数，用表示小于等于且与互素的正整数个数.对于不同素数和，下面()是正确的.A.B.C.D.6【单选题】(10分)设是素数，则关于模乘法运算“”().A.每个元素都有逆元B.每个元素都没有逆元C.每个非零元素都有逆元D.每个非零元素都没有逆元7【单选题】(10分)gcd(2035,2019)=().A.19B.35C.2D.18【单选题】(10分)下列各式中，()为真.A.445≡536(mod18).B.446≡278(mod7).C.383≡126(mod15).D.2019≡1883(mod17).9【单选题】(10分)线性同余方程3≡5(mod8)的解为=().A.5B.3C.7D.810【单选题】(10分)线性同余方程的解为=().A.8,6B.1,4C.8,2D.2,6第六章测试1【单选题】(10分)5阶完全无向图的边有()条.A.20B.5C.10D.2【单选题】(10分)无向图有6条边，各有一个3度和5度节点，其余均为2度节点，则的阶数为().A.4B.5C.3D.63【单选题】(10分)3阶完全无向图的不同构的生成子图有()A.5B.4C.3D.4【单选题】(10分)一个简单无向图图,若,则称为自补图.下列()是自补图.A.B.C.D.5【单选题】(10分)在下图中，节点到节点的所有路径有()条.A.7B.6C.8D.56【单选题】(10分)下图的点连通度为().A.5B.4C.3D.27【单选题】(10分)下列各有向图（）是强连通图.A.B.C.D.8【单选题】(10分)有向图是单向连通图当且仅当（）.A.中有通过每个节点至少一次的回路B.中至少有一条回路C.中至少有一条路D.中有通过每个节点至少一次的路9【单选题】(10分)设有向图，，若的邻接矩阵,则的出度和入度分别为().A.3,3B.2,4C.2,3D.1,210【单选题】(10分)在下图中，到的最短路径的权是().A.13B.15C.17D.11第七章测试1【单选题】(10分)下图的节点着色数().A.2B.4C.5D.32【单选题】(10分)捕获6名间谍会汉语、法语和日语,会德语、日语和俄语,会英语和法语,会汉语和西班牙语,会英语和德语,会俄语和西班牙语.将这6人用两个房间和监禁可以使得在同一房间里的任意两人不能相互直接交谈,这时().A.B.C.D.3【单选题】(10分)设是连通平面图，中有7个节点3个面，则的边数是().A.8B.6C.9D.74【单选题】(10分)一棵树有3个5度点、1个4度点、3个2度点，其它的点都是1度，那么它的边数是（）A.19B.C.17D.205【单选题】(10分)下面边赋权图的最小生成树的权为().A.41B.39C.40D.38【单选题】(10分)从6阶完全无向图至少要删除()条边可得到其生成树.A.5B.6C.15D.107【单选题】(10分)不同构的5阶无向树有()棵.A.3B.2C.4D.58【单选题】(10分)设是阶简单无向图，则下列说法不正确的是().A.若是欧拉图，则中必有桥B.若是无向树，则其边数等于C.若中任意一对顶点的度数之和大于等于，则中有Hamilton路D.若中有欧拉路，则是连通图且有零个或两个奇度数顶点9【单选题】(10分)下面既是汉密尔顿图又是欧拉图的图形是().A.B.C.D.10【单选题】(10分)下列图（）是欧拉图.A.B.C.D.第八章测试1【单选题】(10分)将四个人分成两个组，有()种不同的分组方法.A.5B.4C.7D.62【单选题】(10分)在平面上15个点，且任意三个点都不在同一条直线上，通过这些点可以得到()个位置不同的三角形.A.B.C.D.3【单选题】(10分)6个人围圆桌有()就座方式.A.6!B.6·5!C.5!D.4!4【单选题】(10分)五男五女圆桌交替就座的方式有()种.A.4!5!B.5!C.4!D.5!6!5【单选题】(10分)在平面上15个点，且任意三个点都不在同一条直线上，通过这些点可以确定()条不同直线.A.21B.105C.35D.156【单选题】(10分)现有黄球两只，白球和红球各一只，共有()种不同的选球方式.A.12B.9C.10D.117【单选题】(10分)有六个数字，其中三个1，两个2，一个3，能组成四位数的个数为().A.40B.38C.37D.398【单选题】(10分)某人举步上楼梯，每步跨1个台阶或2个台阶，设上个台阶的不同方式数为，则().A.初始条件为,递归关系为.B.初始条件为,递归关系为.C.初始条件为,递归关系为.D.初始条件为,递归关系为.9【单选题】(10分)设平面上有条直线，其中无两线平行也无三线共点，用表示平面被这条直线分成的连通区域，则().A.B.C.D.10【单选题】(10分)在初始条件下，递归关系的解为().A.B.C.D.第九章测试1【单选题】(10分)Z为整数集,为的幂集为,为数的加、减、除运算,∩为集合的交运算，下列()是代数结构.A.B.C.D.2【单选题】(10分)下列集合关于运算“*”，()是群.A.=Q,“*”是数的乘法.B.={0,1,3,5},“*”是模7加法.C.={1,3,4,5,9},“*”是模11乘法.D.=Z,“*”是数的减法.3【单选题】(10分)在群中,元素2的阶为().A.2B.4C.3D.64【单选题】(10分)设i是虚数，·是复数乘法运算，则={1,-1,i,-i}关于·构成群，下列()是的子群.A.B.C.D.5【单选题】(10分)设是群，且，则下列()命题是不成立的.A.中有幺元B.中任一元素有逆元C.中有零元D.中除了幺元外无其他元素满足6【单选题】(10分)设是有限循环群，则下列说法不正确的是A.设是的生成元，则对任意正整数，存在正整数使B.中存在一元素，使中任意元素都是的某整数方幂组成C.有限循环群中的运算满足交换律D.的生成元是唯一的7【单选题】(10分)半群、群及独异点的关系是（）.A.{独异点}⊂{半群}⊂{群}B.{半群}⊂{群}⊂{独异点}C.{群}⊂{独异点}⊂{半群}D.{独异点}⊂{群}⊂{半群}8【单选题】(10分)域与整环的关系为().A.域不是整环B.域是整环C.整环不是域D.整环是域9【单选题】(10分)下列四个格中，()是分配格.A.B.C.D.。
离散数学考试试题及答案离散数学是一门涉及离散结构和逻辑推理的数学学科。
它在计算机科学、信息技术和其他领域中具有重要的应用价值。
离散数学考试试题涵盖了离散数学的各个方面，包括集合论、图论、逻辑、代数结构等。
本文将为大家提供一些离散数学考试试题及答案，希望能帮助大家更好地理解和掌握这门学科。
一、集合论1. 设A={1,2,3,4,5}，B={3,4,5,6,7}，求A与B的交集、并集和差集。
答案：A与B的交集为{3,4,5}，并集为{1,2,3,4,5,6,7}，A与B的差集为{1,2}。
2. 设集合A={x|x是正整数，1≤x≤10}，B={x|x是偶数，2≤x≤8}，求A与B的笛卡尔积。
答案：A与B的笛卡尔积为{(1,2),(1,4),(1,6),(1,8),(2,2),(2,4),(2,6),(2,8),...,(10,2),(10,4),(10,6),(10,8)}。
二、图论1. 给定图G，其邻接矩阵如下：| 0 1 1 0 || 1 0 0 1 || 1 0 0 1 || 0 1 1 0 |判断图G是否是连通图，并给出其连通分量。
答案：图G是连通图，其连通分量为{1,2,3,4}。
2. 给定图G，其邻接表如下：| 1 | 2 || 3 | 2 4 || 4 | 3 |判断图G是否是树，并给出其生成树。
答案：图G是树，其生成树为{1-2, 2-3, 3-4}。
三、逻辑1. 判断命题逻辑公式((p∨q)→r)∧(¬p∨¬q)的真值。
答案：命题逻辑公式((p∨q)→r)∧(¬p∨¬q)的真值为真。
2. 判断命题逻辑公式∀x(P(x)∧Q(x))→(∀xP(x)∧∀xQ(x))的真值。
答案：命题逻辑公式∀x(P(x)∧Q(x))→(∀xP(x)∧∀xQ(x))的真值为假。
四、代数结构1. 设集合S={0,1,2,3,4}，定义运算*如下：a*b = (a+b)%5其中%表示取余运算。
离散数学考试试题及答案一、选择题（每题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. 简述命题逻辑中的等价命题是什么？答案：等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。
《离散数学1-4-5章》练习题第1章集合1、在0（）Φ之间写上正确的符号。
(1) = (2) ⊆(3) ∈(4) ∉2、若集合S的基数|S|=5，则S的幂集的基数|P(S)|=（）。
3、设P={x|(x+1)2≤4且x∈R},Q={x|5≤x2+16且x∈R},则下列命题哪个正确（） (1) Q⊂P (2) Q⊆P (3) P⊂Q (4) P=Q4、若A-B=Ф，则下列哪个结论不可能正确？( )(1) A=Ф (2) B=Ф(3) A⊂B (4) B⊂A5、判断下列命题哪几个为正确？( )(1) {Ф}∈{Ф,{{Ф}}} (2) {Ф}⊆{Ф,{{Ф}}} (3) Ф∈{{Ф}}(4) Ф⊆{Ф} (5) {a,b}∈{a,b,{a},{b}}6、设Ａ，Ｂ，Ｃ是三个集合，证明：a、A⋂ (B－C)＝(A⋂B)－(A⋂C)b、(A－B)⋃(A－C)=A－(B⋂C)第4章关系1、设Ａ＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B的关系Ｒ＝｛〈x,y〉|x=y2｝，求R 和R-1的集合表示和关系矩阵表示。
2、设S={１,２,３,４}，Ａ上的关系Ｒ＝｛〈1,2〉，〈2,1〉，〈2,3〉，〈3,4〉｝求(1)R R (2) R-1。
3、设Ａ＝｛1，2，3，4，5，6｝，Ｒ是A上的整除关系，求R= {( )}。
4、设A={1,2,3},写出下列图示关系的关系矩阵，并讨论它们的性质：5、R是A={1,2,3,4,5,6}上的等价关系，R=I⋃{<1,5>,<5,1>,<2,4>,<4,2>,<3,6>,<6,3>}A求R诱导的划分。
6．画出下列集合关于整除关系的哈斯图.(1){1, 2, 3, 4, 6, 8, 12, 24}.(2){1,2,…..,9}.并指出它的极小元，最小元，极大元，最大元。
第5章函数1.设A＝{1，2，3}，B＝{a，b，c}，确定下列关系是否为从A到B的函数，为什么？如果是函数，是单射、满射还是双射，并指出其定义域和值域。
《离散数学》题库答案第2，3章(数理逻辑)1.答：（2），（3），（4）2.答：（2），（3），（4），（5），（6）3.答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是4.答：（1）P↔（4）QP→⌝P⌝Q→⌝（2）QP⌝→（3）Q5.答：（1）6.答：2不是偶数且-3不是负数。
7.答：（2）8.答：⌝P ，Q→P9.答：P(x)∨∃yR(y)10.答：⌝∀x(R(x)→Q(x))11、a、(P→Q)∧R解：(P→Q)∧R⇔(⌝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)⇔m3∨ m1∨m7 （主析取范式）⇔m1∨ m3∨m7⇔M0∧M2∧M4∧M5∧M6 （主合取范式）b、Q→(P∨⌝R)解：Q→(P∨⌝R)⇔⌝Q∨P∨⌝R⇔M5（主合取范式）⇔ m0∨ m1∨ m2∨m3∨ m4∨m6 ∨m7 （主析取范式）c、P→(P∧(Q→P))解：P→(P∧(Q→P))⇔⌝P∨(P∧(⌝Q∨P))⇔⌝P∨P⇔ 1 (主合取范式)⇔ m0∨ m1∨m2∨ m3 （主析取范式）d、P∨(⌝P→(Q∨(⌝Q→R)))解：P∨(⌝P→(Q∨(⌝Q→R)))⇔ P∨(P∨(Q∨(Q∨R)))⇔ P∨Q∨R⇔ M0 (主合取范式)⇔ m1∨ m2∨m3∨ m4∨ m5∨m6 ∨m7 (主析取范式)12、a、P→Q，⌝Q∨R，⌝R，⌝S∨P=>⌝S证明：(1) ⌝R 前提(2) ⌝Q∨R 前提(3)⌝Q （1），（2）析取三段论(4) P→Q 前提(5)⌝P （3），（4）拒取式(6)⌝S∨P 前提(7) ⌝S （5），（6）析取三段论b、P→(Q→R)，R→(Q→S) => P→(Q→S)证明：（1） P 附加前提（2） Q 附加前提（3） P→(Q→R) 前提（4） Q→R （1），（3）假言推理（5） R （2），（4）假言推理（6） R→(Q→S) 前提（7） Q→S （5），（6）假言推理（8） S （2），（7）假言推理c、A，A→B， A→C， B→(D→⌝C) => ⌝D证明：（1） A 前提（2） A→B 前提（3） B (1)，(2) 假言推理（4） A→C 前提（5） C (1)，(4) 假言推理（6） B→(D→⌝C) 前提（7） D→⌝C (3)，(6) 假言推理（8）⌝D (5)，(7) 拒取式d、P→⌝Q，Q∨⌝R，R∧⌝S⇒⌝P证明、(1) P 附加前提（2） P→⌝Q 前提（3）⌝Q （1），（2）假言推理（4） Q∨⌝R 前提(5) ⌝R （3），（4）析取三段论(6 ) R∧⌝S 前提（7） R （6）化简（8） R∧⌝R 矛盾（5），（7）合取所以该推理正确13.写出∀x(F(x)→G(x))→(∃xF(x) →∃xG(x))的前束范式。
解：原式⇔∀x(⌝F(x)∨G(x))→(⌝(∃x)F(x) ∨ (∃x)G(x))⇔⌝(∀x)(⌝F(x)∨G(x)) ∨(⌝(∃x)F(x) ∨ (∃x)G(x))⇔ (∃x)((F(x)∧⌝ G(x)) ∨G(x)) ∨ (∀x) ⌝F(x) ⇔ (∃x)((F(x) ∨G(x)) ∨ (∀x) ⌝F(x)⇔ (∃x)((F(x) ∨G(x)) ∨ (∀y) ⌝F(y)⇔ (∃x) (∀y) (F(x) ∨G(x) ∨⌝F(y))（集合论部分）1、答：(4)2.答：323.答：（3）4.答：A1=A2=A3=A6， A4=A55. 答：（4）6.答：（1）7.答：（2），（4）8、设Ａ，Ｂ，Ｃ是三个集合，证明：a、A⋂ (B－C)＝(A⋂B)－(A⋂C)证明：(A⋂B)－(A⋂C)= (A⋂B)⋂~（A⋂C）=(A⋂B) ⋂（~A⋃~C）=(A⋂B⋂~A)⋃(A⋂B⋂~C)= A⋂B⋂~C=A⋂（B⋂~C）=A⋂（B-C）b、(A－B)⋃(A－C)=A－(B⋂C)证明：(A-B)⋃(A-C)=(A⋂~B)⋃(A⋂⋂~C) =A⋂ (~B ⋃~C)=A⋂~（B⋂C）= A-(B⋂C)c、A⋃B=A⋃(B-A)证明：A⋃(B-A)=A⋃(B⋂~A)=(A⋃B)⋂(A⋃~A)=(A⋃B)⋂E= A⋃B9、P(A)⋃P(B)⊆P(A⋃B) （P(S)表示S的幂集）证明：∀S∈P(A)⋃P(B)，有S∈P(A)或S∈P(B)，所以S⊆A或S⊆B。
从而S⊆A⋃B，故S∈P(A⋃B)。
即P(A)⋃P(B)⊆P(A⋃B)10、P(A)⋂P(B)=P(A⋂B) （P(S)表示S的幂集）证明：∀S∈P(A)⋂P(B)，有S∈P(A)且S∈P(B)，所以S⊆A且S⊆B。
从而S⊆A⋂B，故S∈P(A⋂B)。
即P(A)⋂P(B)⊆P(A⋂B)。
∀S∈P(A⋂B)，有S⊆A⋂B，所以S⊆A且S⊆B。
从而S∈P(A)且S∈P(B)，故S∈P(A)⋂P(B)。
即P(A⋂B)⊆P(A)⋂P(B)。
故P(A⋂B)=P(A)⋂P(B)（二元关系部分）1、答：（1）R={<1,1>,<4,2>} (2) R 1-={<1,1>,<2,4>} 2.答：R R ={〈1,1〉，〈1,3〉，〈2,2〉，〈2,4〉} R -1 =｛〈2,1〉，〈1,2〉，〈3,2〉，〈4,3〉｝3.答：R={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<6,6>,<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,<2,4>,<2,6>,<3,6>}4.答：R 的关系矩阵=⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎣⎡000000001000000001R 1-的关系矩阵=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0000000100000000015.若R 和S 都是非空集A 上的等价关系，则R ⋂S 是A 上的等价关系。
证明：∀a ∈A ，因为R 和S 都是A 上的等价关系，所以xRx 且xSx 。
故xR ⋂Sx 。
从而R ⋂S 是自反的。
∀a,b ∈A ，aR ⋂Sb ，即aRb 且aSb 。
因为R 和S 都是A 上的等价关系，所以bRa 且bSa 。
故bR ⋂Sa 。
从而R ⋂S 是对称的。
∀a,b,c ∈A ，aR ⋂Sb 且bR ⋂Sc ，即aRb ，aSb,bRc 且bSc 。
因为R和S 都是A 上的等价关系，所以aRc 且aSc 。
故aR ⋂Sc 。
从而R ⋂S 是传递的。
故R ⋂S 是A 上的等价关系。
6、设R ⊆A ×A ，则R 自反 ⇔I A ⊆R 。
证明：⇒∀x ∈A ， R 是自反的，∴xRx 。
即<x,x>∈R ，故I A ⊆R 。
⇐∀x ∈A ， I A ⊆R ，∴<x,x>∈R 。
即xRx ，故R 是自反的。
7、设A 是集合，R ⊆A ×A ，则R 是对称的⇔R ＝R －1。
证明：⇒∀<x,y>∈R ， R 是对称的，∴yRx 。
即<y,x>∈R ，故<x,y>∈R _1。
从而R ⊆R -1。
反之∀<y,x>∈R -1,即<x,y>∈R 。
R 是对称的，∴yRx 。
即<y,x>∈R ，R _1⊆R 。
故R=R -1。
⇐∀x ，y ∈A ，若<x,y>∈R ，即<y,x>∈R -1。
R=R -1，∴<y,x>∈R 。
即yRx ，故R 是对称的。
8、设A={1,2,3},写出下列图示关系的关系矩阵，并讨论它们的性质：解：（1）R={<2,1>,<3,1>,<2,3>};M R =⎪⎪⎪⎭⎫ ⎝⎛001101000;它是反自反的、反对称的、传递的；（2）R={<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};M R =⎪⎪⎪⎭⎫⎝⎛011101110;它是反自反的、对称的；（3）R={<1,2>,<2,1>,<1,3>,<3,3>};M R =⎪⎪⎪⎭⎫⎝⎛100001110;它既不是自反的、也不是反自反的、也不是对称的、也不是反对称的、也不是传递的。
9、R 是A={1,2,3,4,5,6}上的等价关系，R=I A ⋃{<1,5>,<5,1>,<2,4>,<4,2>,<3,6>,<6,3>}求R诱导的划分。
解：R诱导的划分为{{1,5},{2,4},{3,6}}。
10．画出下列集合关于整除关系的哈斯图.(1){1, 2, 3, 4, 6, 8, 12, 24}.(2){1,2,…..,9}.并指出它的极小元，最小元，极大元，最大元。
在图（2）中极小元，最小元是1，极大元是5，6，7，8，9，没有最大元。
