离散数学练习题(含答案2)(1)

《离散数学》试题及答案 2《离散数学》试题及答案2一、填空题1设子集a,b，其中a＝{1,2,3},b={1,2},则a-b＝____________________;?(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=________________________.(a)-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变为全然图。

离散数学试题(A 卷及答案）一、证明题（10分）1)(⌝P ∧(⌝Q ∧R))∨(Q ∧R)∨(P ∧R)⇔R证明: 左端⇔(⌝P ∧⌝Q ∧R)∨((Q ∨P)∧R)⇔((⌝P ∧⌝Q)∧R))∨((Q ∨P)∧R)⇔(⌝(P ∨Q)∧R)∨((Q ∨P)∧R)⇔(⌝(P ∨Q)∨(Q ∨P))∧R ⇔(⌝(P ∨Q)∨(P ∨Q))∧R ⇔T ∧R(置换)⇔R2)∃x(A(x)→B(x))⇔ ∀xA(x)→∃xB(x)证明 ：∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x ⌝A(x)∨∃xB(x)⇔⌝∀xA(x)∨∃xB(x)⇔∀xA(x)→∃xB(x) 二、求命题公式(P ∨(Q ∧R))→(P ∧Q ∧R)的主析取范式和主合取范式（10分）证明：(P ∨(Q ∧R))→(P ∧Q ∧R)⇔⌝(P ∨(Q ∧R))∨(P ∧Q ∧R))⇔（⌝P ∧(⌝Q ∨⌝R)）∨(P ∧Q ∧R) ⇔(⌝P ∧⌝Q)∨(⌝P ∧⌝R))∨(P ∧Q ∧R)⇔(⌝P ∧⌝Q ∧R)∨(⌝P ∧⌝Q ∧⌝R)∨(⌝P ∧Q ∧⌝R))∨(⌝P ∧⌝Q ∧⌝R))∨(P ∧Q ∧R) ⇔m0∨m1∨m2∨m7 ⇔M3∨M4∨M5∨M6三、推理证明题（10分）1） C ∨D, (C ∨D)→ ⌝E, ⌝E →(A ∧⌝B), (A ∧⌝B)→(R ∨S)⇒R ∨S证明：(1) (C ∨D)→⌝E(2) ⌝E →(A ∧⌝B)(3) (C ∨D)→(A ∧⌝B) (4) (A ∧⌝B)→(R ∨S) (5) (C ∨D)→(R ∨S)(6) C ∨D(7) R ∨S2) ∀x(P(x)→Q(y)∧R(x))，∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明（1）∃xP(x) (2)P(a)(3)∀x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)∃x(P(x)∧R(x)) (11)Q(y)∧∃x(P(x)∧R(x))四、设m 是一个取定的正整数，证明：在任取m ＋1个整数中，至少有两个整数，它们的差是m 的整数倍证明 设1a ，2a ，…，1+m a 为任取的m ＋1个整数，用m 去除它们所得余数只能是0，1，…，m －1，由抽屉原理可知，1a ，2a ，…，1+m a 这m ＋1个整数中至少存在两个数s a 和t a ，它们被m 除所得余数相同，因此s a 和t a 的差是m 的整数倍。

《离散数学》试题带答案试卷九试题与答案一、 填空 30% （每空 3分）1、 选择合适的论域和谓词表达集合A=“直角坐标系中，单位元（不包括单位圆周）的点集”则A= 。

2、 集合A={Φ,{Φ}}的幂集P (A) = 。

3、 设A={1，2，3，4}，A 上二元关系R={<1，2>，<2，1>，<2，3>，<3，4>}画出R的关系图。

4、 设A={<1,2>,<2 , 4 >,<3 , 3 >} , B={<1,3>,<2,4>,<4,2>},则B A ⋃= 。

B A = 。

5、 设|A|=3，则A 上有 个二元关系。

6、 A={1，2，3}上关系R= 时，R 既是对称的又是反对称的。

7、 偏序集><≤R A ,的哈斯图为，则≤R = 。

8、 设|X|=n ，|Y|=m 则（1）从X 到Y 有 个不同的函数。

（2）当n , m 满足 时，存在双射有 个不同的双射。

