《离散数学》题库及答案
离散数学试题及答案
离散数学试题及答案一、选择题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． 公式)(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、下列哪些公式为永真蕴含式？( )(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），（5），（6）4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。
答：x,y, x,z5、判断下列语句是不是命题。
若是，给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。
(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。
答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为( )。
(1) 只有在生病时，我才不去学校 (2) 若我生病，则我不去学校(3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校答：（1）PP⌝P→⌝↔（4）QQ→⌝（2）QP⌝→（3）Q8、设个体域为整数集，则下列公式的意义是( )。
(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答：（1）对任一整数x存在整数 y满足x+y=0（2）存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合，确定下列命题的真值：(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答：（1） F （2） F （3）F （4）T10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。
离散数学考试题及答案
离散数学考试题及答案一、选择题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。
《离散数学》题库及答案
《离散数学》题库及答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？()(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答：（1），（4）2、下列公式中哪些是永真式？()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答：（2），（3），（4），（5），（6）4、公式某((A(某)B(y，某))zC(y，z))D(某)中，自由变元是(变元是()。
答：某,y,某,z5、判断下列语句是不是命题。
若是，给出命题的真值。
((1)北京是中华人民共和国的首都。
(2)陕西师大是一座工厂。
)，约束)(3)你喜欢唱歌吗？(4)若7+8＞18，则三角形有4条边。
(5)前进！(6)给我一杯水吧！答：（1）是，T（2）是，F（3）不是（4）是，T（5）不是（6）不是6、命题“存在一些人是大学生”的否定是()，而命题“所有的人都是要死的”的否定是()。
答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为()。
(1)只有在生病时，我才不去学校(2)若我生病，则我不去学校(3)当且仅当我生病时，我才不去学校(4)若我不生病，则我一定去学校答：（1）QP（2）PQ（3）PQ（4）PQ8、设个体域为整数集，则下列公式的意义是()。
(1)某y(某+y=0)(2)y某(某+y=0)答：（1）对任一整数某存在整数y满足某+y=0（2）存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合，确定下列命题的真值：(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答：（1）F（2）F（3）F（4）T10、设谓词P(某)：某是奇数，Q(某)：某是偶数，谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。
离散数学考试题及答案
离散数学考试题及答案一、选择题（每题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设集合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. 在集合{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，都可以通过图中的边相互到达。
离散数学试题+答案
离散数学试题+答案⼀、单项选择题(本⼤题共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∈ZR具有的性质是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( )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.是⾃由变元但不是约束变元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.在⼀棵根树中，仅有⼀个结点的⼊度为______，称为树根，其余结点的⼊度均为______。
离散数学考试题及答案
离散数学考试题及答案一、选择题（每题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。
《离散数学》考试题库及答案
《离散数学》考试题库及答案一、填空 20% （每小题2分）1．设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且（N ：自然数集，E + 正偶数） 则 =⋃B A 。
2．A ，B ，C 表示三个集合，文图中阴影部分的集合表达式为 。
3．设P ，Q 的真值为0，R ，S 的真值为1，则)()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。
4．公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 。
5．若解释I 的论域D 仅包含一个元素，则 )()(x xP x xP ∀→∃ 在I 下真值为 。
6．设A={1，2，3，4}，A 上关系图为则 R 2 = 。
7．设A={a ，b ，c ，d}，其上偏序关系R 的哈斯图为则 R= 。
8．图的补图为 。
9．设A={a ，b ，c ，d} ，A 上二元运算如下：A BC* a b c d a b c da b c d b c d a c d a b d a b c那么代数系统<A ，*>的幺元是 ，有逆元的元素为 ，它们的逆元分别为 。
10．下图所示的偏序集中，是格的为 。
二、选择 20% （每小题 2分）1、下列是真命题的有（ ） A ． }}{{}{a a ⊆；B ．}}{,{}}{{ΦΦ∈Φ；C ． }},{{ΦΦ∈Φ；D ． }}{{}{Φ∈Φ。
2、下列集合中相等的有（ ）A ．{4，3}Φ⋃；B ．{Φ，3，4}；C ．{4，Φ，3，3}；D ． {3，4}。
3、设A={1，2，3}，则A 上的二元关系有（ ）个。
A ． 23 ； B ． 32 ； C ． 332⨯； D ． 223⨯。
4、设R ，S 是集合A 上的关系，则下列说法正确的是（ ） A ．若R ，S 是自反的， 则S R 是自反的； B ．若R ，S 是反自反的， 则S R 是反自反的； C ．若R ，S 是对称的， 则S R 是对称的； D ．若R ，S 是传递的， 则S R 是传递的。
离散数学考试试题及答案
离散数学考试试题及答案一、单项选择题（每题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)。
离散数学试题及答案
离散数学试题及答案一、选择题（每题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分，本大题共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分，共10分）1. 集合A={1,2,3}，集合B={2,3,4}，则A∩B等于：A. {1,2,3}B. {2,3}C. {1,4}D. {3,4}答案：B2. 以下哪个命题是真命题？A. 所有天鹅都是白色的。
B. 有些天鹅不是白色的。
C. 所有天鹅都不是白色的。
D. 没有天鹅是白色的。
答案：B3. 函数f: A→B的定义域是A，值域是B，那么f是：A. 单射B. 满射C. 双射D. 既不是单射也不是满射答案：D4. 逻辑表达式(p∧q)→r的逆否命题是：A. ¬r→¬(p∧q)B. ¬r→¬p∨¬qC. r→(p∧q)D. ¬r∧¬p∨¬q答案：B5. 有限集合A={a, b, c}的子集个数为：A. 3B. 4C. 7D. 8答案：D二、填空题（每题3分，共15分）1. 如果一个关系R在集合A上是自反的，那么对于A中的每一个元素a，都有___________。
答案：(a, a)∈R2. 命题逻辑中，合取（AND）的逻辑运算符用___________表示。
答案：∧3. 在图论中，一个连通图是指图中任意两个顶点之间都存在___________。
答案：路径4. 集合{1, 2, 3}的幂集包含___________个元素。
答案：85. 如果一个函数f是单射，那么对于任意的x1, x2∈A，如果f(x1)=f(x2)，则x1___________x2。
答案：=三、解答题（每题10分，共20分）1. 证明：若p是q的充分条件，q是r的充分条件，则p是r的充分条件。
证明：假设p成立，由于p是q的充分条件，所以q成立。
又因为q是r的充分条件，所以r成立。
因此，p成立可以推出r成立，即p是r的充分条件。
2. 给定一个有向图，其中包含顶点A、B、C、D，边为(A, B)，(B, C)，(C, D)，(D, A)，(A, C)。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
《离散数学》题库与答案一、选择或填空（数理逻辑部分）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、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。
答：所有人都不是大学生，有些人不会死（命题的否定就是把命题前提中的量词“换成存在，换成”，然后将命题的结论否定，“且变或或变且”）7、设P：我生病，Q：我去学校，则下列命题可符号化为( )。
(1) 只有在生病时，我才不去学校(2) 若我生病，则我不去学校(3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校答：（1）P⌝（注意“只有……才……”和“除非……就……”两者都是一个Q→形式的）（2）QP→⌝P⌝↔（4）QP⌝→（3）Q8、设个体域为整数集，则下列公式的意义是( )。
(1) x y(x+y=0) (2) y x(x+y=0)答：（1）对任一整数x存在整数y满足x+y=0（2）存在整数y对任一整数x满足x+y=09、设全体域D是正整数集合，确定下列命题的真值：(1) x y (xy=y) ( ) (2) x y(x+y=y) ( )(3) x y(x+y=x) ( ) (4) x y(y=2x) ( )答：（1）F (反证法：假若存在，则（x- 1）*y=0 对所有的x都成立，显然这个与前提条件相矛盾) （2）F （同理）（3）F （同理）（4）T（对任一整数x存在整数y满足条件y=2x 很明显是正确的）10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式x(P(x)Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数(3) 复数(4) (1)--(3)均成立答：（1）（在某个体域中满足不是奇数就是偶数，在整数域中才满足条件，而自然数子整数的子集，当然满足条件了）11、命题“2是偶数或-3是负数”的否定是（）。
答：2不是偶数且-3不是负数。
12、永真式的否定是（）(1) 永真式(2) 永假式(3) 可满足式(4) (1)--(3)均有可能答：（2）（这个记住就行了）13、公式(⌝P∧Q)∨(⌝P∧⌝Q)化简为（），公式Q→(P∨(P∧Q))可化简为（）。
答：⌝P ，Q→P（考查分配率和蕴含等值式知识的掌握）14、谓词公式x(P(x)yR(y))→Q(x)中量词x的辖域是（）。
答：P(x)yR(y)（一对括号就是一个辖域）15、令R(x):x是实数，Q(x):x是有理数。
则命题“并非每个实数都是有理数”的符号化表示为（）。
答：⌝x(R(x)→Q(x))（集合论部分）16、设A={a,{a}}，下列命题错误的是（）。
(1) {a}∈P(A) (2) {a}⊆P(A) (3) {{a}}∈P(A) (4) {{a}}⊆P(A)答：(2) （{a}是P（A）的一个元素）17、在0（）Φ之间写上正确的符号。
(1) = (2) ⊆(3) ∈(4) ∉答：(4)（空集没有任何元素，且是任何集合的子集）18、若集合S的基数|S|=5，则S的幂集的基数|P(S)|=（）。
答：32（2的5次方考查幂集的定义，即幂集是集合S的全体子集构成的集合）19、设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=Q答：（3）（Q是集合R，P只是R中的一部分，所以P是Q的真子集）20、下列各集合中，哪几个分别相等( )。
(1) A1={a,b} (2) A2={b,a} (3) A3={a,b,a} (4) A4={a,b,c}(5) A5={x|(x-a)(x-b)(x-c)=0} (6) A6={x|x2-(a+b)x+ab=0}答：A1=A2=A3=A6，A4=A5（集合具有无序性、确定性和互异性）21、若A-B=Ф，则下列哪个结论不可能正确？( )(1) A=Ф(2) B=Ф(3) A⊂B (4) B⊂A答：（4）（差集的定义）22、判断下列命题哪个为真?( )(1) A-B=B-A => A=B (2) 空集是任何集合的真子集(3) 空集只是非空集合的子集(4) 若A的一个元素属于B，则A=B答：（1）（考查空集和差集的相关知识）23、判断下列命题哪几个为正确？( )(1) {Ф}∈{Ф,{{Ф}}} (2) {Ф}⊆{Ф,{{Ф}}} (3) Ф∈{{Ф}}(4) Ф⊆{Ф} (5) {a,b}∈{a,b,{a},{b}}答：（2），（4）24、判断下列命题哪几个正确？( )(1) 所有空集都不相等(2) {Ф}≠Ф(4) 若A为非空集，则A⊂A成立。
答：（2）25、设A∩B=A∩C，A∩B=A∩C，则B( )C。
答：=（等于）26、判断下列命题哪几个正确？( )(1) 若A∪B＝A∪C，则B＝C (2) {a,b}={b,a}(3) P(A∩B)≠P(A)∩P(B) （P(S)表示S的幂集）(4) 若A为非空集，则A≠A∪A成立。
答：（2）27、Ａ，Ｂ，Ｃ是三个集合，则下列哪几个推理正确：(1) A⊆B，B⊆C=> A⊆C (2) A⊆B，B⊆C=> A∈B (3) A∈B，B∈C=> A∈C 答：（1）（（3）的反例C为{｛0，1｝，0｝B为｛0，1｝，A为1 很明显结论不对）（二元关系部分）28、设Ａ＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B的关系Ｒ＝｛〈x,y〉|x=y2求(1)R (2) R-1答：（1）R={<1,1>,<4,2>} (2) R1-={<1,1>,<2,4>}（考查二元关系的定义，R1-为R 的逆关系，即R1-=｛<x,y>｝|<y,x> ∈R）29、举出集合A上的既是等价关系又是偏序关系的一个例子。
( )答：A上的恒等关系30、集合A上的等价关系的三个性质是什么？( )答：自反性、对称性和传递性31、集合A上的偏序关系的三个性质是什么？( )答：自反性、反对称性和传递性(题29，30，31全是考查定义)32、设S={１,２,３,４}，Ａ上的关系Ｒ＝｛〈1,2〉，〈2,1〉，〈2,3〉，〈3,4〉｝求(1)R R (2) R-1。
答：R R ={〈1,1〉，〈1,3〉，〈2,2〉，〈2,4〉}（考查F G ={<x,y>|t(<x,t>∈F <t,y>∈G )}）R -1 =｛〈2,1〉，〈1,2〉，〈3,2〉，〈4,3〉｝33、设Ａ＝｛1，2，3，4，5，6｝，Ｒ是A 上的整除关系，求R= {( )} 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>}34、设Ａ＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B 的关系Ｒ＝｛〈x,y 〉|x=2y ｝，求(1)R (2) R -1 。
答：（1）R={<1,1>,<4,2>,<6,3>} (2) R 1-={<1,1>,<2,4>,(36>}35、设Ａ＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B 的关系Ｒ＝｛〈x,y 〉|x=y 2｝，求R 和R -1的关系矩阵。
答：R 的关系矩阵=⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎣⎡000000001000000001 R 1-的关系矩阵=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡000000010000000001 36、集合A={1,2,…,10}上的关系R={<x,y>|x+y=10,x,y ∈A}，则R 的性质为（ ）。
(1) 自反的 (2) 对称的 (3) 传递的，对称的 (4) 传递的答：（2）（考查自反 对称 传递的定义）（代数系统部分）37、设A={2,4,6}，A 上的二元运算*定义为：a*b=max{a,b}，则在独异点<A,*>中，单位元是( )，零元是( )。
答：2，6（单位元和零元的定义，单位元：e 。
x=x 零元：θ。
x=θ）38、设A={3,6,9}，A 上的二元运算*定义为：a*b=min{a,b}，则在独异点<A,*>中，单位元是( )，零元是( )；答：9，3（半群与群部分）39、设〈G,*〉是一个群，则(1) 若a,b,x∈G，a*x=b，则x=( )；(2) 若a,b,x∈G，a*x=a*b，则x=( )。
答：（1）a*-1 b （2）b （考查群的性质，即群满足消去律）40、设a是12阶群的生成元，则a2是( )阶元素，a3是( )阶元素。