离散数学习题

离散数学习题

常用符号

→
¬
∨
∧
<=>

习题

→	¬	∨	∧	<=>

设P：我周末不加班；Q：我去爬山，命题“只要我周末不加班，我就去爬山”符号化为（ ）

只要我周末不加班，我就去爬山
只要P，我就Q
P→Q

下列命题公式为重言式的是（ B ）
A(P→Q)∧(Q→P)
B(P∧Q)→P
C(¬P∨Q)∧¬(¬P∧¬Q)
D¬(P∨Q)
A

P	Q	P→Q	Q→P	(P→Q)∧(Q→P)
0	0	1	1	1
0	1	1	0	0
1	0	0	1	0
1	1	1	1	1

B(P∧Q)→P

P	Q	P∧Q	(P∧Q)→P
0	0	0	1
0	1	0	1
1	0	0	1
1	1	1	1

下列命题公式为永真式的是（ c ）
A﹁P∨Q
B(P→Q)∨Q
C(P∧Q)→Q
DP→(P∧Q)
A

P	Q	﹁P	﹁P∨Q
0	0	1	1
0	1	1	1
1	0	0	0
1	1	0	1

B

P	Q	P→Q	(P→Q)∨Q
0	0	1	1
0	1	1	1
1	0	0	0
1	1	1	1

C

P	Q	P∧Q	(P∧Q)→Q
0	0	0	1
0	1	0	1
1	0	0	1
1	1	1	1

下列命题公式不是永真式的是（ A）

A(P→Q)→P

B(P→Q)∨P

C﹁P∨(Q→P)

DP→(Q→P)
A

P	Q	P→Q	(P→Q)→P
0	0	1	0
0	1	1	0
1	0	0	1
1	1	1	1

B

P	Q	P→Q	(P→Q)∨P
0	0	1	1
0	1	1	1
1	0	0	1
1	1	1	1

下列命题公式不是永真式的是（ ）
A¬(P∨Q)∨Q
B(P→¬Q)∨P
C(P→Q)∨P
DP→(P∨Q)

A
¬(P∨Q)∨Q
(¬P∧¬Q)∨Q
（¬P∨Q）∧（¬Q∨Q）
（¬P∨Q）∧ 1
¬P∨Q
B
(P→¬Q)∨P
¬ (P∨¬Q)∨P
(¬ P∧Q)∨P
（¬ P∨P）∧（Q∨P）
1∧（Q∨P）
Q∨P
C
(P→Q)∨P
¬ (P∨Q)∨P
(¬P∧¬Q)∨P
（¬P∨P）∧（¬Q∨P）
1∧（¬Q∨P）
¬Q∨P
D
P→(P∨Q)
¬P∨(P∨Q)
（¬P∨P）∨（¬P∨Q）
1∨（¬P∨Q）
1

下列式子为重言式的是（ ）
A(┐P∧R)→Q
BP∨Q∧R→┐R
CP∨(P∧Q)
D(┐P∨Q)↔(P→Q)

A
(┐P∧R)→Q
┐(┐P∧R) ∨ Q
P ∨ ┐R ∨ Q
B
P∨Q∧R→┐R
┐(P∨Q∧R) ∨ ┐R
(┐(P∨Q)) ∨ ┐R) ∨ ┐R
(┐(P∨Q)) ∨ ┐R) ∨ ┐R
(┐P∧┐Q) ∨ ┐R ∨ ┐R
(┐P∨ ┐R) ∧ (┐Q ∨┐R)∨ ┐R
┐P ∨ ┐R ∧ (┐Q ∨ ┐R)∨ ┐R
C
P∨(P∧Q)
P
D
(┐P∨Q)↔(P→Q)
(┐P∨Q)↔(┐P∨Q)

下列命题公式为永真式的是（C）
A（P→Q）∨Q

B（P∨Q）→P

C（P→Q）∨P

D P∨（¬P∧Q）