9、 2是有理数的真值为 。

10、Q ：我将去上海，R ：我有时间，公式)()(Q R R Q →∧→的自然语言为 。

11、公式)()(Q P P Q ∧⌝∧→的 主合取范式是 。

12、 若} ,, , {21m S S S S =是集合A 的一个分划，则它应满足 。

二、 选择 20% （每小题 2分）1、 设全集为I ，下列相等的集合是（ ）。

A 、} |{是偶数或奇数x x A =；B 、)}2( |{y x I y y x B =∧∈∃=；C 、)}12( |{+=∧∈∃=y x I y y x C ；D 、},4,4,3,3,2,2,1,1,0|{ ----=x D 。

2、 设S={N ，Q ，R}，下列命题正确的是（ ）。

A 、S S N N ∈∈∈2 ,2则； B 、S N S Q Q N ⊂∈⊂则 ,； C 、R N R Q Q N ⊂⊂⊂则 ,； D 、S N S N ⋂⊂Φ⊂Φ⊂Φ则 ,。

数理逻辑习题判断题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,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$的最短路径可能不唯一。

离散数学考试题(后附详细答案)一、命题符号化（共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、下列哪个式子不是谓词演算的合式公式( )A. (x)(A(x,2)∧B(y))B. (x)(A(x)∧B(x,y))C. ((x)∧(y))→(A(x,y)∧B(x,y))D. (x)(A(x)→B(y))2、设个体域是整数集，则下列命题的真值为真的是（）A.∀x∃y (xy=1)B. ∃x∀y(x+y=y)C.∃x∀y(x+y=x)D. ∀x∃y(y=2x)3、设B是不含变元x的公式，谓词公式(x)(A(x)→B)等价于( )A.(x)A(x)→BB. (x)A(x)→BC. A(x)→BD.(x)A(x)→(x)B4、谓词公式(x)(P(x)∨(y)R(y))→Q(x)中的x( ).A.只是约束变元B.只是自由变元C.既非约束变元又非自由变元D.既是约束变元又是自由变元5、谓词公式(x)P(x,y)∧(x)(Q(x,z)→(x)(y)R(x,y,z))中量词x的辖域是（）.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、在论域D={a,b}中与公式（）A（x）等价的不含存在量词的公式是（）A. B.C. D.7、设M（x）：x是人；F（x）：x要吃饭.用谓词公式表达下述命题：所有的人都要吃饭，其中错误的表达式是（）.A．B．C．D．8、设个体域A={a,b}，公式xP(x)∧xS(x)在A中消去量词后应为（）.A．P(x)∧S(x) B．P(a)∧P(b)∧(S(a)∨S(b))C．P(a)∧S(b) D．P(a)∧P(b)∧S(a)∨S(b)9、按照约束变元的改名规则，∀xP(x) →∃yR(x,y)不可改写成（）. A．∀mP(m) →∃yR(x,y) B．∀xP(x) →∃zR(x,z)C．∀xP(x) →∃xR(x,x) D．∀xP(x) →∃nR(x,n)10、∀ x∀y(P(x,y)∧Q(y,z))∧(∃x)p(x,y),下面的描述中错误的是（）A.(∀ x)的辖域是（∀ y）（P（x,y）∧Q(y,z)）B．z是该谓词公式的约束变元C.(∃ x）的辖域是P（x,y）D. x是该谓词公式的约束变元二、填空题1、设P(x)：x非常聪明；Q(x):x非常能干；a：小李；则命题“小李非常聪明和能干”的为谓词表达式为_______.2、使公式(x)( y)(A(x)∧B(y))(x)A(x)∧(y)B(y)成立的条件是______不含有y，______不含有x.3、公式(x)A(x)→B(y)的前束范式为______.4、公式x(P(x)→Q(x,y)∨zR(y, z))→S(x)中的自由变元为________________，约束变元为________________.5、令R(x):x是实数，Q(x):x是有理数。

《离散数学》习题一参考答案第一节 集合的基数1.证明两个可数集的并是可数集。

证明：设A ，B 是两可数集，},,,,,{321 n a a a a A =，},,,,,{321 n b b b b B = ⎪⎩⎪⎨⎧-→j b i a N B A f j i 212: ，f 是一一对应关系，所以|A ∪B|=|N|=0ℵ。

2．证明有限可数集的并是可数集证：设k A A A A 321,,是有限个可数集，k i a a a a A in i i i i ,,3,2,1),,,,,(321 ==⎪⎩⎪⎨⎧+-→==i k j a N A A f ij k i i )1(:1，f 是一一对应关系，所以|A|=| k i i A 1=|=|N|=0ℵ。

3.证明可数个可数集的并是可数集。

证：设 k A A A A 321,,是无限个可数集， ,3,2,1),,,,,(321==i a a a a A in i i i i⎪⎪⎩⎪⎪⎨⎧+-+-+→=∞=i j i j i a N A A f ij i i )2)(1(21:1 ， 所以f 是一一对应关系，所以|A|=| ∞=1i i A |=|N|=0ℵ。

4.证明整系数多项式所构成的集合是可数集。

证明：设整系数n 次多项式的全体记为}|{1110Z a a x a x a x a A i n n n n n ∈++++=--则整系数多项式所构成的集合 ∞==1N n A A ；由于k x 的系数k a 是整数，那么所有k x 的系数的全体所构成的集合是可数集，由习题2“有限个可数集的并是可数集”可得n A 是可数集，再又习题4“可数个可数集的并是可数集”得出整系数多项式所构成的集合 ∞==1N n A A 也是可数集。

5.证明不存在与自己的真子集等势的有限集合.证明：设集合A 是有限集，则|A|=n ，若B 是A 的真子集，则|B|≤|A|=n ，A-B ≠φ，即|A-B|=|A|-|AB|＞0；又A=（A-B ）∪B ，（A-B ）B=φ，所以，，就是|A|＞|B|，即得结论。

离散数学考试题及答案一、选择题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．D=}{φ，则幂集}}.{,{)(φφρ=D2. B={1，{2，3}}，则幂集=)(B ρ}}}3,2{,1{}},3,2{{},1{,{φ3. 若集合A ，B 的元素个数分别为n B m A ==,，则A 到B 有 nm ⨯2种不同的二元关系。

4. A={φ，a ，{b}}，B=}{φ，则{}><><><=⨯φφφφ},{,,,,b a B A5. 设A={1，2，3}，则在A 上有 5 个不同的划分。

6.设P ={<1, 2>, <1, 4>, <2, 3>, <4, 4>}和Q ={ <1, 2>, <2, 3>,<4, 2>} 则dom(P ∪Q )= {1,2,4} ，ran(P ∪Q ) = { 2,3,4}7. A I 是集合A 上的恒等关系，A 上的关系R 具有 反对称 性当且仅当1A R R I -⋂⊆8. A I 是集合A 上的恒等关系，A 上的关系R 具有 反自反 性当且仅当Φ=⋂R I A9. 设R 为A 上的关系，R 在A 上具有 传递 当且仅当R R R ⊆ 。

10．设R 为A 上的关系，R 在A 上自反的当且仅当 A I R ⊆ 11.设R 为A 上的关系，R 在A 上对称的当且仅当1R R -=二、 选择题1．集合A={全班同学}上的同龄关系R 为（ B ）A ．对称关系B ．等价关系C ．偏序关系D ．三个都不是 2．在由3个元素组成的集合上，可以有（ D ）种不同的关系。

A ． 3； B ．8； C ．9 ； D ．5123．设集合{}c b a A ,,=,A 上的二元关系{}><><=b b a a R ,,,不具备关系( D )性质A ．传递性B ．反对称性C ．对称性D ．自反性三、 计算题1.设集合A={1，2，3}，A 上的关系R={<1，1>，<1，2>，<2，2>，<3，2>，<3，3>}（1） 画出R 的关系图； （2） 写出R 的关系矩阵问R 具有关系的哪几些特殊性质（自反、对称、传递等）解 （1）（2）⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=110010011M 该关系是自反的但不是反自反的，因为每个顶点都有个环；它是反对称的但不是对称的，因为图中只有单向边；它也是传递的，因为不存在顶点x,y,z ，使得x 到y 有边，y 到z 有边，但x 到z 没边，其中}3,2,1{,,∈z y x 。

一．填空题1. 谓词公式)()(x xQ x xP ∃→∀的前束范式是 ∃x ∃y¬P(x)∨Q(y)2。

设全集 E=｛1，2，3，4，5},A={1,2，3｝,B={2,5}, 则A ∩B = {2} ，=A {4，5} ，=B A {1，3，4，5｝ 。

3。

设{}{}b a B c b a A ,,,,==，则=-)()(B A ρρ__｛{c ｝，｛a ，c}，｛b,c},{a,b,c}}_，=-)()(A B ρρ__Φ__。

4。

在代数系统（N,+）中，其单位元是0,仅有 单位元0 有逆元。

//x+y=0，x 的逆元= -x ，即x=05．如果连通平面图G 有n 个顶点，e 条边，则G 有__e+2-n __个面。

//点＋面-边=23 无向图G 有12条边,G 中有6个3度结点，其余结点的度数均小于3,问G 中至少有 9 个结点？//因为至少，所以 6×3+2n=12×2 解得n=3 总结点m=6+3=9二．选择题1。

与命题公式)(R Q P →→等价的公式是（ ）（A ）R Q P →∨)( (B ）R Q P →∧)( (C))(R Q P ∧→ （D ）)(R Q P ∨→3。

在图>=<E V G ,中，结点总度数与边数的关系是( C ）(A ）E v i 2)deg(= (B ） E v i =)deg(（C)∑∈=V v i E v 2)deg((D) ∑∈=V v iE v )deg(4. 设D 是有n 个结点的有向完全图,则图D 的边数为（ A ）(A ）)1(-n n (B))1(+n n (C)2/)1(+n n （D)2/)1(-n n5。

无向图G 是欧拉图，当且仅当（ C ）(A) G 的所有结点的度数都是偶数 (B ）G 的所有结点的度数都是奇数(C)G 连通且所有结点的度数都是偶数 （D) G 连通且G 的所有结点度数都是奇数。

离散数学考试题及答案一、选择题（每题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。

离散数学习题答案离散数学习题答案习题⼀及答案：（P14-15） 14、将下列命题符号化：（5）⾟与末是兄弟解：设p ：⾟与末是兄弟，则命题符号化的结果是p （6）王强与威都学过法语解：设p ：王强学过法语；q ：威学过法语；则命题符号化的结果是p q ∧（9）只有天下⼤⾬，他才乘班车上班解：设p ：天下⼤⾬；q ：他乘班车上班；则命题符号化的结果是q p →（11）下雪路滑，他迟到了解：设p ：下雪；q ：路滑；r ：他迟到了；则命题符号化的结果是()p q r ∧→15、设p ：2+3=5.q ：⼤熊猫产在中国. r ：太阳从西⽅升起. 求下列复合命题的真值：（4）()(())p q r p q r ∧∧∨?→解：p=1，q=1，r=0，()(110)1p q r ∧∧??∧∧??，(())((11)0)(00)1p q r ?∨?→??∨?→?→? ()(())111p q r p q r ∴∧∧∨?→19、⽤真值表判断下列公式的类型：（2）()p p q →?→?解：列出公式的真值表，如下所⽰：由真值表可以看出公式有3个成真赋值，故公式是⾮重⾔式的可满⾜式。

20、求下列公式的成真赋值：（4）()p q q ?∨→解：因为该公式是⼀个蕴含式，所以⾸先分析它的成假赋值，成假赋值的条件是：()10p q q ?∨p q 所以公式的成真赋值有：01，10，11。

习题⼆及答案：（P38）5、求下列公式的主析取式，并求成真赋值：（2）()()p q q r ?→∧∧解：原式()p q q r ?∨∧∧q r ?∧()p p q r ??∨∧∧()()p q r p q r ??∧∧∨∧∧37m m ?∨，此即公式的主析取式，所以成真赋值为011，111。

6、求下列公式的主合取式，并求成假赋值：（2）()()p q p r ∧∨?∨解：原式()()p p r p q r ?∨?∨∧?∨∨()p q r ??∨∨4M ?，此即公式的主合取式，所以成假赋值为100。

华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题（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)。

离散数学试题及答案解析一、单项选择题（每题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)。

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