离散数学单项选择题习题(有答案)集
单项选择题
第一章第二章
1. 下列表达式正确的有( )
A. Q Q P ? → ? ) (
B.P Q P ?∨ C .P Q P Q P ??∧∨∧)()( D.T Q P P ?→→)(
2. 下列推理步骤错在( )
①))()((x G x F x →?
P ②)()(y G y F →
US① ③)(x xF ?
P ④)(y F
ES③ ⑤)(y G
T②④I ⑥)(x xG ? EG⑤
A.②
B.④
C.⑤
D.⑥
3. 设P :2×2=5,Q :雪是黑的,R :2×4=8,S :太阳从东方升起,下列( )命题的真值为真。
A.R Q P ∧→
B.S P R ∧→
C.R Q S ∧→
D.)()(S Q R P ∧∨∧
4. 下列公式中哪些是永真式?( )
A.(┐P ∧Q )→(Q→?R)
B.P→(Q→Q)
C.(P ∧Q)→P
D.P→(P ∧Q)
5. 下列等价关系正确的是( )
A.)()())()((x xQ x xP x Q x P x ?∨??∨? B .)()())()((x xQ x xP x Q x P x ?∨??∨?
C.Q x xP Q x P x →??→?)())((
D.Q x xP Q x P x →??→?)())((
6. 下列推导错在( )
①)(y x y x >??
P ②)(y z y >?
US① ③z z >
ES② ④)(x x x >? UG③
A.②
B. ④ C . ③ D.无
7. 若公式)()(R P Q P ∧?∨∧的主析取范式为111110011001m m m m ∨∨∨则它的主合取范式为( )
A.111110011001m m m m ∧∧∧
B.101100010000M M M M ∧∧∧ ;
C.111110011001M M M M ∧∧∧
D.101100010000m m m m ∧∧∧ 。
8. 在下述公式中不是重言式为( )
A .)()(Q P Q P ∨→∧
B .))()(()(P Q Q P Q P →∧→??
C .Q Q P ∧→?)(
D .)(Q P P ∨→
9. 下列各式中哪个不成立( )
A.)()())()((x xQ x xP x Q x P x ?∨??∨?
B.)()())()((x xQ x xP x Q x P x ?∨??∨?
C .)()())()((x xQ x xP x Q x P x ?∧??∧? D.Q x xP Q x P x ∧??∧?)())((
10.命题“尽管有人聪明,但未必一切人都聪明”的符号化(P(x):x 是聪明的,M(x):x 是人)( )
A.)))()((())()((x P x M x x P x M x →??∧→?
B.)))()((())()((x P x M x x P x M x ∧??∧∧?
C.)))()((())()((x P x M x x P x M x →??∧∧?
D.)))()((())()((x P x M x x P x M x →??∨∧?
11.下述命题公式中,是重言式的为( )
A.)()(q p q p ∨→∧
B.q p ∨))()((p q q p →∨→?
C.q q p ∧→?)(
D.q q p →?∧)(
12.谓词公式)())()((x Q y yR x P x →?∨?中的x 是( )
A.自由变元
B.约束变元
C.既是自由变元又是约束变元
D.既不是自由变元又不是约束变元
13.命题“有的人喜欢所有的花”的逻辑符号化为( )
设D :全总个体域,F (x ):x 是花,M(x) :x 是人,H(x,y):x 喜欢y
A. ))),()(()((y x H y F y x M x →?→?
B.))),()(()((y x H y F y x M x →?∧?
C. ))),()(()((y x H y F y x M x →?→?
D.))),()(()((y x H y F y x M x →?∧?
14.下列等价式成立的有( )
A.Q P Q P ?→??→
B.R R P P ?∧∨)(
C.Q Q P P ?→∧)(
D.R Q P R Q P →∧?→→)()(
15.给定公式)()(x xP x xP ?→?,当D={a,b}时,解释( )使该公式真值为0。
A.P(a)=0、P(b)=0 B .P(a)=0、P(b)=1 C.P(a)=1、P(b)=1
16.设x x M :
)(是人,x x P :)(犯错误,命题“没有不犯错误的人”符号化为( ) A.))()((x P x M x ∧? B.)))()(((x P x M x ?→?? C.)))()(((x P x M x ∧?? D .)))()(((x P x M x ?∧??
17.下列语句是命题的有( )
A.明年中秋节的晚上是晴天
B.0>+y x
C.0>xy 当且仅当x 和y 都大于0
D.我正在说谎
18.下列公式是重言式的有( )
A.)(Q P ?? B .Q Q P →∧)( C.P P Q ∧→?)( D.P Q P ?→)(
19.下列集合中哪个是最小联结词集( )
A .},{→? B.{?, } C. {?, } D.},,{∨∧?
20.设L(x):x 是演员,J(x):x 是老师,A(x , y):x 钦佩y ,命题“所有演员都钦佩某些老师”符号化为( )
A.)),()((y x A x L x →?
B.))),()(()((y x A y J y x L x ∧?→?
C.)),()()((y x A y J x L y x ∧∧??
D.)),()()((y x A y J x L y x →∧??
21.下列各命题中真值为真的命题有( )
A.2+2=4当且仅当3是奇数
B.2+2=4当且仅当3不是奇数
C.2+2≠4当且仅当3是奇数
D.2+2=4仅当3不是奇数
22.命题逻辑演绎的CP 规则为( )
A.在推演过程中可随便使用前提
B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果
C .如果要演绎出的公式为C B →形式,那么将B 作为前提,演绎出C
D.设)(A Φ是含公式A 的命题公式,A B ?,则可用B 替换)(A Φ中的A
第三章
23.设A={1,2,3,4},P (A )(A 的幂集)上规定二元系|}||(|)(,|,{t s A p t s t s R =∧∈><=则P (A )/ R=( )
A .A
B .P(A)
C .{[Φ]R ,[{1}]R ,[{1,2}]R ,[{1,2,3}]R ,[{1,2,3,4}]R }
D .{[Φ]R ,[2]R ,[2,3]R ,[2,3,4]R ,[A]R }
24.集合A={1,2,…,10}上的关系R={
A.自反的
B.对称的
C.传递的,对称的
D.传递的
25.集合A={1,2,3,4}上的偏序关系为,则它的Hass 图为( C )
26.设R ,S 是集合A 上的关系,则下列说法正确的是( )
A .若R ,S 是自反的, 则S R 是自反的
B .若R ,S 是反自反的, 则S R 是反自反的
C .若R ,S 是对称的, 则S R 是对称的
D .若R ,S 是传递的, 则S R 是传递的
27.A,B,C是三个集合,则下列哪几个推理正确 ( )
A.A ?B ,B ?C 则A ?C
B.A ?B ,B ?C 则 A∈B
C.A∈B,B∈C 则 A∈C
28.设A={Φ,{1},{1,3},{1,2,3}}则A 上包含关系“?”的哈斯图为( C )
29.设f ,g 是函数,当( C )时,f=g
A.)()( x g x f domf x =∈?都有
B. 的表达式相同与g f
C. g f domf domg ?? 且
D.rangef rangef domf domg ==,
30.设}}{,{,ΦΦ=Φ=B A ,则B -A 是( )
A.}}{{Φ
B.}{Φ
C.}}{,{ΦΦ
D.Φ
31.集合A={1,2,3,4}上的偏序关系图如下左,则它的哈斯图为( C )
32.设} 3 ,2 ,1 {=S ,定义S S ?上的等价关系,
,
则由R 产生的S S ?上一个划分共有( B )个分块。
A .4
B .5
C .6
D .9
33.下列是真命题的有( )
A . }}{{}{a a ?
B .}},{{}}{{φφφ∈
C .}},{{φφφ∈
D .}}{{φφ∈
34.设B A S ??,下列各式中( B )是正确的
domS ?B B.domS ?A C.ranS ?A D.domS ? ranS = S
35.设} 3 ,2 ,1 {=S ,S 上关系R 的关系图如下 ,则R 具有( D )性质
A .自反性、对称性、传递性
B .反自反性、反对称性
C .反自反性、反对称性、传递性
D .自反性
36.设} |{是偶数或奇数
x x A =,)}2( |{y x I y y x B =∧∈?=,)}12( |{+=∧∈?=y x I y y x C , },4,4,3,3,2,2,1,1,0|{ ----=x D 下列相等的集合是( D )
A.A 的B
B.B 和C
C.C 和D
D.A 和D
37.设{}b a A ,=,则P (A )×A = ( C)
A.A
B.P (A )
C.{}><><><><><><>Φ<>Φ
D.{}><><><><><><>Φ<>Φ 38.A 是素数集合,B 是奇数集合,则A-B=( D ) A.素数集合 B.奇数集合 C.Φ D.{2} 39.设R 和S 是P 上的关系,P 是所有人的集合,},|,{的父亲是y x P y x y x R ∧∈><=, },|,{的母亲是y x P y x y x S ∧∈><=则1-S R 表示关系 ( A ) A.},|,{的丈夫是y x P y x y x ∧∈>< B.},|,{的孙子或孙女 是y x P y x y x ∧∈>< C.Φ D.},|,{的祖父或祖母 是y x P y x y x ∧∈>< 40.在自然数集N 上,(对任意N b a ∈,)下列( B)运算是可结合的 A.b a b a -=* B.),max(b a b a =* C.b a b a 5+=* D.b a b a -=* 41.Q 为有理数集N ,Q 上定义运算*为a*b = a + b – ab ,则 A.a B.b C.1 D.0 42.公式),()),(),((y x xP z y Q y x P y x ?∧∨??换名( A ) A.),()),(),((y x xP z u Q u x P u x ?∧∨?? B.),()),(),((u x xP z u Q u x P y x ?∧∨??; C.),()),(),((u x xP z y Q y x P y x ?∧∨?? D.),()),(),((y u uP z y Q y u P y u ?∧∨??。 43.下面蕴涵关系不成立的是( C ) A.))()(()()(x Q x P x x xQ x xP ∨???∧? B.))()(()()(x Q x P x x xQ x xP →???→? C.))()(()()(x Q x P x x xQ x xP →???→? D.),(),(y x xA y y x yA x ????? 44.N 是自然数集,定义3mod )()( ,:x x f N N f =→(即x 除以3的余数),则f 是(D) A.满射不是单射 B.单射不是满射 C.双射 D.不是单射也不是满射 45.集合A={2,3,6,12,24,36}上偏序关系R 的Hass 图为 则集合B={2,3,6,12}的上确界( ) B={2,3,6,12}的下界( ) C={6,12,24,36}的下确界( ) D={6,12,24,36}的上界( ) A. 12,无,6,36 B. 12,2,6,36 C. 12,2,12,36 D .12,无,6,无 46.下列哪个偏序集构成有界格( ) A.(N ,≤) B.(Z ,≥) C.({2,3,4,6,12},|(整除关系)) D .(P (A ),?) 47.六阶群的子群的阶数可以是( D) A.1,2,5 B.2,4 C.3,6,7 D.2,3 48.对右图,则)(),(),(G G G k δλ分别为( C ) A.2、2、1 B.1、1、2 C.1、1、1 D.1、2、2 49.一棵树有7片树叶,3个3度结点,其余全是4度结点,则该树有( A )个4度结点 A.1 B.2 C.3 D.4 50.具有6 个顶点,12条边的连通简单平面图中,每个面都是由( C )条边围成 A.2 B.4 C.3 D.5 51.设G 是有n 个结点m 条边的连通平面图,且有k 个面,则k 等于( A) A.m-n+2 B.n-m-2 C.n+m-2 D.m+n+2 52.下列哪个公式为永真式?( C ) A.?Q=>Q→P B.?Q=>P→Q C.P=>P→Q D.?P ∧(P ∨Q)=>P 53.“人总是要死的”谓词公式表示为( )(论域为全总个体域)M(x):x 是人;Mortal(x):x 是要死的 A.)()(x Mortal x M → B.)()(x Mortal x M ∧ C. ))()((x Mortal x M x ∧? D.))()((x Mortal x M x →? 54.设}}2,1{},1{,{Φ=S ,则有( A )S ? A.{{1,2}} B.{1,2 } C.{1} D.{2} 55.判断下列命题哪个正确?( B ) A.若A∪B=A∪C,则B =C B.{a,b}={b,a} C.P(A∩B)≠P(A)∩P (B)(P(S)表示S 的幂集) D.若A 为非空集,则A ≠A∪A 成立 56.下列结果正确的是( ) A.B A B A =-?)( B.Φ=-?A B A )( C.A B B A =?-)( D.Φ=Φ?Φ}{ 57.集合},2{N n x x A n ∈==对( )运算封闭 A. 乘法 B.减法 C. 加法 D.y x - 58.设I 为整数集合,m 是任意正整数,m Z 是由模m 的同余类组成的同余类集合,在m Z 上定义运算 ]mod )[(][][m j i j i ?=?,则代数系统>? A.封闭的代数系统 B.半群 C.独异点 D.群 59.设≤><,N 是偏序格,其中N 是自然数集合,“≤”是普通的数间“小于等于”关系,则 N b a ∈?,有=∨b a ( ) A.a B.b C.min(a ,b) D. max(a ,b) 60.一棵无向树T 有4度、3度、2度的分枝点各1个,其余顶点均为树叶,则T 中有( )片树叶 A.3 B.4 C.5 D.6 61.有向图D= A.0 B.1 C.2 D.3 62.设},,,,,{f e d c b a V =,},,,,,,,,,,,{><><><><><><=e f e d d a a c c b b a E ,则有向图 >= A.强连通的 B.单侧连通的 C.弱连通的 D.不连通的 63.设无向图G 有18条边且每个顶点的度数都是3,则图G 有( )个顶点 A.10 B.4 C.8 D.12 64.下列命题正确的是( C ) 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 ??Φ?Φ?Φ则 , 65.设A={a,{a}},下列命题错误的是( B ) A.{a}∈P(A) B.{a}?P(A) C.{{a}}∈P(A) D.{{a}}?P(A) 66.设A={Φ} ,B=Р(Р(A)) 下列( )表达式不成立 A.B ?Φ B.{}B ?Φ C. B ?Φ D. {}{}B ∈Φ 67.设R ,S 是集合A 上的关系,则下列( )断言是正确的 A .S R ,自反的,则S R 是自反的 B.若S R ,对称的,则S R 是对称的 C.若S R ,传递的,则S R 是传递的 D.若S R ,反对称的,则S R 是反对称的 68.设P={x|(x+1)2≤4且x ∈R},Q={x|5≤x 2+16且x ∈R},则下列命题哪个正确( ) A.Q ?P B.Q ?P C.P ?Q D.P=Q 代数系统 69.),2(⊕=S G ,其中}3,2,1{=S ,⊕为集合对称差运算,则方程}3,1{}2,1{=⊕x 的解为( ) A. Φ B.}3,2,1{ C.}3,1{ D. }3,2{ 70.在有理数集Q 上定义的二元运算*,Q y x ∈?,有xy y x y x -+=*, 则Q 中满足( ) A. 1,≠∈?x Q x 时有逆元1-x B.只有唯一逆元 C. 所有元素都有逆元 D.所有元素都无逆元 71.设S={0,1},*为普通乘法,则< S , * >是( ) A.半群,但不是独异点 B.只是独异点,但不是群 C.群 D.环,但不是群 72.设A={1,2,…,10 },则下面定义的运算*关于A 封闭的有( ) A.x*y=max(x ,y) B.x*y=质数p 的个数使得y p x ≤≤ C.x*y=gcd(x , y) (gcd (x ,y)表示x 和y 的最大公约数) D.x*y=lcm(x ,y) (lcm(x ,y) 表示x 和y 的最小公倍数) 73.设[{a , b , c},*]为代数系统,*运算如下: 则零元为( C) A.a B.b C.c D.没有 74.设>=< },2,1,0{1G ,>=<},*1,0{2G ,其中 表示模3加法,*表示模2乘法,在集合21G G ?上定义如下运算:,,,,21G G d c b a ?>∈<>*>=<> A.<0,0> B.<0,1> C.<1,0> D.<1,1> 75.设R 是实数集合,“?”为普通乘法,则代数系统 A .群 B .独异点 C .半群 76.设是一个格,由格诱导的代数系统为>∧∨<, , A ,则( )成立 A.的分配律对满足∧∨>∧∨<,,A B.b b a b a A b a =∨?≤∈?,, C.c b c a b a A c b a =∨=∨∈?则若 ,,, D.b b a a b b a a A b a =∨∧=∧∨∈?)( )(,,且有 77.设}4,4 1,3,31,2,21,1{=s ,*为普通乘法,则 A.代数系统 B.半群 C.群 D.都不是 78.设}4,4 1,3,31,2,21,1{=s ,*为普通乘法,则 79.在自然数集N 上,下列哪种运算是可结合的?( ) A.a*b=a-b B.a*b=max{a ,b} C.a*b=a+2b D.a*b=|a-b| 80.设≤><,A 是一个有界格,如果它也是有补格,只要满足( ) A. 每个元素都至少有一个补元 B. 每个元素都有多个补元 C.每个元素都无补元 D. 每个元素都有一个补元 81.具有如下定义的代数系统>*<,G ,( )不构成群 A.}10,1{=G ,*是模11乘 B.}9,5,4,3,1{=G ,*是模11乘 C.Q G =(有理数集),*是普通加法 D .Q G =(有理数集),*是普通乘法 82.在( )中,补元是唯一的 A.有界格 B.有补格 C.分配格 D.有补分配格 83.在布尔代数>-∧∨<,, , A 中,0=∧c b 当且仅当( ) A.c b ≤ B.b c ≤ C.c b ≤ D.b c ≤ 84.设是偏序集,“≤”定义为:b a b a A b a |,,?≤∈?,则当A=( )时,是格 A.{1,2,3,4,6,12} B.{1,2,3,4,6,8,12,14} C.{1,2,3,…,12} D.{1,2,3,4} 85.设>-∧∨<,, , A 是布尔代数,f 是从A n 到A 的函数,则( ) A.f 是布尔代数 B.f 能表示成析取范式,也能表示成合取范式 C.若A={0,1},则f 一定能表示成析取范式,也能表示成合取范式 D.若f 是布尔函数,它一定能表示成析(合)取范式 图论 86.连通非平凡的无向图G 有一条欧拉回路当且仅当图G ( ) A.只有一个奇度结点 B.只有两个奇度结点 C.只有三个奇度结点 D.没有奇度结点 87.设>= A.完全图 B.树 C.简单图 D.多重图 88.若一棵完全二元(叉)树有2n-1个顶点,则它( )片树叶 A.n B.2n C.n-1 D.2 89.图给出一个格L,则L是( ) A.分配格 B.有补格 C.布尔格 D.A,B,C都不对 90.在Peterson图中,至少填加( )条边才能构成Euler图 A.1 B.2 C.4 D.5 91.在有n个顶点的连通图中,其边数( ) A.最多有n-1条 B.至少有n-1 条 C.最多有n条 D.至少有n 条 92.图中从v1到v3长度为2的通路有( )条 A. 0 B. 3 C. 2 D. 1 93.下面那一个图可一笔画出( A ) 94.一个割边集与任何生成树之间( ) A.没有关系 B.割边集诱导子图是生成树 C.有一条公共边 D.至少有一条公共边 95.在任何图中必定有偶数个( ) A.度数为偶数的结点 B.入度为奇数的结点 C.度数为奇数的结点 D.出度为奇数的结点 96.一棵树有2个2度顶点,1 个3度顶点,3个4度顶点,则其1度顶点为( ) A.5 B.7 C.8 D.9 97.下列偏序集( C )能构成格 98.连通图G 是一棵树当且仅当G 中( ) A.有些边是割边 B.每条边都是割边 C.所有边都不是割边 D.图中存在一条欧拉路径 99.有n 个结点)3(≥n ,m 条边的连通简单图是平面图的必要条件( ) A.63-≥m n B.63-≤m n C.63-≥n m D.63-≤n m 100. 设无向图G 有18条边且每个顶点的度数都是3,则图G 有( )个顶点 A.10 B.4 C.8 D.12 101. 在有n 个顶点的连通图中,其边数( ) A.最多有n-1条 B.至少有n-1条 C.最多有n 条 D.至少有n 条 102. 给定无向图>= A.},,,{4341><> B.},,,{6454><> C.},,,{8474><> D.},,,{3221><> 103. 如右图 相对于完全图K 5的补图为( A ) 104. 下列哪一种图不一定是树( ) A.无回路的简单连通图 B.每对顶点间都有通路的图 C.有n 个顶点n-1条边的连通图 D.连通但删去任何一条边便不连通的图 105. 下面偏序集( B )能构成格 106. 6阶有限群的任何子群一定不是( ) A.2阶 B.3 阶 C.4 阶 D.6 阶 107. 在如下的有向图中,从V 1到V 4长度为3 的道路有( )条 A .1 B .2 C .3 D .4 108. n 个结点的无向完全图n K 的边数为( ) A.)1(+n n B.2)1(+n n C.)1(-n n D.2 )1(-n n 109. 设G 是一个哈密尔顿图,则G 一定是( ) A.欧拉图 B.树 C.平面图 D.连通图 110. 在如下各图中( B)是欧拉图 111. 下列图中( )是根树 A.>><><><=<},,,,,{},,,,{1d c b a a a d c b a G B.>><><><=<},,,,,{},,,,{2d c d b b a d c b a G C.>><><><=<},,,,,{},,,,{3a c d a b a d c b a G D.>><><><=<},,,,,{},,,,{4d d c a b a d c b a G 112. 下面给出的集合中,哪一个是前缀码?( ) A.{0,10,110,101111} B.{1,11,101,001,0011} C.{b ,c ,aa ,ab ,aba} D.{01,001,000,1} 113. 左图[0]相对于完全图的补图为( A ) 114. 下列图中是欧拉图的有( A ) 115.设n阶图G有m条边,每个结点度数不是k就是k+1,若G中有N k个k度结点,则N k=( ) A.n×k B.n×(k+1) C.n×(k+1)-m D.n×(k+1)-2m 116.设G是简单有向图,可达矩阵P(G)刻画下列 ( C )关系 A.点与边 B.边与点 C.点与点 D.边与边 117.设G是一棵树,n,m分别表示顶点数和边数,则( ) A.n=m B. n=m+1 C. m=n+1 D.不能确定 . 1. 写出命题公式 ﹁(P →(P ∨ Q ))的真值表。 答案: 2.证明 答案: 3. 证明以下蕴涵关系成立: 答案: 4. 写出下列式子的主析取范式: 答案: 5. 构造下列推理的论证:p ∨q, p →r, s →t, s →r, t q 答案: ) ()(R P Q P ∨∧∧?) ()(R P Q P ∨∧?∨??) )(())(R Q P P Q P ∧?∨?∨∧?∨??) ()()()(R Q R P P Q P P ∧?∨∧?∨∧?∨∧??) ()()(Q R P R P Q R P Q ∧∧?∨?∧∧?∨∧∧??) ()()(P R Q P R Q Q R P ?∧∧?∨∧∧?∨?∧∧?∨) ()()(Q R P R P Q R P Q ∧∧?∨?∧∧?∨∧∧??) (Q R P ?∧∧?∨) ()(Q P Q P Q P ?∧?∨∧??Q) P (Q)(P P) (Q P)P (Q)(Q Q)P (P) Q)P ((Q)Q)P (P) Q (Q)P (Q P ?∧?∨∧?∧∨∧?∨?∧∨?∧??∧∨?∨?∧∨??∨?∧∨???Q Q P P ?∨∧?)() ()(R P Q P ∨∧∧? ①s →t 前提 ②t 前提 ③s ①②拒取式I12 ④s →r 前提 ⑤r ③④假言推理I11 ⑥p →r 前提 ⑦p ⑤⑥拒取式I12 ⑧p ∨q 前提 ⑨q ⑦⑧析取三段论I10 6. 用反证法证明:p →((r ∧s)→q), p, s q 7. 请将下列命题符号化: 所有鱼都生活在水中。 答案: 令 F( x ):x 是鱼 W( x ):x 生活在水中 ))((W(x)F(x)x →? 8. 请将下列命题符号化: 存在着不是有理数的实数。 答案: 令 Q ( x ):x 是有理数 R ( x ):x 是实数 Q(x))x)(R(x)(?∧? 9. 请将下列命题符号化: 尽管有人聪明,但并非一切人都聪明。 答案: 令M(x):x 是人 C(x):x 是聪明的 则上述命题符号化为 10. 请将下列命题符号化: 对于所有的正实数x,y ,都有x+y ≥x 。 答案: 令P(x):x 是正实数 S(x,y): x+y ≥x 11. 请将下列命题符号化: 每个人都要参加一些课外活动。 答案: ))) ()((())()((x C x M x x C x M x →??∧∧?)) ,()()((y x S y P x P y x →∧?? 数理逻辑部分 选择、填空及判断 ?下列语句不就是命题的( A )。 (A) 您打算考硕士研究生不? (B) 太阳系以外的星球上有生物。 (C) 离散数学就是计算机系的一门必修课。 (D) 雪就是黑色的。 ?命题公式P→(P∨?P)的类型就是( A ) (A) 永真式(B) 矛盾式 (C) 非永真式的可满足式(D) 析取范式 ?A就是重言式,那么A的否定式就是( A ) A、矛盾式 B、重言式 C、可满足式 D、不能确定 ?以下命题公式中,为永假式的就是( C ) A、p→(p∨q∨r) B、(p→┐p)→┐p C、┐(q→q)∧p D、┐(q∨┐p)→(p∧┐p) ?命题公式P→Q的成假赋值就是( D ) A、 00,11 B、 00,01,11 C、10,11 D、 10 ?谓词公式) x xP∧ ?中,变元x就是 ( B ) R , ( x ) (y A、自由变元 B、既就是自由变元也就是约束变元 C、约束变元 D、既不就是自由变元也不就是约束变元 ?命题公式P→(Q∨?Q)的类型就是( A )。 (A) 永真式 (B) 矛盾式 (C) 非永真式的可满足式 (D) 析取范式 ?设B不含变元x,) x x→ ?等值于( A ) A ) ( (B A、B (D、B x xA→ x ?) ( ( ?C、B x∧ A ?) (B、) ?) xA→ x ) ( A x (B x∨ ?下列语句中就是真命题的就是( D )。 A.您就是杰克不? B.凡石头都可练成金。 C.如果2+2=4,那么雪就是黑的。 D.如果1+2=4,那么雪就是黑的。 ?从集合分类的角度瞧,命题公式可分为( B ) A、永真式、矛盾式 B、永真式、可满足式、矛盾式 C、可满足式、矛盾式 D、永真式、可满足式 ?命题公式﹁p∨﹁q等价于( D )。 A、﹁p∨q B、﹁(p∨q) C、﹁p∧q D、 p→﹁q ?一个公式在等价意义下,下面写法唯一的就是( D )。 (A) 范式 (B) 析取范式 (C) 合取范式 (D) 主析取范式 ?下列含有命题p,q,r的公式中,就是主析取范式的就是( D )。 离散数学试题(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(置换)?R 2)?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∨S 2) ?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的整数倍 证明设 1 a,2a,…,1+m a为任取的m+1个整数,用m去除它们所得余数 只能是0,1,…,m-1,由抽屉原理可知, 1 a,2a,…,1+m a这m+1个整 数中至少存在两个数 s a和t a,它们被m除所得余数相同,因此s a和t a的差是m的整数倍。 五、已知A、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C) (15分)证明∵x∈ A-(B∪C)? x∈ A∧x?(B∪C)? x∈ A∧(x?B∧x?C)?(x∈ A∧x?B)∧(x∈ A∧x?C)? x∈(A-B)∧x∈(A-C)? x∈(A-B)∩(A-C)∴A-(B∪C)=(A-B)∩(A-C) 六、已知R、S是N上的关系,其定义如下:R={ 一、选择题:(每题2’) 1、下列语句中不是命题的有( )。 A .离散数学是计算机专业的一门必修课。 B .鸡有三只脚。 C .太阳系以外的星球上有生物 。 D .你打算考硕士研究生吗? 2、命题公式A 与B 是等价的,是指( )。 A . A 与B 有相同的原子变元 B . A 与B 都是可满足的 C . 当A 的真值为真时,B 的真值也为真 D . A 与B 有相同的真值 3、所有使命题公式P∨(Q∧?R)为真的赋值为( )。 A . 010,100,101,110,111 B . 010,100,101,111 C . 全体赋值 D . 不存在 4、合式公式 (P∧Q)R 的主析取范式中含极小项的个数为( )。 A .2 B .3 C .5 D .0 5、一个公式在等价意义下,下面哪个写法是唯一的( )。 A .析取范式 B .合取范式 C .主析取范式 D .以上答案都不对 6、下述公式中是重言式的有( )。 A .(P ∧Q) (P ∨Q) B .(P Q) (( P Q)∧(Q P)) C .(P Q)∧Q D .P (P ∧Q) 7、命题公式 (P Q) ( Q ∨P) 中极小项的个数为( ),成真赋值的个数为( )。 A .0 B .1 C .2 D .3 8、若公式 (P∧Q)∨(P∧R) 的主析取范式为 m 001∨m 011∨m 110∨m 111 则它的主合取范式为( )。 A .m 001∧m 011∧m 110∧m 111 B .M 000∧M 010∧M 100∧M 101 C .M 001∧M 011∧M 110∧M 111 D .m 000∧m 010∧m 100∧m 101 9、下列公式中正确的等价式是( )。 A .(x)A(x) ( x)A(x) B .(x) (y)A(x, y) (y) (x) A(x, y) C .(x)A(x) (x)A(x) D .(x) (A(x) ∧B(x)) ( x) A(x) ∨(x) B(x) 10、下列等价关系正确的是( )。 A .x ( P(x) ∨Q(x) ) x P(x) ∨x Q(x) B .x ( P(x) ∨Q(x) ) x P(x) ∨x Q(x) C .x ( P(x) Q ) x P(x) Q D . x ( P(x) Q ) x P(x) Q 11、设个体域为整数集,下列真值为真的公式是( )。 A .x y (x·y=1) B .x y (x·y=0) C . x y (x·y=y) D .x y (x+y=2y ) 12、设S={,{1},{1,2}},则有( )S 。 A .{{1,2}} B .{1,2 } C .{1} D .{2} 13、下列是真命题的有( )。 A .{a}{{a}} B .{{}}{,{}} C .{,{}} D .{}{,{}} 试卷二试题与参考答案 一、填空 1、 P:您努力,Q:您失败。 2、 “除非您努力,否则您将失败”符号化为 ; “虽然您努力了,但还就是失败了”符号化为 。 2、论域D={1,2},指定谓词P P (1,1) P (1,2) P (2,1) P (2,2) T T F F 则公式x ??真值为 。 3设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则 R= (列举法)。 R 的关系矩阵M R = 。 4、设A={1,2,3},则A 上既不就是对称的又不就是反对称的关系 R= ;A 上既就是对称的又就是反对称的关系R= 。 5、设代数系统,其中A={a,b,c}, 则幺元就是 ;就是否有幂等 性 ;就是否有对称性 。 6、4阶群必就是 群或 群。 7、下面偏序格就是分配格的就是 。 8、n 个结点的无向完全图K n 的边数为 ,欧拉图的充要条件就是 。 * a b c a b c a b c b b c c c b 二、选择 1、在下述公式中就是重言式为( ) A.)()(Q P Q P ∨→∧; B.))()(()(P Q Q P Q P →∧→??; C.Q Q P ∧→?)(; D.)(Q P P ∨→。 2、命题公式 )()(P Q Q P ∨?→→? 中极小项的个数为( ),成真赋值的个数为 ( )。 A.0; B.1; C.2; D.3 。 3、设}}2,1{},1{,{Φ=S ,则 S 2 有( )个元素。 A.3; B.6; C.7; D.8 。 4、设} 3 ,2 ,1 {=S ,定义S S ?上的等价关系 },,,, | ,,,{c b d a S S d c S S b a d c b a R +=+?>∈>∈<><><<=则由 R 产 生的S S ?上一个划分共有( )个分块。 A.4; B.5; C.6; D.9 。 5、设} 3 ,2 ,1 {=S ,S 上关系R 的关系图为 则R 具有( )性质。 A.自反性、对称性、传递性; B.反自反性、反对称性; C.反自反性、反对称性、传递性; D.自反性 。 6、设 ο,+ 为普通加法与乘法,则( )>+<ο,,S 就是域。 A.},,3|{Q b a b a x x S ∈+== B.},,2|{Z b a n x x S ∈== C.},12|{Z n n x x S ∈+== D.}0|{≥∧∈=x Z x x S = N 。 7、下面偏序集( )能构成格。 离散数学习题三 11、填充下面推理证明中没有写出的推理规则。 前提:p s r r q q ,,,p →∨?∨? 结论:s 证明:① p 前提引入 ②q ∨?p 前提引入 ③ q (①②析取三段论) ④r q ∨? 前提引入 ⑤ r (③④析取三段论) ⑥s r → 前提引入 ⑦ s (⑤⑥假言推理) 12、填充下面推理证明中没有写出的推理规则。 前提:s)(r q r),(q p →→→→ 结论:s q)(p →∧ 证明:①q)(p ∧ (附加前提) ② p (①化简规则) ③ q (①化简规则) ④r)(q p →→ 前提引入 ⑤r q → (②④假言推理) ⑥ r (③⑤假言推理) ⑦s)(r q →→ 前提引入 ⑧s)(r → (③⑦假言推理) ⑨ s (⑥⑧假言推理) 13、前提:s r ,q p q,q)p (→∨∧→? 结论1:r 结论2:s 结论3:s ∨r (1)证明从此前提出发,推出结论1,结论2,结论3的推理都是正确的。 (2)证明从此前提出发,推任何结论的推理都是正确的。 证明:(1)①r s))r (q)(p q)q)p (((→→∨∨∨∧→? 1r s))r (q)p (q)q)p ((?∨?∧∨?∧?∨?∨∨?? ②s ∨ → ∨ → ? ((→ ∨ ∧ s)) p( q) r( q) q) (p ∧ ? ? ∨ ∨ ∧ ? ? ? ∨ ∨ ? q) r( q) ∨ s 1 p s)) p ( q) ((? ③s) ∨ ∨ → ∨ ?r → → ∧ (p q) s)) ((∨ ( r( q) q) p( ? ∧ ∨ ∧ ? ? ? ?r ∨ ∨ ? ∨ ∨ r( q) ∨ s 1 p s)) ((? p q) ( q) 即结论1,结论2,结论3的推理都是正确的。 (2)s) ∨ ∧ ∧ ∧ → (→ ? r( p( (p q) q) q) ∧ ? ∨ ? ∧ ? ∨ ∧ ∧ ∧ ? ? ? ∨ ? ∨ ∧ ∧ (∨ (p q) p( q) ( s) r s) q r p ( q) q) ( q) (p ∨ ? ∧ 0? ? ∨ ∧ s) (p r ( q) 即推任何结论的推理都是正确的。 14、在自然推理系统P中构造下面推理的证明: (1)前提:q → p, → (q r) p, r→ 结论:s 证明:①r) →前提引入 p→ (q ②p 前提引入 ③r) (q→①②假言推理 ④q 前提引入 ⑤r③④假言推理 r→⑤附加律 ⑥s 15、在自然推理系统P中用附加前提法证明下面的推理: 前提:q → , →s p→ (q p, r) s→ 结论:r 证明: ①s 附加前提引入 ②p s前提引入 → ③p①②假言推理 ④r) →前提引入 p→ (q ⑤r q→③④假言推理 ⑥q 前提引入 ⑦r ⑤⑥假言推理 即根据附加前提证明法,推理正确。 一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B={3} ; ρ(A) - ρ(B)={3},{1,3},{2,3},{1,2,3}} . 2. 设有限集合A, |A| = n, 则|ρ(A×A)| = 2 2n. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2), (b,1)}, 其中双射的是α3, α4 . 4. 已知命题公式G=?(P→Q)∧R,则G的主析取范式是(P∧?Q∧R) 5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为3. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B={4} ; A?B={1,2,3,4}; A-B={1,2} . 7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性, 对称性传递性. 8. 设命题公式G=?(P→(Q∧R)),则使公式G为真的解释有(1, 0, 0), (1, 0, 1),(1, 1, 0) 9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 则 R1?R2 ={(1,3),(2,2),(3,1)} , R2?R1 = {(2,4),(3,3),(4,2)} _ R12 ={(2,2),(3,3). 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 = -1<=x<0 , B-A = {x | 1 < x < 2, x∈R} , A∩B ={x | 0≤x≤1, x∈R} , . 13.设集合A={2, 3, 4, 5, 6},R是A上的整除关系,则R以集合形式(列举法)记为 {(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)} . 14. 设一阶逻辑公式G = ?xP(x)→?xQ(x),则G的前束范式是?x(?P(x)∨Q(x)) . 15.设G是具有8个顶点的树,则G中增加21 条边才能把G变成完全图。(完全图的边 数 2)1 (- n n ,树的边数为n-1) 16.设谓词的定义域为{a, b},将表达式?xR(x)→?xS(x)中量词消除,写成与之对应的命题公式是_ (R(a)∧R(b))→(S(a)∨S(b)) _. 17. 设集合A={1, 2, 3, 4},A上的二元关系R={(1,1),(1,2),(2,3)}, S={(1,3),(2,3),(3,2)}。则 离散数学课后习题答案(左孝凌版) 1-1,1-2解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解: a)(┓P ∧R)→Q b)Q→R c)┓P d)P→┓Q (4)解: a)设Q:我将去参加舞会。R:我有时间。P:天下雨。 Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。 b)设R:我在看电视。Q:我在吃苹果。 R∧Q:我在看电视边吃苹果。 c) 设Q:一个数是奇数。R:一个数不能被2除。 (Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。 (5) 解: a)设P:王强身体很好。Q:王强成绩很好。P∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P: a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P Q f)设P:语法错误。Q:程序错误。R:停机。(P∨ Q)→ R (6) 解: a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解: 第四章部分课后习题参考答案 3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值: (1) 对于任意x,均有2=(x+)(x). (2) 存在x,使得x+5=9. 其中(a)个体域为自然数集合. (b)个体域为实数集合. 解: F(x): 2=(x+)(x). G(x): x+5=9. (1)在两个个体域中都解释为) ?,在(a)中为假命题,在(b)中为真命题。 (x xF (2)在两个个体域中都解释为) (x ?,在(a)(b)中均为真命题。 xG 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x能表示成分数 H(x): x是有理数 命题符号化为: )) x x∧ ? ?? F ( ) ( (x H (2)F(x): x是北京卖菜的人 H(x): x是外地人 命题符号化为: )) x F H x→ ?? (x ) ( ( 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快 命题符号化为: )) F x G y x→ ? ? y ∧ )) ( , ( ) x ((y ( H (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快 命题符号化为: ))) y x F G y→ ?? ∧ ? x ( ) ( , H ( x ) (y ( 9.给定解释I如下: (a) 个体域D为实数集合R. 离散数学试题及答案 一、填空题 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 →(P ∨ Q))的真值表。 答案: 2.证明 答案: 3. 证明以下蕴涵关系成立: 答案: 4. 写出下列式子的主析取范式: 答案: )()(Q P Q P Q P ?∧?∨∧??Q)P (Q)(P P)(Q P)P (Q)(Q Q)P (P)Q)P ((Q)Q)P (P) Q (Q)P (Q P ?∧?∨∧?∧∨∧?∨?∧∨?∧??∧∨?∨?∧∨??∨?∧∨???Q Q P P ?∨∧?)()()(R P Q P ∨∧∧? 5. 构造下列推理的论证:p ∨q, p→?r , s →t, ?s →r, ?t ? q 答案: ①s →t 前提 ②t 前提 ③s ①②拒取式I12 ④s →r 前提 ⑤r ③④假言推理I 11 ⑥p →r 前提 ⑦p ⑤⑥拒取式I12 ⑧p ∨q 前提 ⑨q ⑦⑧析取三段论I10 6. 用反证法证明:p→(?(r ∧s )→?q ), p, ?s ? ?q ) ()(R P Q P ∨∧∧?) ()(R P Q P ∨∧?∨??) )(())(R Q P P Q P ∧?∨?∨∧?∨??) ()()()(R Q R P P Q P P ∧?∨∧?∨∧?∨∧??) ()()(Q R P R P Q R P Q ∧∧?∨?∧∧?∨∧∧??) ()()(P R Q P R Q Q R P ?∧∧?∨∧∧?∨?∧∧?∨) ()()(Q R P R P Q R P Q ∧∧?∨?∧∧?∨∧∧??) (Q R P ?∧∧?∨ 7. 请将下列命题符号化: 所有鱼都生活在水中。 答案: 令 F ( x ):x是鱼 W( x ):x 生活在水中 ))((W(x)F(x)x →? 8. 请将下列命题符号化: 存在着不是有理数的实数。 答案: 令 Q ( x ):x 是有理数 R ( x ):x 是实数 Q(x))x)(R(x)(?∧? 9. 请将下列命题符号化: 尽管有人聪明,但并非一切人都聪明。 答案: 令M(x):x 是人 C(x):x 是聪明的 则上述命题符号化为 10. 请将下列命题符号化: 对于所有的正实数x,y ,都有x+y ≥x。 答案: 令P(x):x 是正实数 S(x,y): x+y ≥x 11. 请将下列命题符号化: 每个人都要参加一些课外活动。 答案: 令P(x ):x 是人 Q (y): y 是课外活动 S(x,y):x参加y ))) ()((())()((x C x M x x C x M x →??∧∧?)) ,()()((y x S y P x P y x →∧??))(),()((y Q y x S x P y x ∧→?? 离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】 326《离散数学》期末考试题(B ) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ), )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二.1. 若n B m A ==||,||,则=?||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)},则( )是单射,( )是满射,( )是双射. 3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(; (2))(q p p ∨→; (3))(q p p ∧→; (4)q q p p →∨∧?)(; (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ). 第十四章部分课后习题参考答案 5、设无向图G 有10条边,3度与4度顶点各2个,其余顶点的度数均小于3,问G 至少有多少个顶点?在最少顶点的情况下,写出度数列、)()(G G δ、?。 解:由握手定理图G 的度数之和为:20102=? 3度与4度顶点各2个,这4个顶点的度数之和为14度。 其余顶点的度数共有6度。 其余顶点的度数均小于3,欲使G 的顶点最少,其余顶点的度数应都取2, 所以,G 至少有7个顶点, 出度数列为3,3,4,4,2,2,2,2)(,4)(==?G G δ. 7、设有向图D 的度数列为2,3,2,3,出度列为1,2,1,1,求D 的入度列,并求)(),(D D δ?, )(),(D D ++?δ,)(),(D D --?δ. 解:D 的度数列为2,3,2,3,出度列为1,2,1,1,D 的入度列为1,1,1,2. 2)(,3)(==?D D δ,1)(,2)(==?++D D δ,1)(,2)(==?--D D δ 8、设无向图中有6条边,3度与5度顶点各1个,其余顶点都是2度点,问该图有多少个顶点? 解:由握手定理图G 的度数之和为:1262=? 设2度点x 个,则1221513=+?+?x ,2=x ,该图有4个顶点. 14、下面给出的两个正整数数列中哪个是可图化的?对可图化的数列,试给出3种非同构的无向图,其中至少有两个时简单图。 (1) 2,2,3,3,4,4,5 (2) 2,2,2,2,3,3,4,4 解:(1) 2+2+3+3+4+4+5=23 是奇数,不可图化; (2) 2+2+2+2+3+3+4+4=16, 是偶数,可图化; 18、设有3个4阶4条边的无向简单图G 1、G 2、G 3,证明它们至少有两个是同构的。 证明:4阶4条边的无向简单图的顶点的最大度数为3,度数之和为8,因而度数列为2,2,2,2;3,2,2,1;3,3,1,1。但3,3,1,1对应的图不是简单图。所以 离散数学练习题 第一章 一.填空 1.公式) ∨ ? ∧的成真赋值为 01;10 ? p∧ ( (q ) p q 2.设p, r为真命题,q, s 为假命题,则复合命题) ? ? →的真值为 0 p→ ( q (s ) r 3.公式) ∨ ? p∧ q ?与共同的成真赋值为 01;10 ? ∧ p ( ) ) (q q p ( 4.设A为任意的公式,B为重言式,则B A∨的类型为重言式 5.设p, q均为命题,在不能同时为真条件下,p与q的排斥也可以写成p与q的相容或。 二.将下列命题符合化 1. 7不是无理数是不对的。 解:) ? ?,其中p: 7是无理数;或p,其中p: 7是无理数。 (p 2.小刘既不怕吃苦,又很爱钻研。 解:其中 ?p: 小刘怕吃苦,q:小刘很爱钻研 p∧ ,q 3.只有不怕困难,才能战胜困难。 解:p →,其中p: 怕困难,q: 战胜困难 q? 或q →,其中p: 怕困难, q: 战胜困难 p? 4.只要别人有困难,老王就帮助别人,除非困难解决了。 解:) → ?,其中p: 别人有困难,q:老王帮助别人,r: 困难解决了 p (q r→ 或:q ?) (,其中p:别人有困难,q: 老王帮助别人,r: 困难解决了r→ ∧ p 5.整数n是整数当且仅当n能被2整除。 解:q p?,其中p: 整数n是偶数,q: 整数n能被2整除 三、求复合命题的真值 P:2能整除5, q:旧金山是美国的首都, r:在中国一年分四季 1. )) p∧ → q ∨ r → ∧ ((q r ( ) ( ) p 2.r ?) → (( → (( ∨ ) ( )) p r p ∨ p q ? ∧ ? q∧ 解:p, q 为假命题,r为真命题 1.)) p∧ → q ∨的真值为0 r → ∧ ( ) ( ) ((q p r . 一、选择题:(每题2’) 1、下列语句中不是命题的有()。 A.离散数学是计算机专业的一门必修课。B.鸡有三只脚。 C.太阳系以外的星球上有生物。D.你打算考硕士研究生吗? 2、命题公式A与B是等价的,是指()。 A.A与B有相同的原子变元B.A与B都是可满足的 C.当A的真值为真时,B的真值也为真D.A与B有相同的真值 3、所有使命题公式P∨(Q∧?R)为真的赋值为()。 A.010,100,101,110,111 B.010,100,101,111 C.全体赋值D.不存在 4、合式公式?(P∧Q)→R的主析取范式中含极小项的个数为()。 A.2 B.3 C.5 D.0 5、一个公式在等价意义下,下面哪个写法是唯一的()。 A.析取范式B.合取范式C.主析取范式D.以上答案都不对 6、下述公式中是重言式的有()。 A.(P∧Q) → (P∨Q) B.(P?Q) ? (( P→Q)∧(Q→P)) C.?(P →Q)∧Q D.P →(P∧Q) 7、命题公式(?P→Q) →(?Q∨P)中极小项的个数为(),成真赋值的个数为()。 A.0 B.1 C.2 D.3 8、若公式(P∧Q)∨(?P∧R) 的主析取范式为m001∨m011∨m110∨m111则它的主合取范式为()。 A.m001∧m011∧m110∧m111B.M000∧M010∧M100∧M101 C.M001∧M011∧M110∧M111D.m000∧m010∧m100∧m101 9、下列公式中正确的等价式是()。 A.?(?x)A(x) ? (?x)?A(x) B.(?x) (?y)A(x, y) ? (?y) (?x) A(x, y) C.?(?x)A(x) ? (?x)?A(x) D.(?x) (A(x) ∧B(x)) ? (?x) A(x) ∨(?x) B(x) 10、下列等价关系正确的是()。 A.?x ( P(x) ∨Q(x) ) ??x P(x) ∨?x Q(x) B.?x ( P(x) ∨Q(x) ) ??x P(x) ∨?x Q(x) C.?x ( P(x) →Q ) ??x P(x) → Q D.?x ( P(x) →Q ) ??x P(x) → Q 11、设个体域为整数集,下列真值为真的公式是()。 A.?x?y(x·y=1)B.?x?y(x·y=0)C.?x?y(x·y=y)D.?x?y(x+y=2y) 12、设S={?,{1},{1,2}},则有()?S。 A.{{1,2}} B.{1,2 } C.{1} D.{2} 13、下列是真命题的有()。 A.{a}?{{a}} B.{{?}}∈{?,{?}} C.?∈{?,{?}} D.{?}∈{?,{?}} 14、设S={?,{1},{1,2}},则2S有()个元素。 A.3 B.6 C.7 D.8 欢迎共阅 一、填空题 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.6设A 、7.设R 8.9.设集合 R 1?R 2 R 1210.11设A ∩13.14.设一阶逻辑公式G=?xP(x)??xQ(x),则G 的前束范式是_______________________________. 16.设谓词的定义域为{a ,b },将表达式?xR(x)→?xS(x)中量词消除,写成与之对应的命题公式是__________________________________________________________________________. 17.设集合A ={1,2,3,4},A 上的二元关系R ={(1,1),(1,2),(2,3)},S ={(1,3),(2,3),(3,2)}。则R ?S =_____________________________________________________, R 2=______________________________________________________. 二、选择题 《离散数学》题库与答案 一、选择或填空 (数理逻辑部分) 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) 给我一杯水吧! 离散数学习题答案 习题一及答案:(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 →?→? 解:列出公式的真值表,如下所示: 20、求下列公式的成真赋值: (4)()p q q ?∨→ 解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是: ()10p q q ?∨??????00 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。 7、求下列公式的主析取范式,再用主析取范式求主合取范式: (1)()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 ?∧∧?∨∧∧∨?∧?∧∨?∧∧∨∧?∧∨∧∧ ()()()()()p q r p q r p q r p q r p q r ??∧?∧∨?∧∧∨∧?∧∨∧∧?∨∧∧ 13567m m m m m ?∨∨∨∨,此即主析取范式。 主析取范式中没出现的极小项为0m ,2m ,4m ,所以主合取范式中含有三个极大项0M ,2M ,4M ,故原式的主合取范式024M M M ?∧∧。 9、用真值表法求下面公式的主析取范式:的幺元为( 0 )
是( )是( ) A.代数系统 B.半群 C.群 D.都不是离散数学复习题及答案
离散数学题库及答案
离散数学期末考试试题(有几套带答案)
离散数学复习题参考带答案
离散数学试题与答案
离散数学习题三 含答案
《离散数学》试题及答案
离散数学课后习题答案(左孝凌版)
离散数学课后习题答案第二章
离散数学试题及答案(1)
离散数学复习题及标准答案
离散数学期末试题及答案完整版
离散数学部分答案
离散数学章练习题及答案
离散数学复习题参考带答案
《离散数学》试习题及答案
《离散数学》题库及答案
最新离散数学习题答案