离散数学习题答案汇编.docx
- 文档编号:27808110
- 上传时间:2023-07-05
- 格式:DOCX
- 页数:47
- 大小:109.76KB
离散数学习题答案汇编.docx
《离散数学习题答案汇编.docx》由会员分享,可在线阅读,更多相关《离散数学习题答案汇编.docx(47页珍藏版)》请在冰豆网上搜索。
离散数学习题答案汇编
离散数学习题答案
习题一
1、利用逻辑联结词把下列命题翻译成符号逻辑形式
(1)他既是本片的编剧,又是导演---P∧Q
(2)银行利率一降低,股价随之上扬---P→Q
(3)尽管银行利率降低,股价却没有上扬---P∧Q
(4)占据空间的、有质量而且不断变化的对象称为物质---M(S∧P∧T)
(5)他今天不是乘火车去北京,就是随旅行团去了九寨沟---P▽Q
(6)小张身体单薄,但是极少生病,并且头脑好使---P∧Q∧R
(7)不识庐山真面目,只缘身在此山中---P→Q
(解释:
因为身在此山中,所以不识庐山真面目)
(8)两个三角形相似,当且仅当他们的对应角相等或者对应边成比例
---S(E∨T)
(9)如果一个整数能被6整除,那么它就能被2和3整除。
如果一个整数能被3整除,那么它的各位数字之和也能被3整除
解:
设P–一个整数能被6整除Q–一个整数能被2整除R–一个整数能被3整除
S–一个整数各位数字之和能被3整除
翻译为:
(P→(Q∧R))∧(R→S)
2、判别下面各语句是否命题,如果是命题,说出它的真值
(1)BASIC语言是最完美的程序设计语言---Y,T/F
(2)这件事大概是小王干的---N
(3)x2=64---N
(4)可导的实函数都是连续函数---Y,T/F
(5)我们要发扬连续作战的作风,再接再厉,争取更大的胜利---N
(6)客观规律是不以人们意志为转移的---Y,T
(7)到2020年,中国的国民生产总值将赶上和超过美国---Y,N/A
(8)凡事都有例外---Y,F
3、构造下列公式的真值表,并由此判别哪些公式是永真式、矛盾式或可满足式
(1)(P∨(~P∧Q))→Q
解:
P
Q
~P∧Q
P∨(~P∧Q)
(P∨(~P∧Q))→Q
可满足式
0
0
0
0
1
0
1
1
1
1
1
0
0
1
0
1
1
0
1
1
(2)~(4)表略:
(2)可满足式、(3)永真式、(4)可满足式
4、利用真值表方法验证下列各式为永真式
(1)~(8)略
5、证明下列各等价式
(3)P→(Q∨R)(P→Q)∨(P→R)
证明:
左式~P∨Q∨R
⇔~P∨Q∨~P∨R
⇔(~P∨Q)∨(~P∨R)
⇔(P→Q)∨(P→R)右式
(4)(P∧Q)∨(R∧Q)∨(R∧P)(P∨Q)∧(R∨Q)∧(R∨P)
证明:
左式((P∨R)∧Q)∨(R∧P)
⇔((P∨R)∨R))∧((P∨R)∨P))∧(Q∨R)∧(Q∨P)
(P∨Q)∧(R∨Q)∧(R∨P)右式
6、如果P∨QQ∨R,能否断定PR?
如果P∧QQ∧R,能否断定PR?
如果~P~R,能否断定PR?
解:
(1)如果P∨QQ∨R,不能判断PR,因为如果Q=P∨R,那么P∨QP∨P∨RQ∨R,但P可以不等价于R.
(2)如果P∧QQ∧R,不能判断PR,因为如果Q=P∧R,那么P∧QP∧P∧RQ∧R,但P可以不等价于R.
(3)如果~P~R,那么有PR,因为~P~R,则~P<->~R为永真式,及有P<->R为永真式,所以PR.
8、把下列各式用↑等价表示出来
(1)(P∧Q)∨~P
解:
原式((P↑Q)↑(P↑Q))∨(P↑P)
(((P↑Q)↑(P↑Q))↑((P↑Q)↑(P↑Q)))↑((P↑P)↑(P↑P))
9、证明:
{~→}是最小功能完备集合
证明:
因为{~,∨}是最小功能完备集合,所以,如果{~→}能表示出∨,则其是功能完备集合。
由于P∨Q(~P)→Q,所以{~→}是功能完备集合。
因为~→不能相互表示,所以{~→}是最小功能完备集合;同理可证:
{非,条件非}也能将或表示出来:
P∨Q~(~P!
→Q)
8、分别利用真值表法和等价变换法求下列公式的主合取范式及主析取范式:
(3)P→(R∧(Q→P))
解:
真值表法
P
Q
R
Q→P
R∧(Q→P)
P→(R∧(Q→P))
0
0
0
1
0
1
0
0
1
1
1
1
0
1
0
0
0
1
0
1
1
0
0
1
1
0
0
1
0
0
1
0
1
1
1
1
1
1
0
1
0
0
1
1
1
1
1
1
所以:
主合取范式为=(~P∨Q∨R)∧(~P∨~Q∨R)=M4∧M6
主析取范式为=(~P∧~Q∧~R)∨(~P∧~Q∧R)∨(~P∧Q∧~R)∨(~P∧Q∧R)∨(P∧~Q∧R)∨(P∧Q∧R)=m0∨m1∨m2∨m3∨m5∨m7
等价变换法(略)
(4)(P→(Q∧R))∧(~P→(~Q∧~R))
解:
真值表法
P
Q
R
Q∧R
~Q∧~R
P→(Q∧R)
~P→(~Q∧~R)
(P→(Q∧R))∧(~P→(~Q∧~R))
0
0
0
0
1
1
1
1
0
0
1
0
0
1
0
0
0
1
0
0
0
1
0
0
0
1
1
1
0
1
0
0
1
0
0
0
1
0
1
0
1
0
1
0
0
0
1
0
1
1
0
0
0
0
1
0
1
1
1
1
0
1
1
1
所以:
主合取范式为=(P∨Q∨~R)∧(P∨~Q∨R)∧(P∨~Q∨~R)∧(~P∨Q∨R)∧(~P∨Q∨~R)∧(~P∨~Q∨R)=M1∧M2∧M3∧M4∧M5∧M6
主析取范式为=(~P∧~Q∧~R)∨(P∧Q∧R)=m0∨m7
等价变换法(略)
14、从A,B,C,D4个人中派2人出差,要求满足下列条件:
如果A去,则必须在C或D中选一人同去;B和C不能同时去;C和D不能同时去。
用构造范式的方法决定选派方案。
解:
由题设A:
A去,B:
B去,C:
C去,D:
D去则满足条件的选派应满足如下范式:
(A→(CD))∧~(B∧C)∧~(C∧D)
构造和以上范式等价的主析取范式
(A→(CD))∧~(B∧C)∧~(C∧D)
(~A∧~B∧~C∧D)∨(~A∧~B∧~C∧~D)∨(~A∧~B∧C∧~D)∨(~A∧B∧~C∧~D)∨(A∧~B∧C∧~D)∨(A∧~B∧~C∧D)∨(~A∧B∧~C∧D)∨(A∧B∧~C∧D)
共有八个极小项,但根据题意,需派两人出差,所以,只有其中三项满足要求:
(A∧~B∧C∧~D),(A∧~B∧~C∧D),(~A∧B∧~C∧D)
即有三种方案:
A和C去或者A和D去或者B和D去。
15、证明下列蕴含试:
(1)P→Q=>P→(P∧Q)
证明:
P→Q~P∨QT∧(~P∨Q)(~P∨P)∧(~P∨Q)~P∨(P∧Q)
P→(P∧Q)
所以,这是个等价式,因此也是个蕴含式
(2)(P→Q)→Q=>(P∨Q)
证明:
(P→Q)→Q~(~P∨Q)∨Q(P∧~Q)∨Q(P∨Q)∧(Q∨~Q)(P∨Q)∧T(P∨Q)
所以,这是个等价式,因此也是个蕴含式
(3)P∧~P∧R=>S
证明:
P∧~P∧RF=>S(F可蕴含任何命题公式)
(4)P=>Q∨R∨~R
证明:
P=>TQ∨R∨~R(任何公式可蕴含永真式)
18、一个有钱人生前留下了一笔珍宝,藏在一个隐秘处。
在他留下的遗嘱中指出寻找珍宝的线索如下:
(1)如果藏宝的房子靠近池塘,那么珍宝不会藏在东厢房。
(2)如果房子的前院栽有大柏树,那么珍宝就藏在东厢房。
(3)藏宝房子靠近池塘。
(4)要么前院栽有大柏树,要么珍宝埋在花园正中地下。
(5)如果后院栽有香樟树,珍宝藏在附近。
请利用蕴含关系找出藏宝处
解:
根据给定的条件有下述命题:
P:
珍宝藏在东厢房
Q:
藏宝的房子靠近池塘
R:
房子的前院栽有大柏树
S:
珍宝藏在花园正中地下
T:
后院栽有香樟树
M:
珍宝藏在附近
根据题意,得出:
(Q→~P)∧(R→P)∧Q∧(R∨S)∧(T→M)?
(Q→~P)∧(R→P)∧Q∧(R∨S)∧(T→M)
~P∧(R→P)∧(R∨S)∧(T→M)
~R∧(R∨S)∧(T→M)
S∧(T→M)
S即珍宝藏在花园正中地下
20、演绎证明下面各蕴含式:
(4)(R→Q)∧(R→S),(Q→E)∧(S→B),~(E∧B),(P→R)~P
证明:
运用反证方法,将结论的非纳入前提,证明步骤如下
[1]Pp(附加前提)
[2]P→Rp
[3]RT[1,2]I
[4](R→Q)∧(R→S)p
[5]Q∧ST[3,4]I
[6](Q→E)∧(S→B)p
[7]E∧BT[5,6]I
[8]~(E∧B)p
[9]F(矛盾式)T[7,8]E
(5)P→(Q→R),Q→(R→S)P→(Q→S)
证明:
运用cp法,将结论条件式的前件作为前提,证明步骤如下
[1]Pp(附加前提)
[2]P→(Q→R)p
[3]Q→RT[1,2]I
[4]Q→(R→S)p
[5]R→(Q→S)T[4]E
[6]Q→ST[3,5]I
[7]P→(Q→S)CP[1,6]
21、把下列句子演绎成逻辑形式,并给出证明
(2)某公司发生了一起盗窃案,经仔细侦察,掌握了如下一些事实:
●被盗现场没有留下任何痕迹
●失盗时,小花或则小英正在卡拉ok厅
●如果失窃时小胖正在附近,他就会习惯性地破门而入偷走东西后扬长而去
●如果失盗时小花正在卡拉ok厅唱歌,那么金刚是最大的嫌疑者
●如果失盗时小胖不在附近,那么他的女友小英会和他一起外出旅游
●如果失盗时小英正在卡拉ok厅唱歌,那么瘦子是最大的嫌疑者
根据以上事实,请通过演绎推理找出偷窃者
解:
根据给定的条件有下述命题:
P:
现场无任何痕迹
Q:
失窃时,小花在OK厅
R:
失窃时,小英在OK厅
S:
失窃时,小胖在附近
T:
金刚是偷窃者
M:
瘦子是偷窃者
则根据案情有如下命题公式:
{P,Q∨R,S→~P,Q→T,~S→~R,R→M}
1PP
2S→~PP
3~ST①②I
4~S→~RP
5~RT③④I
6Q∨RP
7QT⑤⑥I
8Q→TP
9TT⑦⑧I
即金刚是偷窃者
23、利用消解法证明下列各蕴含式:
(3)P→(Q→R),Q→(R→S)P→(Q→S)
证明:
P→(Q→R)~P∨~Q∨R
Q→(R→S)~Q∨~R∨S
~(P→(Q→S))P∧Q∧~S
因此子句集合={~P∨~Q∨R,~Q∨~R∨S,P,Q,~S}
消解过程如下:
[1]~P∨~Q∨Rp
[2]Pp
[3]~Q∨R由[1,2]归结
[4]Qp
[5]R由[3,4]归结
[6]~Q∨~R∨Sp
[7]~Sp
[8]~Q∨~R由[6,7]归结
[9]~R由[4,8]归结
[10]FLASE□由[5,9]归结
导出空子句
习题二
1、把下列谓词翻译成谓词公式
(1)每个有理数都是实数,但是并非每个实数都是有理数,有些实数是有理数
解:
R(x)--x是实数
Ra(x)--x是有利数
翻译如下:
(x)(Ra(x)→R(x))∧~(x)(R(x)→Ra(x))∧(x)(R(x))∧Ra(x))
(2)直线a和b平行当切仅当a和b不相交
解:
A(x)--x是直线
F(x,y)--x与y平行
G(x,y)--x与y相交
翻译如下:
(a)(b)(A(a)∧A(b)→(F(a,b)~G(a,b)))
(3)除非所有的会员都参加,这个活动才有意义
解:
A(x)--x是会员
B(x)--x有意义 a--这个活动
F(x,y)--x参加y
翻译如下:
B(a)→(x)(A(x)→F(x,a))
或 ~(x)(A(x)→F(x,a))→~B(a)
(4)任何正整数不是合数就是质数
解:
A(x)--x是正整数
B(x)--x是合数
C(x)--x是质数
翻译如下:
(x)(A(x)→B(x)C(x))
(6)凡是存钱的人都想有利息,如果没有利息,人们就不会存钱
解:
A(x)--x是存钱的人
F(x,y)--x想有y
P--存钱没有利息
Q:
--人们不存钱
a:
--利息
翻译如下:
(x)(A(x)→F(x,a))∧(P→Q)
2、设论域D={0,1,2},把下列公式用不含量词的公式表示出来
(3)(x)[~P(x)]∨(x)Q(x)
解:
上式(~P(0)∧~P
(1)∧~P
(2))∨Q(0)∨Q
(1)∨Q
(2)
3、指出下列公式中的约束变元和自由变元,并确定公式的辖域
解:
略
5、把下列语句符号化,并确定相应谓词公式是永真式、可满足式、还是矛盾式
(1)如果两个数的积等于0,那么至少其中一个数为0,数x-1不等于0,所以数x-1和x+1的积也不等于0
解:
设论域在任意数域集合,运用常规的数学符号,翻译如下
(x)(y)(xy=0→(x=0∨y=0))∧((x-1≠0)→((x-1)(x+1)≠0))
这是一个可满足式,但不是永真式,因为存在x=-1时,谓词公式不成立,但其它情况均成立,如果论域中不包含-1,为真,包含就不成立
(2)诚实的人都讲实话。
小林不是诚实的,因而小林不讲实话
解:
H(x)--x诚实
T(x)--x讲真话
a--小林
翻译如下:
((x)(H(x)→T(x))∧~H(a))→~T(a)
这是一个可满足式,因为否定条件命题前件,不一定后件命题一定为假。
及小林虽然不诚实,但也可能讲实话
6、对于题目给定的解释,求下列各公式相应的真值
(1)A=(x)[P(x)∨Q(x)]∧R(a),解释D={1,2,3},P(x):
x2+x=2;Q(x):
x是素数;R(x):
x<3;a=1
解:
根据解释,A变为(P
(1)∨Q
(1))∧(P
(2)∨Q
(2))∧(P(3)∨Q
(2))∧R
(1),根据P(x),Q(x),R(x)的定义,显然P
(1)∨Q
(1)=1,P
(2)∨Q
(2)=1,P(3)∨Q
(2)=1,R
(1)=1,所以整个公式解释为真
(2)A=P(a,f(b))∧P(b,f(a)),B=(x)(y)P(y,x),C=(y)(x)P(y,x),E=(x)(y)[P(x,y)→P(f(x),f(y))],解释:
D={2,3},a=3,b=2,f
(2)=3,f(3)=2,P(2,2)=0,P(2,3)=0,P(3,2)=P(3,3)=1
解:
根据解释,
A变为P(3,3)∧P(2,2)=1∧0=0,真值为假
B变为(P(2,2)∨P(2,3))∧(P(3,2)∨P(3,3))=(0∨0)∧(1∨1)=0,真值为假
C变为(P(2,2)∧P(2,3))∨(P(3,2)∧P(3,3))=(0∧0)∨(1∧1)=1,真值为真
E变为(P(2,2)→P(3,3))∧(P(2,3)→P(3,2))∧(P(3,2)→P(2,3))∧(P(3,3)→P(2,2))=(0→1)∧(0→1)∧(1→0)∧(1→0)=0,真值为假
7、设论域为整数集合Z,试判定下面各公式是否是永真式,矛盾式或可满足式
(1)(x)[x>-10∧x2≥0]
答:
为假命题
(2)(x)[2x>8∧x2-6x+5≤0]
答:
为真命题,当4,5使满足谓词公式
(3)(x)(y)[x+y=1024]
答:
为真命题,对任意整数x,y取值为1024-x及可
(4)(y)(x)[xy<10∨x+y≥2]
答:
为真命题,y=0及成立
9、证明下列各式成立:
(1)(x)(y)[P(x)→Q(y)](x)P(x)→(y)Q(y)
证明:
右式(x)(y)[~P(x)∨Q(y)](x)~P(x)∨(y)Q(y)(x)P(x)→(y)Q(y)
10、判别(x)[P(x)→Q(x)](x)P(x)→(x)Q(x)是否成立,如果成立,请给出证明;如果不成立,找一个解释予以说明
解:
(x)[P(x)→Q(x)](x)[~P(x)∨Q(x)](x)~P(x)∨(x)Q(x)(x)P(x)→(x)Q(x)显然和(x)P(x)→(x)Q(x)不等价,现构造如下解释
设论域为D={a,b},P(a)=0,P(b)=1,Q(a)=0,Q(b)=0,则(x)[P(x)→Q(x)]解释为真,而(x)P(x)→(x)Q(x)解释为假,所以不等价
11、把下列公式化为等价的前束范式,再求出对应的SKolem范式
(4)(x)[~P(x,0)→((y)P(y,f(x))∧(z)Q(x,z))]
解:
原式(x)[P(x,0)∨((y)P(y,f(x))∧(z)Q(x,z))](x)(y)(z)[P(x,0)∨(P(y,f(x))∧Q(x,z))]
其SKolem范式为:
(x)(z)[P(x,0)∨(P(g(x),f(x))∧Q(x,z))]
13、证明下列各式成立
(1)(x)(y)[P(x)∧Q(y)](x)P(x)
证明:
左式(x)P(x)∧(y)Q(y)(x)P(x)
(2)~((x)P(x)∧Q(a))(x)P(x)→~Q(a)
证明:
左式~(x)P(x)∨~Q(a)(x)P(x)→~Q(a)
15、下面给出了对(x)[P(x)∨Q(x)](x)P(x)∨(x)Q(x)]的证明:
(原证明过程略)
试判断这个证明是否正确。
你能给出一个证明吗?
答:
这个证明不正确,因为:
如果PQ则~Q~P而~P~Q不一定成立,因此在这个证明过程中,第二步到第三步的蕴含不成立
17、判别下面各个推理是否正确,如果不正确,指出错在什么地方(题目不再重复)
(1)答:
不正确,全称指定应该变为其他非x的变元,可修改为:
P(y)→Q(x)
(2)答:
正确
(3)答:
不正确,全称指定应该使用相同的个体常量,可修改为:
P(a)∨Q(a)
(4)答:
题目不正确,存在量词的指导变元应该是另外的变元符号
(5)答:
不正确,存在量词的辖域应该包含全部的谓词,可修改为:
(x)[P(x)→Q(x)]
(6)答:
不正确,对不同的个体常元应该用不同的变元进行存在指定,可修改为:
(x)[P(x)→Q(b)]
(7)答:
不正确,推理过程中,应该先使用存在指定,然后使用全称指定
习题三
4、仔细区分集合中的关系符号∈和,并判断下列各蕴含关系的真假
(题目内容,见课本)
(1)真,根据子集的定义,任何属于B集合的元素也属于C集合
(2)假,例如:
A={1,2}B={{1,2},2,3}C=B,1属于A,但并不是C集的元素
(3)假,例如:
A={1,2}B={1,2,3}C={{1,2,3}},A不是C的元素
(4)假,例如:
A={1,2}B={1,2,3}C={{1,2,3}},A不是C的子集
(5)假,例如:
A=1B={1,2,3}C={{1,2,3}},A不是C的元素
(6)真,子集关系具有传递性
9、证明下列各式
(1)A∩(B-C)=(A∩B)-(A∩C)
证明:
左式=A∩(B∩~C)=(A∩B∩~C)∪(A∩B∩~A)=(A∩B)∩(~C∪~A)=(A∩B)∩~(A∩C)=(A∩B)-(A∩C)=右式
(2)A-(B∪C)=(A-B)∩(A-C)
证明:
右式=(A∩~B)∩(A∩~C)=A∩~B∩~C=A∩~(B∪C)=A-(B∪C)=左式
(3)(A-B)-C=A-(B∪C)=(A-C)-B
证明:
(A-B)-C=A∩~B∩~C=A∩~(B∪C)=A-(B∪C)=A∩~C∩~B=(A-C)-B
(4)A∩(B∪C)=(A∩B)∪CCA
证明:
充分性
∵A∩(B∪C)=(A∩B)∪C(A∩B)∪(A∩C)=(A∩B)∪C
假设C不是A的子集,则C中必存在元素c在C中而不在A中,那么c一定不在等式的左端集合中,而一定在右端集合中,矛盾
∴CA
必要性
∵CA,∴A∩C=C,等式两端同时并上另一个集合,等式成立
∴(A∩B)∪(A∩C)=(A∩B)∪CA∩(B∪C)=(A∩B)∪C
(5)A∩(B⊕C)=(A∩B)⊕(A∩C)
证明:
左式=A∩(B∪C-B∩C)=A∩((B∪C)∩(~B∪~C))=A∩(B∪C)∩(~B∪~C)=AB~C+AC~B
右式=((A∩B)∪(A∩C))-((A∩B)∩(A∩C))=(A∩(B∪C))∩~(A∩B∩C)=A∩(B∪C)∩(~A∪~B∪~C)=AB~C+AC~B
所以,左式=右式
10、下面三式中,哪个可得出B=C的结论
(1)A∪B=A∪C
答:
不能得出此结论,因为如果B≠C,但B,C都是A的子集,A∪B=A∪C成立
(2)A∩B=A∩C
答:
不能得出此结论,因为B≠C,但A是C∩B子集,A∩B=A∩C成立
(1)A⊕B=A⊕C
答:
能,因为A⊕A=Φ,Φ⊕A=A⊕Φ=A,同时,(A⊕B)⊕C=A⊕(B⊕C)
所以,已知等式两端A⊕A⊕B=A⊕A⊕CΦ⊕B=Φ⊕CB=C
16、求A={,a,{b}}的幂集
解:
2A={,{},{a},{{b}},{,a},{,{b}},{a,{b}},{
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 习题 答案 汇编