A
（P→Q）∨Q
¬P∧Q∨Q
B
（P∨Q）→P
¬（P∨Q）∨ P
¬P ∧ ¬Q ∨ P
P∨（¬P ∧ ¬Q）
（P∨¬P） ∧ （P∨¬Q）
1∧ （P∨¬Q）
P∨¬Q
C
（P→Q）∨P
（¬P∨Q）∨P
¬P∨Q∨P
¬P∨P∨Q
1∨Q
1
C为永真式

下列命题公式为永假式的是(B)
A ¬(P→Q)
B ¬(P→Q) ∧Q
C(P→Q)∨Q
D ¬P∧(P→Q)

B
¬(P→Q) ∧Q
¬(¬P∨Q) ∧Q
P∧¬Q ∧Q
P∧(¬Q ∧Q)
P∧0
0
C
(P→Q)∨Q
¬P∨Q∨Q

D
¬P∧(P→Q)
¬P∧(¬P∨Q)
¬P

下列命题公式是永真式的为©
A (P→Q)∨Q
B (P∧Q)∨¬P
C (P∧¬P)→Q
D ¬(P→Q)∧Q

A
(P→Q)∨Q
¬P∨Q∨Q
(P∧¬P)→Q (P∧¬P)→Q
C
(P∧¬P)→Q
0→Q
1
D
¬(P→Q)∧Q
¬(¬P∨Q)∧Q
P∧¬Q∧Q
P∧(¬Q∧Q)
P∧0
0

证明:((P→Q)∧(Q→R))→(P→R)

((P→Q)∧(Q→R))→(P→R)<=>
(¬P∨Q)∧(¬Q∨R)→(P→R)<=>
¬((¬P∨Q)∧(¬Q∨R)) ∨ (¬P∨R)<=>
(¬(¬P∨Q)) ∨ (¬(¬Q∨R)) ∨ (¬P∨R)<=>
(P ∧ ¬Q) ∨ (Q ∧ ¬R) ∨ (¬P∨R)<=>
?
?

用等值演算法求命题公式(P-¬Q)→R 的主析取范式。

(P→¬Q)→R<=>
(P→¬Q)→R<=>
(¬P∨¬Q)→R<=>
¬(¬P∨¬Q)∨R<=>
(P∧Q)∨R<=>

令p:今天下雨，q:我今天进城。命题“因为今天不下雨，所以我今天进城”的符号化形式为()
¬p→q

因为今天不下雨，所以我今天进城
因为¬p，所以q
¬p→q

设P:天下雨，Q:我骑自行车上班，对命题“除非天下雨，否则我就骑自行车上班”符号化正确的是

除非天下雨，否则我就骑自行车上班
除非P，否则Q
¬P→Q或者¬Q→P

设P:天下雨，Q:我去爬山，命题“只要天不下雨，我就去爬山”的符号化正确的是()
¬P→Q

只要天不下雨，我就去爬山
只要¬P，我就Q
¬P→Q

设P:他用功;Q:他成绩好，命题“只有他用功，他成绩才好”符号化为()
Q→P

只有他用功，他成绩才好
只有P，Q
Q→P

设P:他看电影，Q:他学习，将命题“他在学习或在看电影”符号化正确的是

他在学习或在看电影
Q或P
Q∨P

设P:明天下雨，Q:我去游泳，命题“如果明天不下雨，我就去游泳”符号化为()
¬P→Q

如果明天不下雨，我就去游泳
如果¬P，我就Q
¬P→Q

设P: a能被2整除，Q: a能被4整除，命题“只有a能被2整除，a才能被4 整除”符号化为()
Q→P

只有a能被2整除，a才能被4 整除
只有P，Q:
Q→P

令p:下午下雨，q:我去公园，r:家里来客人，则命题“若下午不下雨，我就去公园，除非家里来客人”的符号化形式为
(¬p∧¬r)→q

若下午不下雨，我就去公园，除非家里来客人
若¬p，我就q，除非r
(¬p∧¬r)→q

设p:他怕困难;q:他获得成功。命题“只要他怕困难，他就不会获得成功”可符号化为()
q→¬p

只要他怕困难，他就不会获得成功
如果他获得成功,那么他就不怕困难
如果q,那么他就¬p
q→¬p

令p:他怕困难，q:他战胜困难，命题“他战胜困难是因为他不怕困难”的符号化形式为()
¬p→q

