离散数学分章练习题

离散数学分章练习题
离散数学分章练习题

西南大学课程考核

),

=

),

——————————————

密————————————

封————————————

线——————————————

4. 设N+是非零自然数集,f:N+ ×N+ →N+,y x

y

x

f=

)

,

(, ∈

y

x,N+, 则f( )

(A) 仅是单射(B) 仅是满射

(C) 是双射(D) 不是函数.

5 设集合A中有4个元素,则A上的划分共有( )个.

(A)13 (B)14 (C)15 (D)16

6. 设集合A中有99个元素,则A的子集有( )个.

(A)299. (B)99. (C) 2100. (D)100.

7. 函数的复合运算“ ”满足( )

(A)交换律. (B)结合律. (C)幂等律. (D)消去律.

8.幂集P(P(P(?))) 为( )

(A){{?}, {?, {?}}}. (B){?, {?, {?}}, {?}}.

(C){ ?, {?, {?}}, {{?}}, {?}} (D){ ?, {?, {?}}}.

三、判断

1.若一个元素a既存在左逆元l a,又存在右逆元r a,则r

l

a

a=. ( )

2.函数的复合运算“ ”满足结合律. ( )

3. 设|A| = 4,|B| = 2,则A到B的满射有30个. ( )

4. 设B

A

f→

:, C

B

g→

:, 若复合函数f g是满射, 则f必是满射. ( )

5.在自然数集N上定义运算“*”如下: x*y = x – 2y, x, y∈N, 则“*”满足结合律. ( )

6. {?}是空集. ( )

7. 设A,B,C是集合,若C

A

B

A⊕

=

⊕, 则B = C. ( )

8. P({?}) = {?} . ( )

四、综合

1、(15分)设N为实数集合,定义N 到N为的函数f和g如下:∈

?x N,1

)

(+

=x

x

f,}1

,0

max{

)

(-

=x

x

g. 证明:

——————————————

密————————————

封————————————

线——————————————

(1) f是单射而不是满射,g是满射而不是单射.

(2) I

g

f=

N但I

f

g≠

N.

2、 (10分)设A和B是集合,使B

B

A=

-成立的充要条件是什么,并给出理由.

3、(10分)已知A ={{?}, {?, 1}}, B = {{?, 1}, {1}}, 计算A∪B, A○+B,A的幂集P(A).

4、(15分)设)

,

(≤

A是偏序集,定义函数)

(

:A

P

A

f→如下:

对于任意A

a∈,}

,

|

{

)

(a

x

A

x

x

a

f≤

=.

证明f是单射,且当b

a≤时有)

(

)

(b

f

a

f?.

5、(15分)设C

B

g

B

A

f→

→:

,

:, 若g

f 是满射,证明g是满射,并举例说明f不一定是满射.

6、(10分)设B

A

f→

:且C

B

g→

:,若g

f 是单射,证明f是单射,并举例说明g不一定是单射.

——————————————

密————————————

封————————————

线——————————————

第二章

一、填空题(每小题3分,共15分)

1.设集合A中有3个元素,则A上的二元关系有( )个,其中有( )个是A到A 的函数.

2.(C2)设集合A中有3个元素,则A上的二元关系有( )个,其中有( )个是A 到A的函数.

3. 设|X| = n, P(X)为集合X的幂集, 则| P(X)| = ________. 在代数结构(P(X), ∪)中,则P(X) 对∪运算的单位元是________, 零元是________ .

4. 设N是自然数集合, f和g是N到N的函数, 且f(n) = 2n+1,g(n) = n2, 那么复合函数

(f f) (n)=________ , (f g) (n)=________ , (g f) (n) =________.

5. 设A ={l, 2, 3, 4}, A上的二元关系R ={(1, 2), (3, 4), (4, 3)}, S = {(l, 3), (3, 4), (4, 1)}, 则

S

R?=________, 1)

(-

?S

R=________, S

R =________.

6. 集合A上的等价关系R必满足( 、、).

7. 设|A| = 3, 则在A上可定义( )个不同的反对称关系.

二、选择

1.设R是集合A上的偏序关系,1-R是R的逆关系,则1-

?R

R是A上的

(A)偏序关系(B)等价关系(C)相容关系(D)以上结论都不成立

2.设R是集合A上的偏序关系,则1-

?R

R是( ).

(A)偏序关系(B)等价关系(C)相容关系(D)以上答案都不对

3.集合A = {1, 2, 3, 4}上的关系R= {(1, 4), (2, 3), (3, 1), (4, 3)}, 则下列不是

..t(R)中元素的是( )

(A) (1, 1) (B) (1, 2)

(C) (1, 3) (D) (1, 4).

4.若R和S是集合A上的两个关系,则下述结论正确的是( )

(A) 若R和S是自反的, 则R∩S是自反的

——————————————

密————————————

封————————————

线——————————————

(B) 若R和S是对称的, 则R S是对称的

(C) 若R和S是反对称的, 则R S是反对称的

(D) 若R和S是传递的, 则R∪S是传递的.

5.集合A = {1, 2, …, 10}上的关系R ={(x, y)|x + y = 10, x, y ∈A}, 则R的性质是( )

(A) 自反的(B) 对称的

(C) 传递的、对称的(D) 反自反的、传递的.

2. 设集合A中有4个元素,则A上的等价关系共有( )个.

(A)13 (B)14 (C)15 (D)16

6.设R是集合A上的偏序关系,1-R是R的逆关系,则1-

?R

R是A上的

(A)偏序关系(B)等价关系(C)相容关系(D)以上结论都不成立

三、判断

1. 设R和S是集合A上的等价关系,则S

R 是A上的等价关系. ( )

2. 关系矩阵

?

?

?

?

?

?

?

?

?

?

1

1

1

1

1

1

对应的关系具有自反性. ( )

四、综合

1、 (10分) 设R和S是集合A上的对称关系,证明S

R 对称的充要条件是R

S

S

R

=.

2、(15分)设}

,

,

,

{d

c

b

a

A=,A上的关系

)}

,

(),

,

(),

,

(),

,

(),

,

(),

,

(),

,

(),

,

(),

,

