离散数学单项选择题习题(有答案)集

离散数学单项选择题习题(有答案)集
离散数学单项选择题习题(有答案)集

单项选择题

第一章第二章

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={|x+y=10,x,y ∈A},则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 ,则的幺元为( 0 )

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= ,则41v v 到长度为2的通路有( )条

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 ?>∈<>*>=<??<,21G G 为21G G ?的积代数,则21G G ?的积代数幺元是( B )

A.<0,0>

B.<0,1>

C.<1,0>

D.<1,1>

75.设R 是实数集合,“?”为普通乘法,则代数系统 不是( A )

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 ,*为普通乘法,则是( ) A.代数系统 B.半群 C.群 D.都不是

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={| x,y∈N∧y=x2},S={| x,y∈N∧y=x+1}。求R-1、R*S、S*R、R{1,2}、S[{1,2}](10分) 解:R-1={| x,y∈N∧y=x2},R*S={| x,y∈N∧y=x2+1},S*R={| x,y∈N∧y=(x+1)2}, 七、若f:A→B和g:B→C是双射,则(gf)-1=f-1g-1(10分)。 证明:因为f、g是双射,所以gf:A→C是双射,所以gf有逆函数

离散数学复习题参考带答案

一、选择题:(每题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)

离散数学试题及答案 一、填空题 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、用真值表法求下面公式的主析取范式:

相关文档
最新文档