他战胜困难是因为他不怕困难
他q:是因为他¬p
因为他¬p他q
¬p→q

令p:天下大雨，q:小王迟到。命题“除非天下大雨，否则小王不会迟到”的符号化形式为()
¬p→¬q或者q→p

除非天下大雨，否则小王不会迟到
除非p，否则¬q
¬p→¬q或者¬¬q→p
¬p→¬q或者q→p

下列语句是真命题的是()
A 雪是黑色的，当且仅当5<0
B 自然数中存在最大素数
C今天天气真好呀
0 只有5<0，雪才是白色的

雪是黑色的，当且仅当5<0
0,当且仅当0
0→0为1
真命题
自然数中存在最大素数
0
今天天气真好呀
不是命题
只有5<0，雪才是白色的
只有0，才1
1→0为0
0

下列语句是假命题的是()
A 只有2是奇数,√3才是无理数
B 只要2是奇数,√3就是无理数
C 如果2是奇数，那么√3就是无理类
D 除非√3是无理数，否则2不是奇类

只有2是奇数,√3才是无理数
只有0,才1
1→0为0
假命题
只要2是奇数,√3就是无理数
只要0,就1
0→1为1
真命题
如果2是奇数，那么√3就是无理类
如果0，那么√1
0→1为1
真命题
除非√3是无理数，否则2不是奇类
除非1，否则1
0→1或者0→1
0→1为1
真命题

设p:天下雨，q:我开车上班。命题除非不下雨，否则我开车上班”可符号化为()
p→q或者¬q→p

除非不下雨，否则我开车上班
除非不p，否则q
除非¬p，否则q
除非A，否则B<=>¬A→B或者¬B→A
¬¬p→q或者¬q→¬¬p
p→q或者¬q→p

设P:我在家，Q:天下雨，命题“只要天下雨，我就在家”的符号化正确的是
Q→P

只要天下雨，我就在家
只要Q，我就P
Q→P

设p:天下雨;q:我走路上班。命题“只要不下雨，我就走路上班”可符号化为()
¬p→q

只要不下雨，我就走路上班–>
只要不p，我就q–>
只要¬p，我就q–>
¬p→q

下列语句为假命题的是()
A如果3是偶数，那么1/3就是有理数
B只要3是偶数，1/3就是有理数
C除非1/3是有理数，否则3不是偶数
D只有3是偶数，1/3才是有理数

A如果3是偶数，那么1/3就是有理数–>
如果0，那么1–>
0→1–>
1–>
真命题
B只要3是偶数，1/3就是有理数–>
只要0，1–>
0→1–>
1–>
真命题
C除非1/3是有理数，否则3不是偶数–>
除非1，否则1–>
除非A，否则B<=>¬A→B或者¬B→A
0→1或者0→1->
0→1->
1–>
真命题
D只有3是偶数，1/3才是有理数–>
只有0，才1–>
1→0->
0->
假命题

设p:天下雨;q:我走路上班。命题“只有不下雨，我才走路上班”可符号化为()
q→¬p

只有不下雨，我才走路上班
只有不p，我才q
只有¬p，我才q
只有A，才B<=>B→A
q→¬p

设p:他怕困难，q:他获得成功。命题“他只有不怕困难，才能获得成功”可符号化为()
q→¬p

他只有不怕困难，才能获得成功
他只有不p，才q
他只有¬p，才q
只有A，才B<=>B→A
q→¬p

设p:他怕困难;q:他获得成功。命题“除非他不怕困难，否则他不会获得成功”可符号化为()
p→¬q或者q→¬p

除非他不怕困难，否则他不会获得成功
除非¬p，否则¬q
除非A，否则B<=>¬A→B或者¬B→A
¬¬p→¬q或者¬¬q→¬p
p→¬q或者q→¬p

设P：他聪明，Q：他成绩好，命题“他虽聪明但成绩不好”的符号化正确的是（ ）

他虽P但!Q

Q→P*

P∨¬Q*

P∧¬Q

Q∧P*

设P：我在家，Q：天下雨，命题“只要天下雨，我就在家”的符号化正确的是（ ）

只要天下雨，我就在家