{(c

d

b

d

a

d

c

c

b

c

a

c

c

a

b

a

a

a

R=, 1〉.画出R的关系图R

G.

2〉.判断R所具有的性质.

3〉.求出R的关系矩阵R

M.

3、(10分) 在整数集合Z上定义关系R如下:对于任意∈

y

x,Z,

y

y

x

x

R

y

x+

=

+

?

∈2

2

)

,

(.

判断R是否具有自反性、反自反性、对称性、反对称性及传递性.

——————————————

密————————————

封————————————

线——————————————4、(10分) 设A ={a, b, c, d},R={(a, b), (a, d), (b, c), (c, a), (d, a)},求用关系图计算R的传递闭包t(R).

5、(10分)设R是集合A上自反和传递的关系,试证明:R R=R.

6、(10分)设A ={2, 3, 6, 12, 24, 36}, 请画出A上整除关系“|”的哈斯图,并给出子集{6, 12, 24, 36}的极大元、极小元、最大元、最小元、上界、下界、上确界和下确界.

——————————————

密————————————

封————————————

线——————————————

第三章

一、填空.用联结词?,∧表示联结词∨, →和联结词?:B

A∨= ________, B

A→=________, B

A?=________.

二、选择

1. 下列( )组命题公式是等值的.

(A)B

A

B

A∨

?

?,. (B))

(

),

(B

A

A

A

B

A?

?

→.

(C))

(

),

(B

A

B

B

A

B∨

?

→. (D) B

B

A

A),

(∧

?.

2.由2个命题变元p和q组成的不等值的命题公式的个数有

(A)2 (B)4 (C)8 (D)16

3.下列( )组命题公式是不等值的.

(A))

(B

A→

?与B

A?

∧. (B) )

(B

A?

?与)

(

)

(B

A

B

A∧

?

?

∧.

(C))

(C

B

A∨

→与C

B

A→

?

∧)

(. (D))

(C

B

A∨

→与)

(C

B

A∨

?.

4.下列联结词中,不满足交换律的是( ).

(A)∧. (B)∨. (C)⊕. (D) →.

三、判断

1. {→

?,}是最小功能完备联结词集合. ( )

2. 任意最小联结词集至少有2个联结词. ( )

3. 若?(p∧q)→r为真, 则(p, q, r) = (0, 0,1), (0, 1, 1), (1, 0, 1), (1, 1, 0), (1, 1,1). ( )

4. 设A, B, C是命题公式,则)

(C

A

C

B

A→

?

∨也是命题公式. ( )

5. 逻辑联结词“→”满足结合律. ( )

6. 设x和y是实数集中的变量, 则x + y > 0是命题函数. ( )

四、综合

——————————————

密————————————

封————————————

线——————————————1、(10分)利用真值表求命题公式))

(

(

))

(

(p

q

r

r

q

p

A→

?

=的主析取范式和主合取范式.

2、((10分)利用真值表求命题公式

)

(

))

(q

p

q

p

A?

?

?

=

的主析取范式和主合取范式.

3、(15分)设p, q, r为命题变元,分别用等值演算法和真值表法计算(p→q)→r的主合取范式.

4、 (15分)分别利用(1)等值演算法和(2)真值表求命题公式

))

(

(

))

(

(r

q

p

p

q

r

A∨

?

=

的主析取范式和主合取范式.

5、(15分)构造下面推理的证明:如果小张和小王去看电影, 则小李也去看电影. 小赵不去看电影或小张去看电影. 小王去看电影. 所以, 当小赵去看电影时, 小李也去.

6、(10分) (1)列出与非联结词“↑”的运算表.

(2)仅使用与非联结词“↑”分别表示∨

?,

,.

——————————————

密————————————

封————————————

线——————————————

第四章

一、填空

1.令G(x): x是金子,F(x): x是闪光的,则命题“金子都是闪光的,但闪光的未必是金子”符号化为( ).

2. 令Z(x): x是整数,O(x): x是奇数,则“不是所有整数都是奇数”符号化为( ).

3. 令C(x): x是计算机,D(x, y): x能做y,I(x): x是智能工作,则命题“并非所有智能工作都能由计算机来做”符号化为( ).

4.谓词公式))

(

)

(

(

))

(

)

(

(y

P

y

Q

y

x

Q

x

P

x?

?

?中量词x

?的辖域为( ), 量词y?的辖域为( ).

5. 在公式)

,

(

)

(

)

,

(

)

,

(

)

)(

(y

x

P

x

z

x

Q

y

x

P

y

x?

?

?中x

?的辖域为P(x, y). ( )

二、选择

1.在公式(x

?)F(x, y)→(?y)G(x,y)中变元x是( )

(A) 自由变元(B) 约束变元

(C) 既是自由变元,又是约束变元(D) 既不是自由变元,又不是约束变元.

2.设p:我们划船,q:我们跑步, 则有命题“我们不能既划船又跑步”符号化为( )

(A) ?p∧?q(B) ?p∨?q

(C) ? (p? q) (D) ? (?p∨?q).

3.谓词公式)

(

))

(

)

(

(x

R

y

yQ

x

P

x→

?

?中,x

?的辖域为( ).

(A)))

(

)

(

(y

yQ

x

P

x?

?. (B))

(x

P. (C))

(

)

(y

yQ

x

P?

∨. (D))

(x

P和)

(x

R.

三、综合

1、(10分)求)))

,

(

)

,

