完整版离散数学题目及答案Word下载.docx
- 文档编号:20469423
- 上传时间:2023-01-23
- 格式:DOCX
- 页数:15
- 大小:20.63KB
完整版离散数学题目及答案Word下载.docx
《完整版离散数学题目及答案Word下载.docx》由会员分享,可在线阅读,更多相关《完整版离散数学题目及答案Word下载.docx(15页珍藏版)》请在冰豆网上搜索。
D
.既不是自由变元又不是约束变元
下列命题公式为重言式的是(
A)
A
.p→(p∨q)
(p∨┐p)→q
C
.q∧┐q
p→┐q
4.
下列语句中不是..命题的只有(
A.花儿为什么这样红?
2+2=0
C.飞碟来自地球外的星球。
D.凡石头都可练成金。
5.在公式(x)(y)(P(x,y)Q(z))
y)P(y,z)中变元y是(B)
A.自由变元
B.约束变元
C.既是自由变元,又是约束变元
D.既不是自由变元,又不是约束变元
6.下列命题公式为重言式的是(
A.p→(p∨q)
B.(p∨┐p)→q
C.q∧┐q
7.给定如下4个语句:
D.q→┐p
1)我不会唱歌。
2)
如果天不下雨,我就上街。
3)我每天都要上课。
4)
火星上有人吗?
其中不是复合命题的是(B
B.(3)(4)
A.
(1)(4)
C.
(1)(3)
D.
(1)(3)(4)
8.下列含有命题
p,q,r的公式中,
是特异(主)
析取范式的是
A.(pq
r)
pq)
C.(pq
9.设个体域为整数集
则下列公式中值为真的是(
)。
A.(y)(x)
x·
y=2)
x)(y)(x·
C.(x)(x-y=x)
x)(y)(x+y=2y)
10.下述不是命题的是(D)
B.月亮上有水
D.x3
A.花儿是红色的
C.3是偶数
11.
用P表示:
天下大雨;
Q表示:
他乘公共汽车上班。
将“如果天下大雨,他就乘公共
汽车上班。
”符号化正确的是(A
.PQB.QP
C.P
QD.PQ
12.谓词公式(y)(x)(P(x)
→
R(
x,y))∧
xQ(x,y)中变元y(C)
A.
是自由变元但不是约束变元
是约束变元但不是自由变元
C.
既是自由变元又是约束变元
既不是自由变元又不是约束变元
13.下
列命题公式为永假式的是(
p→(p∨q)
p∧q→q
q∧┐q
p→q
14.下
列语句中,不是命题的是(
.铅球不是球。
.要是他不上场,我们就不会输。
.刘翔跨110米栏用了不到13秒钟,
你说他是不是运动健将呢?
他是一个真正的运动健将。
13.关于命题变元P和Q的成假赋值为
01
对应的极大项是(C)
.┐P∧QB.┐P∨Q
C.P∨
┐QD.P∧┐Q
14.谓词公式(y)(x)(P(x)
yQ(x,y)中变元y(B)
.是自由变元但不是约束变元
.既是自由变元又是约束变元
15.
设p:
开关A开,q:
开关B开,则“开且只开
A、B中一个开关”的命题公式是(
pq
p
q
(pq)(pq)
(p
q)(pq)
16.下
列等价式正确的是(C)
┐(x)A(x)┐A
(x)(
y)A(x)(y)A
┐(x)A(x)┐A
.(x)(A(x)B(x))(x)A(x)(x)B(x)
17.在论域D={a,b}中与公式(x)
(x)
等价的不含存在量词的公式是(B)
A(a)A(b)
.A(a)
A(b)
A(a)
18.下
列命题公式为重言式的是(
p→(p∧q)
(p∨┐
p)→q
p∨┐p
C)
19.下列命题中真值为1的是(B)
A.若2+2=4,则3+36
B.若
2+2=4,则3+3=6
C.2+2=4,当且仅当3+36
D.2+24,当且仅当3+3=6
20.设个体域为整数,下列公式中真值为
1的是(
B)
A.xy(x+y=1)
xy(x+y=1)
C.xy(x+y=1)
xy(x+y=1
21.下列命题中真值为0的是(C
A.若2+2=5,则3+36
B.若2+2=4,则3+3=6
C.2+2=5,当且仅当3+36
2+24,当且仅当3+3=6
22.谓词公式x(M(x)y(E(y)
L(x,y))中变元x(C)
A.是自由变元但不是约束变元
C.既是自由变元又是约束变元
23.设个体域为整数,下列公式中真值为
xy(x+y=1)
C.xy(x+y=1)
填空题
1.n个命题变元的极小项有2n
个。
2.设p:
220,q:
3是奇数,则pq的真值是1。
3.含n个命题变项的重言式的特异(主)合取范式为1
4.设个体域为整数集合Z,命题xy(xy3)的真值为1
5.公式xP(x)xQ(x)的前束范式为x(P(x)Q(x))
6.设p:
我很累,q:
我去学习,命题:
“我很累,但我还去学习”的符号化为pq
7.设P表示:
Q表示:
他乘公共汽车上班,则命题“如果天下大雨,他就乘公共汽车上班。
”的符号化是pq
8.设P:
2+2=4,Q:
3是奇数,则命题“2+=24,当且仅当3是奇数.”的符号化为PQ
9.含n个命题变项的矛盾式的特异(主)析取范式为0
10.命题公式pq成假的解释是01,1011.pq的成假解释为01,10
计算题
1.
求
xF(x)
xG(x)的前束范式。
解:
xFx
xGx
xGx3分
xFx
Gx3分
(pq)
r的真值表,并写出它的特异(主)析取范式和特异(主)合取范式。
真值表如下:
故主析取范式为
pqrpqrpqrpqrpqr
主合取范式为
pqr
qr
3.求命题公式的
((p
q)
r)p成真赋值。
pq
r
=p
=prqrp
成真赋值100,010,101,110,111
4.将公式(xP(x)yR(y))xF(x)化为前束范式。
xPxyRyxFx
xyPxRyxF
xyPxRyzF
xyzPxRyF
5.求公式(p∨(q∧r))→(p∧q∧r)
pqr
成真赋值为:
000,001,010,111
6.用谓词公式表示“有人喜欢吃所有的食物”
Mx:
x是人,Ny:
y是食物
Hx,y:
x喜欢吃y
符号化:
xMxyNyH
7.用作真值表方法确定下列命题公式的类型:
x
z
的特异(主)析取范式,并求成真赋值r
pqrpqr
。
x,y
((pq)(qp))(pq).解:
设原式=A,真值表如下:
q(pq)
(qp)
1
则原式为永真式。
pqA
11
8.用逻辑式表示
”。
某些计算机与某些外部设备之间不能相联
Cx:
x是计算机,Dx:
x为外部设备,
Px,y:
x与y相联
10.给定一阶逻辑公式xP(x,y)
yQ(y),求该公式的前束范式。
符号化为xy(C(x)D(y)P(x,y))
原式=(F(a)
yG(y))(F(b)
yG(y))
=(F(a)
(G(a)
G(b)))
(F(a)(G(a)G(b)))
F(b))
G(b))
9.在个体域D{a,b},消去公式x(F(x)
yG(y))的量词。
原式xPx,yzQz
xzPx,yQz
11.用逻辑式表示“某些计算机与某些外部设备之间能相联解:
12.用等值演算求命题公式┐(p∨q)∧(q→r)的特异(主)析取范式,并判断该公式的
类型。
原式
qpqr
rpqr
公式类型为非永真的可满足式。
13.设一阶逻辑公式Gx(yP(x,y)(zQ(z)R(x))),试将G化成与其等价的前束范式。
Gx(yP(x,y)(zQ(z)R(x)))
=xy(P(x,y)z(Q(z)R(x)))
=xyz(P(x,y)(Q(z)R(x)))
14.设公式G的真值表如下,试求出G的特异(主)析取范式和特异(主)合取范式。
G
主析取范式(pqr)(pqr)(pqr)(pqr)
主析取范式(pqr)(pqr)(pqr)(pqr)
15.求公式xF(x)yG(x,y)的前束范式。
原式=xF(x)yG(z,y)
=xy(F(x)G(z,y))
证明题
1.用等值演算证明等值式
(qr)(pq)r
证明:
左边(pvr)
(q
(pq)r
r右边
2.设P,Q,R是三个命题,构造下列推理证明:
前提:
PQ,QR,P
结论:
R
1P前提引入
2PQ前提引入
3Q12析取三段论4分
4QR前提引入
5R34假言推理4分
p(q
s),q,r
rs
(1)r
附加前提引入
(2)
pr
前提引入
(3)
(1)
(2)拒取
3.证明下列推断
4)pq
s
5)qs
6)q
7)s
(3)(4)假言推理
(5)(6)假言推理
4.用构造证明法证明下列推理:
pq,(qr)r,(ps)
s
1s
2ps
3ps
4p
5prr
6pr
7r
8r
9rr
5.证明:
p(qr)证明:
左边pqprqprqprqprq
否定结论引入
2置换
13析取三段论
5简化
46析取三段论
78合取
(pr)q。
=右边
6.证明公式G=((P→Q)∧(Q→P)∧P)→P是永真式。
G
((PQ)
(Q
P)
P)P
=((P
Q)
P
(P
Q))P
=(P
=P
Q
=1Q
=1
G为永真式
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 完整版 离散数学 题目 答案