只要Q，我就P

P→Q

¬P∧¬Q*

¬P∨¬Q*

Q→P

<A，+>是群

偶数相加仍是偶数，所以封闭； 偶数和0相加仍为它本身，故而0是幺元； 加法运算满足结合律；
偶数和它的负数相加等于0，而这个负数仍为偶数，故而逆元存在； 综上<A，+>是群。

含有么元的半群称为独异点

幺元 半群 封闭性 可结合 幺元 封闭性 可结合

<A，×>–>

ab=a,ba=a,b=a, 存在幺元. 满足封闭性 可结合

abc
=a*(bc)=a(b+c+1)=a+b+c+2
=(a*b)*c=(a+b+1)c=a+b++c+2
=(ac)*b

能构成一个群

封闭 可结合 幺元 逆元

设简单无向图G有15条边，有3个4度结点，有4个3度结点，其余结点的度数均为2，则G中的结点个数是（ ）

边*2=度
15*2=3*4+4*3+n*2
30=12+12+n*2
2n=6
n=3
3+4+3=10

设简单无向图G有16条边，有3个4度顶点，有4个2度顶点，其余顶点的度数均大于3，则G中的顶点个数至多为（ ）

16*2=3*4+4*2+n*(3+)
32=12+8+n*(3+)
32=20+n*(3+)
12=n*(3+)
4n=12
n=3
3+4+3=10

设简单无向图G有15条边，有3个4度结点，其余结点的度数均为3，则G中的结点个数是（　）

15*2=3*4+n*3
30=3*4+n*3
10=1*4+n*1
10=4+n
6=n
6+3=9

设简单无向图G有16条边，有3个4度结点，有4个3度结点，其余结点的度数均大于3，则G中的结点个数至多为（ ）

16*2=3*4+4*3+n*(3+)
32=12+12+n*(3+)
8=n*(3+)
n=8/(3+)
n=8/4=2
3+4+2=9

[单选题]
一棵树有3个4度点，4个2度点，其它的都是1度，那么这棵树的边数是（ ）
设边为n,则有:
点数:

(n+1-3-4)+3*4+4*2=2n

n+14=2n
14=n

设有一个连通平面图G，共有7个结点，12条边，则G的面的个数为（ ）

若它有n个结点，m条边和f个面，则有n-m+f=2
7-12+f=2
f=2-7+12=7

设有一个连通平面图G，共有6个面，13条边，则G的顶点个数为（ ）

n-m+f=2
n-13+6=2
n=9

10、[单选题]
设有一个连通平面图G，共有7个结点，3个面，则G的边数为（ ）

n-m+f=2
7-m+3=2
m=8

[单选题]
一棵树有5个3度结点，2个2度结点，其它的都是1度结点，那么这棵树的结点数是（ ）

(n-1)*2=(n-5-2)*1+5*3+2*2
n=14

[单选题]
一棵树有2个4度结点，3个3度结点，其余为树叶，则该树中树叶个数是（ ）

2*(2+3+n-1)=2*4+3*3+n
n=9

设p：天下雨；q：我走路上班。命题“只有不下雨，我才走路上班”可符号化为（ ）

只有不下雨，我才走路上班
只有不p，我才q
只有¬p，我才q

p→q
q→p
¬p→q
q→¬p

设p：天下雨，q：我开车上班。命题“除非不下雨，否则我开车上班”可符号化为（ ）
A、p→q
B、q→p
C、¬p→q
D、q→¬p

除非不下雨，否则我开车上班
除非不p，否则q
除非¬p，否则q除非¬p，否则q
¬¬p，q

[单选题]
下列语句是假命题的是（ ）

只有2是奇数,3才是无理数		Q→P,0→0,1
只要2是奇数，3就是无理数		P→Q,0→0,1
如果2是奇数，那么3就是无理数	P→Q,0→0,1
除非√3是无理数，否则2不是奇数	P→Q,0→0,1
除非P，否则!Q
P→→1!Q
0→1,

设p：他怕困难，q：他获得成功。命题“他只有不怕困难，才能获得成功”可符号化为（ ）

他只有不怕困难，才能获得成功
他只有不p，才能q
q→不p

