《离散数学》典型例题
离散数学练习题(含答案)
离散数学试题第一部分选择题一、单项选择题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 .传递关系第二部分 非选择题二、填空题1.设论域是{a,b,c},则(∀x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ;(x ∃)S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。
离散数学试题及答案
离散数学试题及答案一、选择题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. 图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个咸味面包。
离散数学考试题目及答案
离散数学考试题目及答案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,都可以通过图中的边相互到达。
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一: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:设集合A={a, b, c},B={1, 2, 3},求笛卡尔积A×B,以及集合A上的所有二元关系。
答案:笛卡尔积A×B是指从A中取一个元素,从B中取一个元素,所组成的所有有序对。
因此,A×B={(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3), (c, 1), (c, 2), (c, 3)}。
集合A上的所有二元关系是指A×A的子集。
由于A×A包含所有可能的有序对,因此A上的二元关系有2^9=512个。
二、图论题目2:给定一个有6个顶点的简单图,其中每个顶点的度数分别为3, 3, 2, 2, 2, 1。
问这个图是否连通?答案:由握手定理知,图中的总边数等于所有顶点度数之和的一半。
因此,这个图的总边数为(3+3+2+2+2+1)/2=7。
对于一个有6个顶点的图,如果它是连通的,那么它的边数应该大于或等于6-1=5。
由于这个图有7条边,因此它是连通的。
三、逻辑与布尔代数题目3:化简布尔表达式F=AB+AB'+A'B。
答案:根据布尔代数的基本定律,我们有:F = AB + AB' + A'B= A(B + B') + A'B (分配律)= A + A'B (B + B' = 1)= A +B (吸收律)因此,F的化简结果为A + B。
四、组合数学题目4:从数字1到10中,任取3个不同的数字,求取法总数。
答案:这是一个组合问题,可以使用组合公式C(n, k) = n!/ [k!(n-k)!]来求解,其中n是总的数字个数,k是每次取的数字个数。
离散数学试题及答案
离散数学试题及答案一、选择题(每题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 >}
离散数学试题及答案解析
离散数学试题及答案解析一、单项选择题(每题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. \(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.
离散数学初步例题和知识点总结
离散数学初步例题和知识点总结离散数学是现代数学的一个重要分支,它在计算机科学、信息科学、密码学等领域都有着广泛的应用。
下面我们通过一些例题来讲解离散数学中的部分重要知识点。
一、集合论集合是离散数学中的基本概念之一。
例 1:设集合 A ={1, 2, 3, 4},B ={3, 4, 5, 6},求 A ∪ B 和 A∩ B。
解:A ∪ B ={1, 2, 3, 4, 5, 6},A ∩ B ={3, 4}集合的运算包括并集、交集、差集等。
并集是将两个集合中的所有元素合并在一起,去掉重复的元素;交集是两个集合中共同拥有的元素组成的集合。
知识点:集合的基本运算规则1、交换律:A ∪ B = B ∪ A,A ∩ B =B ∩ A2、结合律:(A ∪ B) ∪ C = A ∪(B ∪ C),(A ∩ B) ∩ C = A ∩ (B ∩ C)3、分配律:A ∩ (B ∪ C) =(A ∩ B) ∪(A ∩ C),A ∪(B ∩C) =(A ∪ B) ∩ (A ∪ C)二、关系关系是集合元素之间的某种联系。
例 2:设集合 A ={1, 2, 3},R 是 A 上的关系,R ={(1, 1),(1, 2),(2, 2),(2, 3),(3, 3)},判断 R 是否具有自反性、对称性和传递性。
解:R 具有自反性,因为对于 A 中的每个元素 a,都有(a, a) ∈ R;R 不具有对称性,因为(1, 2) ∈ R 但(2, 1) ∉ R;R 具有传递性,因为(1, 2) ∈ R 且(2, 3) ∈ R ,同时(1, 3) ∈ R 。
知识点:1、自反关系:对于集合中的每个元素 a,都有(a, a) ∈ R 。
2、对称关系:若(a, b) ∈ R ,则(b, a) ∈ R 。
3、传递关系:若(a, b) ∈ R 且(b, c) ∈ R ,则(a, c) ∈ R 。
三、函数函数是一种特殊的关系。
例 3:设函数f: R → R ,f(x) = x^2 ,求 f(-2),f(0),f(3)。
离散数学例题
例1证明p→(q→r) ⇔ (p∧q)→r证p→(q→r)⇔⌝p∨(⌝q∨r) (蕴涵等值式,置换规则)⇔ (⌝p∨⌝q)∨r(结合律,置换规则)⇔⌝(p∧q)∨r(德摩根律,置换规则)⇔ (p∧q)→r(蕴涵等值式,置换规则)今后在注明中省去置换规则注意:用等值演算不能直接证明两个公式不等值例2 证明p→(q→r) 与(p→q)→r 不等值证方法一真值表法, 见例1(2)方法二观察法. 观察到000, 010是左边的成真赋值,是右边的成假赋值方法三先用等值演算化简公式,然后再观察p→(q→r) ⇔⌝p∨⌝q∨r(p→q)→r ⇔⌝(⌝p∨q)∨r⇔(p∧⌝q)∨r更容易看出前面的两个赋值分别是左边的成真赋值和右边的成假赋值例3 用等值演算法判断下列公式的类型(1) q∧⌝(p→q)(2) (p→q)↔(⌝q→⌝p)(3) ((p∧q)∨(p∧⌝q))∧r)解(1) q∧⌝(p→q)⇔q∧⌝(⌝p∨q) (蕴涵等值式)⇔q∧(p∧⌝q) (德摩根律)⇔p∧(q∧⌝q) (交换律,结合律)⇔p∧0 (矛盾律)⇔ 0 (零律)矛盾式(2) (p→q)↔(⌝q→⌝p)⇔ (⌝p∨q)↔(q∨⌝p) (蕴涵等值式)⇔ (⌝p∨q)↔(⌝p∨q) (交换律)⇔ 1重言式(3) ((p∧q)∨(p∧⌝q))∧r)⇔ (p∧(q∨⌝q))∧r(分配律)⇔p∧1∧r(排中律)⇔p∧r(同一律)可满足式,101和111是成真赋值,000和010等是成假赋值.例4 求下列公式的析取范式与合取范式(1) (p→⌝q)∨⌝r;(2) (p→⌝q)→r解(1) (p→⌝q)∨⌝r ⇔ (⌝p∨⌝q)∨⌝r(消去→)⇔⌝p∨⌝q∨⌝r(结合律)最后结果既是析取范式(由3个简单合取式组成的析取式),又是合取范式(由一个简单析取式组成的合取式)(2) (p→⌝q)→r⇔ (⌝p∨⌝q)→r(消去第一个→)⇔⌝(⌝p∨⌝q)∨r(消去第二个→)⇔ (p∧q)∨r(否定号内移——德摩根律) 析取范式⇔ (p∨r)∧(q∨r) (∨对∧分配律)合取范式例 5 求公式A=(p→⌝q)→r的主析取范式解(p→⌝q)→r⇔ (p∧q)∨r(析取范式)①⇔((p∧q)∧(⌝r∨r))∨((⌝p∨p)∧(⌝q∨q)∧r)⇔((p∧q∧⌝r)∨(p∧q∧r))∨((⌝p∧⌝q∧r)∨(⌝p∧q∧r)∨(p∧⌝q∧r)∨(p∧q∧r))⇔m6∨m7 ∨m1∨m3∨m5∨m7 ②排序,得(p→⌝q)→r⇔m1∨m3∨m5∨m6∨m7(主析取范式)注①:一个公式的真值为T的指派所对应的极小项的析取即为主析取范式例 6 结合下表求G:(P→Q)↔R的主析取范式P Q R(P→Q)↔R真值的指派所对应的极小项0 0 000 0 1 1 ⌝P∧⌝Q∧R0 1 000 1 11⌝P∧Q∧R1 0 01P∧⌝Q∧⌝R1 0 101 1 001 1 11P∧Q∧R将极小项全部进行析取后,便得到所求的主析取范式:G:(P→Q)↔R⇔(┐P∧┐Q∧R)∨(┐P∧Q∧R)∨(P∧┐Q∧┐R)∨(P∧Q∧R)注②:n个命题变项的极小项或极大项的关系为:⌝m i ⇔M i, ⌝M i ⇔m i注③:极小项(极大项)的性质:(1)每个极小项(极大项)的成真(成假)赋值有且仅有一个;(2)两个不同的极小项的合取(极大项的析取)构成的命题形式为矛盾式(重言式);(3)所有极小项的析取(极大项的合取)构成的命题形式为重言式(矛盾式)。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
《离散数学》典型例题
一、选择题
1. 图1哈斯图所示的偏序集为格的是()。
2. 设有无向图如图2,则()是一条哈密顿回路。
A.gabcdefg B.abcdefg C.cfabcdeg D.efgabcd
3. 哪个顶点可成为图3的割点?()
A. a
B. b
C. c
D. d
4. 图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个咸味面包。
有多少选择方法?
4. 求解下述递推关系a n =7a n -1-12a n -2,010,1a a ==
5.求解在集合{1,2,3,4}上的关系{(1,2), (2,1), (2,3), (3,4), (4,1)}的传递闭包。
6. 对偏序集({2,4,5,10,12,20,25},|)上的整除关系,画出哈斯图并回答下列问题:
(1)求极大、极小元素;
(2)求最大、最小元素;
(3)找出{2,5}的所有上界,如果存在的话求出最小上界;
(3)找出{12,10}的所有下界,如果存在的话求出最大下界。