离散数学习题
常用符号
→
¬
∨
∧
<=>
习题
→ ¬ ∨ ∧ <=>
设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∨QD
¬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