[单选题]

下列语句为假命题的是（）

A、如果3是偶数，那么1/3就是有理数
0→0,1
B、只要3是偶数，1/3就是有理数
0→0,1
C、除非1/3是有理数，否则3不是偶数
D、只有3是偶数，1/3才是有理数
0→0,1

[单选题]
设p：他怕困难；q：他获得成功。命题“只要他怕困难，他就不会获得成功”可符号化为（ ）

只要他怕困难，他就不会获得成功
如果他怕困难，他就不会获得成功
如果p，他就不会q
p→¬q
q→¬p

[单选题]
下列式子为矛盾式的是（ ）

P Q ¬P P∧¬P
0 0  1	 0		
0 1  1	 0	
1 0  0	 0	
1 1  0	 0

令F(x)：x是实数，G(x)：x是有理数。命题“实数不全是有理数”的符号化形式为（ ）

实数不全是有理数
F(x),G(x)
∀x（F(x)→G(x)） 0
∀x（F(x)∧G(x)） 0
¬∀x（F(x)→G(x)）  1
¬∀x（F(x)∧G(x)）0

设A(x)：x是实数，B(x)：x是有理数，命题“有的实数不是有理数”符号化为（ ）

有的实数不是有理数

¬(∀x)(A(x)∧B(x))0
¬(∃x)(A(x)∧B(x))0
¬(∃x)(A(x)→B(x))0
¬(∀x)(A(x)→B(x))1

设F(x)：x是在美国的留学生，G(y)：y是亚洲人。命题“并不是所有在美国的留学生都是亚洲人”可符号化为（ ）

并不是所有在美国的留学生都是亚洲人
F(x),G(y)
¬∃x(F(x)→G(x))0
¬∀x(F(x)→G(x))

设论域为整数集，下列公式中真值为假的是（ ）

∀x∃y（xy=0）1
∀x∃y（x/y=1）0
∃x∃y（x+y=0）1
∃x∃y（x-y=0）1

群:
封闭,幺元,逆元 ,结合律

含有么元的半群称为独异点
幺元
半群
封闭性
可结合
幺元
封闭性
可结合

设简单无向图G有15条边，有3个4度结点，有4个3度结点，其余结点的度数均为2，则G中的结点个数是（ ）n

15*2=3*4+4*3+(n-3-4)*2
30=12+12+(n-7)*2
30=24+(n-7)*2
6=(n-7)*2
3=(n-7)
10=n

设简单无向图G有15条边，有3个4度结点，其余结点的度数均为3，则G中的结点个数是（　）n

15*2=3*4+(n-3)*3
30=12+(n-3)*3
18=(n-3)*3
6=(n-3)
9=(n)

一棵树有3个4度点，4个2度点，其它的都是1度，那么这棵树的边数是（ ）n

3*4+4*2+(n+1-3-4)=2n
12+8+(n-6)=2n
20+(n-6)=2n
20+n-6=2n
14+n=2n
14=n

一棵树有5个3度结点，2个2度结点，其它的都是1度结点，那么这棵树的结点数是（ ）n

5*3+2*2+(n-5-2)*1=2n
15+4+(n-7)=2n
19+(n-7)=2n
12+n=2n
12=n

15+4+(n-7)=2(n-1)
19+(n-7)=2(n-1)
19+n-7=2(n-1)
12+n=2(n-1)
12+n=2n-2
14+n=2n
14=n

一棵树有2个3度结点，其余结点都是叶子，则叶子数是（ ）n

2*3=((n+2)-1))*2)
3=((n+2)-1)
3=(n+2)-1
4=(n+2)
2=(n)

设有一个连通平面图G，共有7个结点，12条边，则G的面的个数为（ ）

n-m+r=2
7-12+r=2
-5+r=2
r=7

设有一个连通平面图G，共有6个面，13条边，则G的顶点个数为（ ）

n-m+r=2
n-13+6=2
n-7=2
n=9

设有一个连通平面图G，共有7个结点，3个面，则G的边数为（ ）

n-m+r=2
7-m+3=2
7+3-m=2
10-m=2
8-m=0
8=m