(

(

)

,

,

(

(v

y

vQ

u

x

uQ

z

y

x

zP

y

x?

?

?

?

?的前束范式.

2、(10分)符号化下面命题,并构造推理证明:人是要死的,苏格拉底是人,所以苏格拉底

——————————————

密————————————

封————————————

线——————————————是要死的.

3、(10分)举例说明))

(

)

(

(

)

(

)

(x

B

x

A

x

x

xB

x

xA∧

?

?

?

?不成立.

4、(10分)符号化下面命题,并构造推理证明:人是要死的,苏格拉底是人,所以苏格拉底是要死的.

——————————————

密————————————

封————————————

线——————————————

第五章

一、填空

1.6阶非Abel群的2阶子群共有( )个,3阶子群共有( )个,4阶子群共有( )个.

2. 设集合A关于*满足( 、),则(A, *)构成独异点.

3. 任意6阶群的平凡子群一定是( )群.

4.6阶非Abel群的2阶子群共有( )个,3阶子群共有( )个,4阶子群共有( )个.

二、选择

1. 设A是奇数集合,×为乘法运算,则(A,×)是( )

(A) 半群(B) 群

(C) 循环群(D) 交换群.

2. 非零实数集合R– {0}关于数的乘法运算“?”构成一个群,令f: R– {0}→ R– {0},定义如下

x

x

f

1

)

(=,则Ker f = ( ).

(A)0. (B) R– {0}.

(C)1. (D) {1}.

3.下列代数结构(G, *)中,( )是群.

(A)G = {0, 1, 3, 5}, “*”是模7加法. (B) G = Q, “*”是数的乘法.

(C)G = Z, “*”是数的减法. (D) G = {1, 3, 4, 5, 9}, “*”是模11乘法.

4. 设A是奇数集合,×为乘法运算,则(A,×)是( )

(A) 半群(B) 群

(C) 循环群(D) 交换群.

三、判断

1.任意有限域的元素个数为2n. ( )

2.若H,K均为G的子群,则H?K也是G的子群. ( )

3. 4阶循环群必存在4阶元素. ( )

4. 任意有限群都与某置换群同构. ( )

——————————————

密————————————

封————————————

线——————————————

四、综合

1、 (10分)设),

(?

G是群,若函数1

)

(

,

:-

=

→x

x

f

G

G

f是G的自同态,则G是Abel群.

2、(10分)设),

(?

G是群,G

K

H≤

,,若G

K

H=

?,则G

H=或G

K=.

3、(10分)证明:任意有限群G中,阶大于2的元素个数必是偶数.

——————————————

密————————————

封————————————

线——————————————

第六章

一、填空

1.设}

24

,

12

,8,6,4,3,2,1{

=

L,对于其上的整除关系“|”,元素( )不存在补元.

2. 有限域的元素个数为( ), 其中( )且( ).

3. 设),

,

(?+

R是整环, 则)

,

(+

R是________, ),

(?

R是运算可交换的含幺________且_____零因子.

4. 设)

,

(≤

L是分配格,对于任意L

z

y

x∈

,

,,若z

x

y

x+

=

+且z

x

y

x?

=

?,则( ).

5.设}

24

,

12

,8,6,4,3,2,1{

=

L,对于其上的整除关系“|”,元素( )不存在补元.

二、选择

1.图1的Hasse图所示的格中,( )没有补元

.

(A) a. (B) c. (C) e. (D) f.

2.设R是实数集合,≤是其上的小于等于关系,则(R, ≤)是

(A)有界格(B)分配格(C)有补格(D)布尔格

3.下列所示的哈斯图所对应的偏序集中能构成格的是( )

密————————————

封————————————

线——————————————

4.在代数系统中,整环和域的关系是( )

(A) 整环一定是域(B) 域不一定是整环

(C) 域一定是整环(D) 域一定不是整环.

5.设}

,

,

{c

b

a

X=,则下列集合中,( )不是)

),

(

(?

X

P的子布尔代数.

(A){?, X}. (B) {{b}, {a, c}, X}. (C){ ?, {a}, {b, c}, X}. (D){ ?, {c}, {a, b}, X}.

6.设)

,

(≤

L是至少3个元素的一条链,则)

,

(≤

L( ).

(A)不是格. (B)是有补格. (C)是分配格. (D)是布尔格.

7.下列集合( )关于给定的运算构成整环.

(A)∈

+b

a

b

a,

|

2

{3Z}关于数的加法和乘法.

(B)∈

+b

a

b

a,

|

2

{Z}关于数的加法和乘法.

(C)∈

??

?

?

?

?

b

a

a

b

b

a

,

|

{Z}关于矩阵的加法和乘法.

(D) n{阶实矩阵}关于矩阵的加法和乘法.

8. 下列偏序集,( )是格.

密————————————

封————————————

线——————————————

9.设p是素数且n是正整数,则任意有限域的元素个数为

(A)n

p+(B)pn(C)n p(D)p n

10.设Z+为正整数集合,E为正偶数集合,则格(Z+, |)与格(E, |)的关系为( ),其中“|”为整除关系.

(A)同构. (B)自同构. (C)不同态. (D)不同构.

三、判断

1. 在同构意义下,有限布尔代数只有,

,

,

),

(

(?

?

X

P?, X). ( )

2.任意有限域的元素个数为2n. ( )

3. 在任意格),

,

(?+

L中,有)

(

)

(c

b

a

c

b

a?

+

?

+. ( )

4. 任意两个具有2n)1

(≥

n个元素的有限布尔代数都是同构的. ( )

5. 设是格, 其中L ={1, 2, 3, 4, 6, 8, 12, 24}, ≤为整除关系, 则3的补元是8. ( )

6.整环不一定是域. ( )

7. 任意链均为分配格.

四、综合:(10分)设)

,

(≤

L是格,对于任意L

z

y

x∈

,

,有)

(

)

(

)

(z

x

y

x

z

y

x+

?

+

?

+.

——————————————

密————————————

封————————————

线——————————————

第七章

一、填空、

1.设有向图G = (V, E),V = {v1,v2,v3,v4},若G的邻接矩阵A=

?

?

?

?

?

?

?

?

?

?

1

1

1

1

1

1

1

1

1

, 则v1的出度deg+(v1) =________, v1的入度deg-(v1) =________, 从v2到v4长度为2的路有________条.

2.当n( )时,n阶完全无向图n K是平面图,当当n为( )时,n K是欧拉图.

二、选择

1. 一棵树有3个5度点、1个4度点、3个2度点,其它的都是1度,那么它的边数是()

(A) 17 (B) 18

(C) 19 (D) 20.

2.若简单无向图G与其补图G同构,则称G为自补图. 5阶不同构的自补图有( )个.

(A)0. (B)1. (C)2. (D)3.

3.3阶完全无向图

3

K的不同构的生成子图有

(A)2 (B)3 (C)4 (D)5

4.4阶完全无向图

4

K中含3条边的不同构的生成子图有

(A)3 (B)4 (C)5 (D)2

5.设G为有n阶简单图, 则有( )

(A) Δ(G)<n(B) Δ(G)≤n

(C) Δ(G)>n(D) Δ(G)≥n.

10.任何无向图中,节点之间的可达关系是( )关系.

(A)等价. (B)相容. (C)偏序. (D)拟序.

6. 不同构的(5, 3)简单图有( )个.

(A)4 (B)5 (C)3 (D)2

——————————————

密————————————

封————————————

线——————————————

7.4阶完全无向图

4

K中含3条边的不同构的生成子图有

(A)3 (B)4 (C)5 (D)2

三、判断

1. .设G是n(n为奇数)简单图,则G与G中度数为奇数的节点个数相同. ( )

2. 设G是简单无向图,则G或G必连通. ( )

3. 设G是简单图,则G与G中度数为奇数的节点个数相同. ( )

四、综合

1、(10分)证明:一个图是强连通的,当且仅当图中有一个回路,它至少包含每个结点一次.

2、(10分)下图给出了一个有向图.

(1) 求出它的邻接矩阵A和可达矩阵P.

(2) 求出A2,A3,A4.

——————————————

密————————————

封————————————

线——————————————

第八章

一、填空

1. 对于n阶完全无向图K n, 当n为( )时是Euler图,当n ( )时是Hamilton 图,当n ( )时是平面图.

2. 当________时, 完全图K n是非平面图. 对于二部图K m, n, 当________时, K m, n是平面图,当________时,K m, n是非平面图.

3. 在下图中,_______________________________是其Euler轨迹(或Euler路

).

4.当n( )时,n阶完全无向图n K是平面图,当当n为( )时,n K是欧拉图.

5. 完全二部图K m,n为哈密尔顿图,当且仅当( ).

6. 当________时, 完全图K n是非平面图. 对于二部图K m, n, 当________时, K m, n是平面图,当________时,K m, n是非平面图.

7. 设G是(7, 15)简单平面图,则G一定( )连通图,其每个面恰由( )条边围成,G的面数为( ).

8. ( )无向图称为无向树.

二、选择

1. 下面既是汉密尔顿图又是欧拉图的图是( )

——————————————

密————————————

封————————————

线——————————————

2.具有4个结点的非同构的无向树的数目是( )

(A) 2 (B) 3

(C) 4 (D) 5.

三、判断

1.任何)

,

(m

n平面图的面数2

+

-

=n

m

r. ( )

2. Hamilton图是连通图.( )

3. 若G为平面图,则存在节点v, deg(v) ≤ 5. ( )

四、综合

1、(10分)设G是(n, m)无向图,若n

m≥,证明G中必存在圈.

2、(10分)设)

,

(E

V

G=是连通赋权图,其各边上的权均不相同,}

,

{

2

1

V

V是V的划分,则

1

V

2

V间的权最小的边必在G的最小生成树上.

3、(10分)证明:在至少两个人的人群中,必有两个人有相同个数的朋友.

4、(10分)将6阶完全无向图K6的边随意地涂上红色或蓝色,证明:无论如何涂法,总存在红色的K3或蓝色的K3.

5、(10分)(1)给出(n, m)连通平面图的面数r计算公式.

(2)若(n, m)连通平面图的每个面至少由5条边围成,给出n和m所满足的关系式.

(3)证明:Petersen图不是平面图.

6、(10分)今有n个人, 已知他们中任何2人的朋友合起来一定包含其余n -2人. 试证明:

——————————————

密————————————

封————————————

线——————————————

(1) 当n≥3时,这n个人能排成一列,使得中间任何人是其两旁的人的朋友,而两头的人是其左边(或右边)的人的朋友.

(2) 当n≥4时,这n个人能排成一圆圈,使得每个人是其两旁的人的朋友.

7、(10分)设G是(n, m)无向图,若n

m≥,证明G中必存在圈.

8、(10分)设)

,

(E

V

G=是连通赋权图,其各边上的权均不相同,}

,

{

2

1

V

V是V的划分,则

1

V

2

V间的权最小的边必在G的最小生成树上.

9、(10分)证明: 对于任意)2

(≥

n

n个人的组里,必有两个人有相同个数的朋友..

10、(10分)用有序树表示代数式)

11

/3

(

))

/4

3(

)

2

((+

-

+

-

-x

b

a.

离散数学 第二章练习题答案

一、 选择题 1.下列四个公式正确的是 ①)()())()((x xB x xA x B x A x ?∧??∧? ②)()())()((x xB x xA x B x A x ?∨??∨? ③)()())()((x xB x xA x B x A x ?∨??∨? ④))()(()()(x B x A x x xB x xA ∧???∧? A.①③ B.①④ C.③④ D.②④ 2. 谓词公式)())()((x Q y yR x P x →?∨?中量词?x 的辖域是( ) (A) ))()((y yR x P x ?∨? (B) P (x ) (C ) )()(y yR x P ?∨ (D) )(x Q 3. 谓词公式))()(()(x xQ x Q x x xP ??→??→?的类型是( ) (A ) 永真式 (B) 矛盾式 (C) 非永真式的可满足式 (D) 蕴涵式 4. 设个体域为整数集,下列公式中其真值为1的是( ) (A ) )0(=+??y x y x (B) )0(=+??y x x y (C))0(=+??y x y x (D) )0(=+???y x y x 5. 设个体域{,}A a b =,公式()()xP x xS x ?∧?在中消去量词后应为 ( ) (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 ∧∧∨ 6. 在谓词演算中,下列各式正确的是( ) (A) (,)(,)x yA x y y xA x y ????? (B ) (,)(,)x yA x y y xA x y ????? (C) (,)(,)x yA x y x yA x y ????? (D) (,)(,)x yA x y y xA x y ????? 7.下列各式不正确的是( ) (A ) (()())()()x P x Q x xP x xQ x ?∨??∨? (B) (()())()()x P x Q x xP x xQ x ?∧??∧? (C) (()())()()x P x Q x xP x xQ x ?∨??∨? (D) (())()x P x Q xP x Q ?∧??∧

离散数学课后习题答案

习题参考解答 习题 1、(3)P:银行利率降低 Q:股价没有上升 P∧Q (5)P:他今天乘火车去了北京 Q:他随旅行团去了九寨沟 Q P? (7)P:不识庐山真面目 Q:身在此山中 Q→P,或~P→~Q (9)P:一个整数能被6整除 Q:一个整数能被3整除 R:一个整数能被2整除 T:一个整数的各位数字之和能被3整除 P→Q∧R ,Q→T 2、(1)T (2)F (3)F (4)T (5)F (6)T (7)F (8)悖论 习题 1(3) ) ( ) ( ) ( ) ( ) ( ) ( R P Q P R P Q P R Q P R Q P → ∨ → ? ∨ ? ∨ ∨ ? ? ∨ ∨ ? ? ∨ →

(4) ()()()(())()(()())(())()()()()P Q Q R R P P R Q R P P R R P Q R P P R P R Q R Q P ∧∨∧∨∧=∨∧∨∧=∨∨∧∧∨∧=∨∧∨∧∨∧∨=右 2、不, 不, 能 习题 1(3) (())~((~)) (~)()~(~(~))(~~)(~) P R Q P P R Q P P R T P R P R Q Q P R Q P R Q →∧→=∨∧∨=∨∧=∨=∨∨∧=∨∨∧∨∨、 主合取范式 ) ()()()()()()()()()()()()()())(())(()()(()) ()())(()((Q P R P Q R P Q R R Q P R Q P R Q P Q P R Q P R P Q R P Q R R Q P R Q P R Q P R Q P Q Q P R P P Q R R R Q Q P P R Q R P P Q R P P Q R P ∧∧∨∧?∧∨?∧?∧∨∧?∧?∨?∧∧?∨?∧?∧?=∧∧∨?∧∧∨∧?∧∨?∧?∧∨∧?∧?∨∧?∧?∨?∧∧?∨?∧?∧?=∨?∧∧∨∨?∧?∧∨∨?∧∨?∧?=∧∨?∧∨?=∨?∧∨?=→∧→ ————主析取范式 (2) ()()(~)(~) (~(~))(~(~))(~~)(~)(~~) P Q P R P Q P R P Q R R P R Q Q P Q R P Q R P R Q →∧→=∨∧∨=∨∨∧∧∨∨∧=∨∨∧∨∨∧∨∨Q 2、 ()~() (~)(~) (~~)(~)(~~)P Q R P Q R P Q P R P Q R P Q R P R Q →∧=∨∧=∨∧∧=∨∨∧∨∨∧∨∨∴等价 3、解:根据给定的条件有下述命题公式: (A →(CD ))∧~(B ∧C )∧~(C ∧D ) (~A ∨(C ∧~D )∨(~C ∧D ))∧(~B ∨~C )∧(~C ∨~D ) ((~A ∧~B )∨(C ∧~D ∧~B )∨(~C ∧D ∧~B )∨ (~A ∧~C )∨(C ∧~D ∧~C )∨(~C ∧D ∧~C ))∧(~C ∨~D )

离散数学作业

命题逻辑的基本概念 一、单项选择题 1.下列语句中不是命题的有( ). A 9+5≤12 B. 1+3=5 C. 我用的电脑CPU 主频是1G 吗D.我要努力学习。 2. 下列语句是真命题为( ). A. 1+2=5当且仅当2是偶数 B. 如果1+2=3,则2是奇数 C. 如果1+2=5,则2是奇数 D. 你上网了吗 3. 设命题公式)(r q p ∧→?,则使公式取真值为1的p ,q ,r 赋值分别是 ( ) 0,0,1)D (0 ,1,0)C (1 ,0,0)B (0 ,0,0)A ( 4. 命题公式q q p →∨ )(为 ( ) (A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式 5. 设p:我将去市里,q :我有时间. 命题“我将去市里,仅当我有时间时”符号化为为( ) q p q p q p p q ?∨??→→)D ()C ()B ()A (6.设P :我听课,Q :我看小说. “我不能一边听课,一边看小说”的符号为( ) A. Q P ?→ ; B. Q P →?; C. P Q ?∧? ; D. )(Q P ∧? 二、判断下列语句是否是命题,若是命题是复合命题则请将其符号化 (1)中国有四大发明。 (2)2是有理数。 (3)“请进!” (4)刘红和魏新是同学。 (5)a+b (6)如果买不到飞机票,我哪儿也不去。 (8)侈而惰者贫,而力而俭者富。(韩非:《韩非子显学》) (9)火星上有生命。 (10)这朵玫瑰花多美丽啊! 二、将下列命题符号化,其中p:2<1,q:3<2 (1)只要2<1,就有3<2。 (2)如果2<1,则32。 (3)只有2<1,才有32。 (4)除非2<1,才有32。 (5)除非2<1,否则32。

(完整word版)离散数学期末练习题带答案

离散数学复习注意事项: 1、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 2、第二遍复习按照考试大纲的要求对第一遍复习进行总结。把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 3、第三遍复习把随后发去的练习题认真做一做,检验一下第一遍与第二遍复习情况,要认真理解,注意做题思路与方法。 离散数学综合练习题 一、选择题 1.下列句子中,()是命题。 A.2是常数。B.这朵花多好看呀! C.请把门关上!D.下午有会吗? 2.令p: 今天下雪了,q:路滑,r:他迟到了。则命题“下雪路滑,他迟到了” 可符号化为()。 A. p q r ∨→ ∧→ B. p q r C. p q r ∨? ∧∧ D. p q r 3.令:p今天下雪了,:q路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为()。 A.p q ∧ ∧? B.p q C.p q →? ∨? D. p q 4.设() Q x:x会飞,命题“有的鸟不会飞”可符号化为()。 P x:x是鸟,() A. ()(()()) Q x ??∧()) x P x Q x ??→ B. ()(() x P x C. ()(()()) Q x ??∧()) x P x Q x ??→ D. ()(() x P x 5.设() L x y:x大于等于y;命题“所有整数 f x:x的绝对值,(,) P x:x是整数,() 的绝对值大于等于0”可符号化为()。 A. (()((),0)) ?→ x P x L f x ?∧B. (()((),0)) x P x L f x C. ()((),0) ?→ xP x L f x ?∧ D. ()((),0) xP x L f x 6.设() F x:x是人,() G x:x犯错误,命题“没有不犯错误的人”符号化为()。 A.(()()) ??→? x F x G x ?∧B.(()()) x F x G x C.(()()) ??∧? x F x G x ??∧D.(()()) x F x G x 7.下列命题公式不是永真式的是()。 A. () p q p →→ →→ B. () p q p C. () →∨ p q p p q p ?∨→ D. () 8.设() R x:x为有理数;() Q x:x为实数。命题“任何有理数都是实数”的符号化为()

离散数学 第2章 习题解答

第2章习题解答 2.1 本题没有给出个体域,因而使用全总个体域. (1) 令x (是鸟 x F:) (会飞翔. G:) x x 命题符号化为 x F ?. G x→ ) ( )) ( (x (2)令x x (为人. F:) (爱吃糖 G:) x x 命题符号化为 x F x→ G ?? )) ( ) ( (x 或者 F x? x ∧ ? ) )) ( ( (x G (3)令x x (为人. F:) G:) (爱看小说. x x 命题符号化为 x F ?. G x∧ (x ( )) ( ) (4) x (为人. x F:) (爱看电视. G:) x x 命题符号化为 F x? ∧ ??. x G ( ) ( )) (x 分析 1°如果没指出要求什么样的个体域,就使用全总个休域,使用全总个体域时,往往要使用特性谓词。(1)-(4)中的) F都是特性谓词。 (x 2°初学者经常犯的错误是,将类似于(1)中的命题符号化为 F x ? G x∧ ( )) ( ) (x

即用合取联结词取代蕴含联结词,这是万万不可的。将(1)中命题叙述得更透彻些,是说“对于宇宙间的一切事物百言,如果它是鸟,则它会飞翔。”因而符号化应该使用联结词→而不能使用∧。若使用∧,使(1)中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。”这显然改变了原命题的意义。 3° (2)与(4)中两种符号化公式是等值的,请读者正确的使用量词否定等值式,证明(2),(4)中两公式各为等值的。 2.2 (1)d (a),(b),(c)中均符号化为 )(x xF ? 其中,12)1(:)(22++=+x x x x F 此命题在)(),(),(c b a 中均为真命题。 (2) 在)(),(),(c b a 中均符号化为 )(x xG ? 其中02:)(=+x x G ,此命题在(a )中为假命题,在(b)(c)中均为真命题。 (3)在)(),(),(c b a 中均符号化为 )(x xH ? 其中.15:)(=x x H 此命题在)(),(b a 中均为假命题,在(c)中为真命题。 分析 1°命题的真值与个体域有关。 2° 有的命题在不同个体域中,符号化的形式不同,考虑命题 “人都呼吸”。 在个体域为人类集合时,应符号化为 )(x xF ? 这里,x x F :)(呼吸,没有引入特性谓词。 在个体域为全总个体域时,应符号化为 ))()((x G x F x →? 这里,x x F :)(为人,且)(x F 为特性谓词。x x G :)(呼吸。 2.3 因题目中未给出个体域,因而应采用全总个体域。

屈婉玲版离散数学课后习题答案【1】

第一章部分课后习题参考答案 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r)?0∨(0∧1) ?0 (2)(p?r)∧(﹁q∨s) ?(0?1)∧(1∨1) ?0∧1?0. (3)(?p∧?q∧r)?(p∧q∧﹁r) ?(1∧1∧1)? (0∧0∧0)?0 (4)(?r∧s)→(p∧?q) ?(0∧1)→(1∧0) ?0→0?1 17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。19.用真值表判断下列公式的类型: (4)(p→q) →(?q→?p) (5)(p∧r) ?(?p∧?q) (6)((p→q) ∧(q→r)) →(p→r) 答:(4) p q p→q ?q ?p ?q→?p (p→q)→(?q→?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式//最后一列全为1 (5)公式类型为可满足式(方法如上例)//最后一列至少有一个1 (6)公式类型为永真式(方法如上例)// 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.

(1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答:(2)(p→(p∨q))∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r (p∨q)→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式: (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明(2)(p→q)∧(p→r) ? (?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) (4)(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q) ?(p∨?p)∧(p∨q)∧(?q∨?p) ∧(?q∨q) ?1∧(p∨q)∧?(p∧q)∧1 ?(p∨q)∧?(p∧q) 5.求下列公式的主析取范式与主合取范式,并求成真赋值 (1)(?p→q)→(?q∨p) (2)?(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r) 解: (1)主析取范式 (?p→q)→(?q∨p)

中国石油大学大学《离散数学》期末复习题及答案

《离散数学》期末复习题 一、填空题(每空2分,共20分) 1、集合A上的偏序关系的三个性质是、 和。 2、一个集合的幂集是指。 3、集合A={b,c},B={a,b,c,d,e},则A?B= 。 4、集合A={1,2,3,4},B={1,3,5,7,9},则A?B= 。 5、若A是2元集合, 则2A有个元素。 6、集合A={1,2,3},A上的二元运算定义为:a* b = a和b两者的最大值,则2*3= 。 7、设A={a, b,c,d }, 则∣A∣= 。 8、对实数的普通加法和乘法,是加法的幂等元, 是乘法的幂等元。 9、设a,b,c是阿贝尔群的元素,则-(a+b+c)= 。 10、一个图的哈密尔顿路是。 11、不能再分解的命题称为,至少包含一个联结词的命题称为。 12、命题是。 13、如果p表示王强是一名大学生,则┐p表示。 14、与一个个体相关联的谓词叫做。 15、量词分两种:和。

16、设A、B为集合,如果集合A的元素都是集合B的元素,则称A是B 的。 17、集合上的三种特殊元是、 及。 18、设A={a, b},则ρ(A) 的四个元素分别 是:,,,。 19、代数系统是指由及其上的或 组成的系统。 20、设是代数系统,其中是*1,*2二元运算符,如果*1,*2都满 足、,并且*1和*2满足,则称是格。 21、集合A={a,b,c,d},B={b },则A \ B= 。 22、设A={1, 2}, 则∣A∣= 。 23、在有向图中,结点v的出度deg+(v)表示,入度deg-(v)表示以。 24、一个图的欧拉回路是。 25、不含回路的连通图是。 26、不与任何结点相邻接的结点称为。 27、推理理论中的四个推理规则 是、、、。

离散数学 第2章 习题解答

习题 2.1 1.将下列命题符号化。 (1) 4不是奇数。 解:设A(x):x是奇数。a:4。 “4不是奇数。”符号化为:?A(a) (2) 2是偶数且是质数。 解:设A(x):x是偶数。B(x):x是质数。a:2。 “2是偶数且是质数。”符号化为:A(a)∧B(a) (3) 老王是山东人或河北人。 解:设A(x):x是山东人。B(x):x是河北人。a:老王。 “老王是山东人或河北人。”符号化为:A(a)∨B(a) (4) 2与3都是偶数。 解:设A(x):x是偶数。a:2,b:3。 “2与3都是偶数。”符号化为:A(a)∧A(b) (5) 5大于3。 解:设G(x,y):x大于y。a:5。b:3。 “5大于3。”符号化为:G(a,b) (6) 若m是奇数,则2m不是奇数。 解:设A(x):x是奇数。a:m。b:2m。 “若m是奇数,则2m不是奇数。”符号化为:A(a)→A(b) (7) 直线A平行于直线B当且仅当直线A不相交于直线B。 解:设C(x,y):直线x平行于直线y。设D(x,y):直线x相交于直线y。a:直线A。b:直线B。 “直线A平行于直线B当且仅当直线A不相交于直线B。”符号化为:C(a,b)??D(x,y) (8) 小王既聪明又用功,但身体不好。 解:设A(x):x聪明。B(x):x用功。C(x):x身体好。a:小王。 “小王既聪明又用功,但身体不好。”符号化为:A(a)∧B(a)∧?C(a) (9) 秦岭隔开了渭水和汉水。 解:设A(x,y,z):x隔开了y和z。a:秦岭。b:渭水。c:汉水。 “秦岭隔开了渭水和汉水。”符号化为:A(a,b,c) (10) 除非小李是东北人,否则她一定怕冷。 解:设A(x):x是东北人。B(x):x怕冷。a:小李。 “除非小李是东北人,否则她一定怕冷。”符号化为:B(a)→?A(a) 2.将下列命题符号化。并讨论它们的真值。 (1) 有些实数是有理数。 解:设R(x):x是实数。Q(x):x是有理数。 “有些实数是有理数。”符号化为:(?x)(R(x)∧Q(x))

离散数学课后习题答案(左孝凌版)

离散数学课后习题答案(左孝凌版) 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)解:

离散数学答案第二章习题解答

习题与解答 1. 将下列命题符号化: (1) 所有的火车都比某些汽车快。 (2) 任何金属都可以溶解在某种液体中。 (3) 至少有一种金属可以溶解在所有液体中。 (4) 每个人都有自己喜欢的职业。 (5) 有些职业是所有的人都喜欢的。 解 (1) 取论域为所有交通工具的集合。令 x x T :)(是火车, x x C :)(是汽车, x y x F :),(比y 跑得快。 “所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧?→?。 (2) 取论域为所有物质的集合。令 x x M :)(是金属, x x L :)(是液体, x y x D :),(可以溶解在y 中。 “任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧?→?。 (3) 论域和谓词与(2)同。“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →?∧?。 (4) 取论域为所有事物的集合。令 x x M :)(是人, x x J :)(是职业, x y x L :),(喜欢y 。 “每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧?→? (5)论域和谓词与(4)同。“有些职业是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →?∧?。 2. 取论域为正整数集,用函数+(加法),?(乘法)和谓词<,=将下列命题符号化: (1) 没有既是奇数,又是偶数的正整数。 (2) 任何两个正整数都有最小公倍数。 (3) 没有最大的素数。 (4) 并非所有的素数都不是偶数。 解 先引进一些谓词如下: x y x D :),(能被y 整除,),(y x D 可表示为)(x y v v =??。 x x J :)(是奇数,)(x J 可表示为)2(x v v =???。 x x E :)(是偶数,)(x E 可表示为)2(x v v =??。 x x P :)(是素数,)(x P 可表示为)1)(()1(x u u x u v v u x =∨=?=???∧=?。

离散数学第四版课后标准答案

离散数学第四版课后答案 第1章习题解答 1.1 除(3),(4),(5),(11)外全是命题,其中,(1),(2),(8),(9), (10),(14),(15)是简单命题,(6),(7),(12),(13)是复合命题。 分析首先应注意到,命题是陈述句,因而不是陈述句的句子都不是命题。 本题中,(3)为疑问句,(5)为感叹句,(11)为祈使句,它们都不是陈述句,所以它们都不是命题。 其次,4)这个句子是陈述句,但它表示的判断结果是不确定。又因为(1),(2),(8),(9),(10),(14),(15)都是简单的陈述句,因而作为命题,它们都是简单命题。(6)和(7)各为由联结词“当且仅当”联结起来的复合命题,(12)是由联结词“或”联结的复合命题,而(13)是由联结词“且”联结起来的复合命题。这里的“且”为“合取”联结词。在日常生活中,合取联结词有许多表述法,例如,“虽然……,但是……”、“不仅……,而且……”、“一面……,一面……”、“……和……”、“……与……”等。但要注意,有时“和”或“与” 联结的是主语,构成简单命题。例如,(14)、(15)中的“与”与“和”是联结的主语,这两个命题均为简单命题,而不是复合命题,希望读者在遇到“和”或“与”出现的命题时,要根据命题所陈述的含义加以区分。 1.2 (1)p: 2是无理数,p为真命题。 (2)p:5能被2整除,p为假命题。 (6)p→q。其中,p:2是素数,q:三角形有三条边。由于p与q都是真 命题,因而p→q为假命题。 (7)p→q,其中,p:雪是黑色的,q:太阳从东方升起。由于p为假命

题,q为真命题,因而p→q为假命题。 (8)p:2000年10月1日天气晴好,今日(1999年2月13日)我们还不 知道p的真假,但p的真值是确定的(客观存在的),只是现在不知道而已。(9)p:太阳系外的星球上的生物。它的真值情况而定,是确定的。 1 (10)p:小李在宿舍里. p的真值则具体情况而定,是确定的。 (12)p∨q,其中,p:4是偶数,q:4是奇数。由于q是假命题,所以,q 为假命题,p∨q为真命题。 (13)p∨q,其中,p:4是偶数,q:4是奇数,由于q是假命题,所以,p∨q 为假命题。 (14)p:李明与王华是同学,真值由具体情况而定(是确定的)。 (15)p:蓝色和黄色可以调配成绿色。这是真命题。 分析命题的真值是唯一确定的,有些命题的真值我们立即可知,有些则不能马上知道,但它们的真值不会变化,是客观存在的。 1.3 令p:2+2=4,q:3+3=6,则以下命题分别符号化为 (1)p→q (2)p→?q (3)?p→q (4)?p→?q

《离散数学》练习题和参考答案

《离散数学》练习题和参考答案 一、选择或填空(数理逻辑部分) 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,z 5、判断下列语句是不是命题。若是,给出命题的真值。( ) 北京是中华人民共和国的首都。 (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)Q P? →(3)Q P? ?(4)Q P→ ? 8、设个体域为整数集,则下列公式的意义是( )。 (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)T 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是有理数。则命题“并非每个实数都是有理数”的符号化表示为()。

离散数学答案(尹宝林版)第二章习题解答

第二章 谓词逻辑 习题与解答 1. 将下列命题符号化: (1) 所有的火车都比某些汽车快。 (2) 任何金属都可以溶解在某种液体中。 (3) 至少有一种金属可以溶解在所有液体中。 (4) 每个人都有自己喜欢的职业。 (5) 有些职业是所有的人都喜欢的。 解 (1) 取论域为所有交通工具的集合。令 x x T :)(是火车, x x C :)(是汽车, x y x F :),(比y 跑得快。 “所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧?→?。 (2) 取论域为所有物质的集合。令 x x M :)(是金属, x x L :)(是液体, x y x D :),(可以溶解在y 中。 “任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧?→?。 (3) 论域和谓词与(2)同。“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →?∧?。 (4) 取论域为所有事物的集合。令 x x M :)(是人, x x J :)(是职业, x y x L :),(喜欢y 。 “每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧?→? (5)论域和谓词与(4)同。“有些职业是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →?∧?。 2. 取论域为正整数集,用函数+(加法),?(乘法)和谓词<,=将下列命题符号化: (1) 没有既是奇数,又是偶数的正整数。 (2) 任何两个正整数都有最小公倍数。 (3) 没有最大的素数。 (4) 并非所有的素数都不是偶数。 解 先引进一些谓词如下: x y x D :),(能被y 整除,),(y x D 可表示为)(x y v v =??。 x x J :)(是奇数,)(x J 可表示为)2(x v v =???。 x x E :)(是偶数,)(x E 可表示为)2(x v v =??。

离散数学图论部分经典试题及答案

离散数学图论部分综合练习 一、单项选择题 1.设图G 的邻接矩阵为 ??? ???? ? ????? ???0101 010******* 11100100110 则G 的边数为( ). A .6 B .5 C .4 D .3 2.已知图G 的邻接矩阵为 , 则G 有( ). A .5点,8边 B .6点,7边 C .6点,8边 D .5点,7边 3.设图G =,则下列结论成立的是 ( ). A .deg(V )=2∣E ∣ B .deg(V )=∣E ∣ C .E v V v 2)deg(=∑∈ D .E v V v =∑∈)deg( 4.图G 如图一所示,以下说法正确的是 ( ) . A .{(a , d )}是割边 B .{(a , d )}是边割集 C .{(d , e )}是边割集 D .{(a, d ) ,(a, c )}是边割集 5.如图二所示,以下说法正确的是 ( ). A .e 是割点 B .{a, e }是点割集 C .{b , e }是点割集 D .{d }是点割集 6.如图三所示,以下说法正确的是 ( ) . A .{(a, e )}是割边 B .{(a, e )}是边割集 C .{(a, e ) ,(b, c )}是边割集 D .{(d , e )}是边割集 ο ο ο ο ο c a b e d ο f 图一 图二

图三 7.设有向图(a )、(b )、(c )与(d )如图四所示,则下列结论成立的是 ( ) . 图四 A .(a )是强连通的 B .(b )是强连通的 C .(c )是强连通的 D .(d )是强连通的 应该填写:D 8.设完全图K n 有n 个结点(n ≥2),m 条边,当( )时,K n 中存在欧拉回路. A .m 为奇数 B .n 为偶数 C .n 为奇数 D .m 为偶数 9.设G 是连通平面图,有v 个结点,e 条边,r 个面,则r = ( ). A .e -v +2 B .v +e -2 C .e -v -2 D .e +v +2 10.无向图G 存在欧拉通路,当且仅当( ). A .G 中所有结点的度数全为偶数 B .G 中至多有两个奇数度结点 C .G 连通且所有结点的度数全为偶数 D .G 连通且至多有两个奇数度结点 11.设G 是有n 个结点,m 条边的连通图,必须删去G 的( )条边,才能确定G 的一棵生成树. A .1m n -+ B .m n - C .1m n ++ D .1n m -+ 12.无向简单图G 是棵树,当且仅当( ). A .G 连通且边数比结点数少1 B .G 连通且结点数比边数少1 C .G 的边数比结点数少1 D .G 中没有回路. 二、填空题 1.已知图G 中有1个1度结点,2个2度结点,3个3度结点,4个4度结 点,则G 的边数是 . 2.设给定图G (如图四所示),则图G 的点割 ο ο ο ο c a b f

离散数学章练习题及答案

离散数学练习题 第一章 一.填空 1. 公式(p q) ( p q )的成真赋值为01 ;10 2. 设p, r 为真命题,q, s 为假命题,则复合命题(p q) ( r s) 的真值为0 3. 公式(p q)与(p q) (p q )共同的成真赋值为01;10 4. 设A为任意的公式,B为重言式,则A B 的类型为重言式 5.设p, q 均为命题,在不能同时为真条件下,p与q的排斥也可以写成p与q的相容或。二.将下列命题符合化 1. 7 不是无理数是不对的。 解:( p) ,其中p: 7 是无理数;或p,其中p: 7 是无理数。 2. 小刘既不怕吃苦,又很爱钻研。 解:p q, 其中 p: 小刘怕吃苦,q:小刘很爱钻研 3. 只有不怕困难,才能战胜困难。 解:q p ,其中p: 怕困难,q: 战胜困难 或p q ,其中p: 怕困难,q: 战胜困难 4. 只要别人有困难,老王就帮助别人,除非困难解决了。 解:r (p q),其中p: 别人有困难,q: 老王帮助别人,r: 困难解决了 或:( r p) q ,其中p: 别人有困难,q: 老王帮助别人,r: 困难解决了 5. 整数n是整数当且仅当n 能被2 整除。 解:p q,其中p: 整数n是偶数,q: 整数n能被2整除 三、求复合命题的真值 P:2能整除5,q :旧金山是美国的首都,r :在中国一年分四季 1. ((p q) r) (r (p q)) 2. (( q p) (r p)) (( p q) r 解:p, q 为假命题,r 为真命题 1. ((p q) r) (r (p q)) 的真值为0

2. (( q p) (r p)) (( p q) r 的真值为1 四、判断推理是否正确 设y 2x 为实数,推理如下: 若y在x=0可导,则y在x=0连续。y 在x=0连续,所以y在x=0可导。 解:y 2x,x为实数,令p: y在x=0可导,q: y 在x=0连续。P为假命题,q为真命题,推 理符号化为:(p q) q p,由p,q 得真值可知,推理的真值为0,所以推理不正确。 五、判断公式的类型 1 ( (q p)((p q) ( p q))) , (p(q p)) (r q) 2. 3.(p r)(q r) 解:设三个公式为A,B,C 则真值表如下: 由上表可知A为重言式,B 为矛盾式,C为可满足式 第二章练习题 一.填空 1. 设A为含命题变项p, q, r 的重言式,则公式A ((p q) ) 的类型为重言式 2. 设B为含命题变项p, q, r 的重言式,则公式B ((p q) )的类型为矛盾式 3. 设p, q 为命题变项,则( p q) 的成真赋值为01 ;10 4.设p,q 为真命题,r, s 为假命题,则复合函数(p r) ( q s) 的成真赋值为__0___ 5. 矛盾式的主析取范式为___0 _____ 6. 设公式A为含命题变项p, q, r 又已知A的主合取范式为M0 M 2 M 3 M 5则A 的主合取范式为m1 m4 m6 m7

离散数学答案 屈婉玲版 第二版 高等教育出版社课后答案

离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r)?0∨(0∧1) ?0 (2)(p?r)∧(﹁q∨s) ?(0?1)∧(1∨1) ?0∧1?0. (3)(?p∧?q∧r)?(p∧q∧﹁r) ?(1∧1∧1)? (0∧0∧0)?0 (4)(?r∧s)→(p∧?q) ?(0∧1)→(1∧0) ?0→0?1 17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。19.用真值表判断下列公式的类型: (4)(p→q) →(?q→?p) (5)(p∧r) ?(?p∧?q) (6)((p→q) ∧(q→r)) →(p→r) 答:(4) p q p→q ?q ?p ?q→?p (p→q)→(?q→?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式 (5)公式类型为可满足式(方法如上例) (6)公式类型为永真式(方法如上例) 第二章部分课后习题参考答案

3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值. (1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答:(2)(p→(p∨q))∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r (p∨q)→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式: (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明(2)(p→q)∧(p→r) ? (?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) (4)(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q) ?(p∨?p)∧(p∨q)∧(?q∨?p) ∧(?q∨q) ?1∧(p∨q)∧?(p∧q)∧1 ?(p∨q)∧?(p∧q) 5.求下列公式的主析取范式与主合取范式,并求成真赋值 (1)(?p→q)→(?q∨p) (2)?(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r)

离散数学 杨圣洪等著 第二章习题二解答

第二章习题二 1、求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) ?x?y(P(x)→Q(y)) ??x?y(?P(x)∨Q(y)) 条件式的等值式 ??x(?P(x)∨?yQ(y)) 辖域的扩充与收缩规律 ??x?P(x)∨?yQ(y) 辖域的扩充与收缩规律 ???xP(x)∨?yQ(y) 量词的德摩律 ??xP(x)→?yQ(y) 条件式的等值式 2、把下列各式转换为前束范式 (1) ?x(?(?yP(x,y)→(?zQ(z)→R(x)))) ??x(?(?yP(x,y)→(??zQ(z)∨R(x)))) 条件式的等值式 ??x(?(??yP(x,y)∨(??zQ(z)∨R(x)))) 条件式的等值式 ??x((???yP(x,y)∧(???zQ(z)∧?R(x)))) 德摩律 ??x((?yP(x,y)∧(?zQ(z)∧?R(x)))) 否定的否定 ??x?y?z ((P(x,y)∧(Q(z)∧?R(x)))) 量词辖域的扩张与收缩 ??x?y?z (P(x,y)∧Q(z)∧?R(x)) 量词辖域的扩张与收缩 (2) ?x?y((?zP(x,y,z)∧?uQ(x,u))→?vQ(y,v)) ??x?y(? (?zP(x,y,z)∧?uQ(x,u)) ∨?vQ(y,v)) 条件式的等值式 ??x?y( (??zP(x,y,z) ∨??uQ(x,u)) ∨?vQ(y,v)) 德摩律 ??x?y( (?z?P(x,y,z) ∨?u?Q(x,u)) ∨?vQ(y,v)) 德摩律 ??x?y?z?u?v ( (?P(x,y,z) ∨?Q(x,u)) ∨Q(y,v)) 德摩律 ??x?y?z?u?v ( ?P(x,y,z) ∨?Q(x,u)∨Q(y,v)) 德摩律 (3) ?xF(x) →?yP(x,y) ??zF(z) →?yP(x,y) 约束变元与自由变元同名,故约束变元改名 ???zF(z)∨?yP(x,y) 条件式的等值式 ??z?F(z)∨?yP(x,y) 德摩律 ??z?y(?F(z)∨P(x,y)) 德摩律 (4) ?x(P(x,y)→?yQ(x,y,z)) ??x(P(x,y)→?sQ(x,s,z)) 约束变元y与自由变元y同名,故约束变元改名 ??x(?P(x,y) ∨?sQ(x,s,z)) 条件式的等值式 ??x?s(?P(x,y)∨Q(x,s,z)) 辖域的扩充与收缩 (5) ?x(P(x,y)??yQ(x,y,z)) ??x(P(x,y)??sQ(x,s,z)) 约束变元y与自由变元y同名,故约束变元改名 ??x((P(x,y)→?sQ(x,s,z)) ∧(?sQ(x,s,z)→P(x,y))) 双条件的等值式 ??x((P(x,y)→?sQ(x,s,z)) ∧(?tQ(x,t,z)→P(x,y))) 后面约束变元与前面同则后面换名??x((?P(x,y)∨?sQ(x,s,z))∧(??tQ(x,t,z)∨P(x,y))) 条件式的等值式 ??x((?P(x,y)∨?sQ(x,s,z))∧(?t?Q(x,t,z)∨P(x,y))) 德摩律

相关文档
最新文档