离散数学期末考试复习预测题二
重要考点一:
一、证明题(10分)
1)(ØP∧(ØQ∧R))∨(Q∧R)∨(P∧R)ÛR
证明: 左端Û(ØP∧ØQ∧R)∨((Q∨P)∧R)Û((ØP∧ØQ)∧R))∨((Q∨P)∧R)
Û(Ø(P∨Q)∧R)∨((Q∨P)∧R)Û(Ø(P∨Q)∨(Q∨P))∧R
Û(Ø(P∨Q)∨(P∨Q))∧RÛT∧R(置换)ÛR
2)$x(A(x)®B(x))Û "xA(x)®$xB(x)
证明 :$x(A(x)®B(x))Û$x(ØA(x)∨B(x))Û$xØA(x)∨$xB(x)ÛØ"xA(x)∨$xB(x)Û"xA(x)®$xB(x)
二、求命题公式(P∨(Q∧R))®(P∧Q∧R)的主析取范式和主合取范式(10分)
证明:(P∨(Q∧R))®(P∧Q∧R)ÛØ(P∨(Q∧R))∨(P∧Q∧R))
Û(ØP∧(ØQ∨ØR))∨(P∧Q∧R)
Û(ØP∧ØQ)∨(ØP∧ØR))∨(P∧Q∧R)
Û(ØP∧ØQ∧R)∨(ØP∧ØQ∧ØR)∨(ØP∧Q∧ØR))∨(ØP∧ØQ∧ØR))∨(P∧Q∧R)
Ûm0∨m1∨m2∨m7
ÛM3∨M4∨M5∨M6
三、推理证明题(10分)
- C∨D, (C∨D)® ØE, ØE®(A∧ØB), (A∧ØB)®(R∨S)ÞR∨S
证明:(1) (C∨D)®ØE
(2) ØE®(A∧ØB)
(3) (C∨D)®(A∧ØB)
(4) (A∧ØB)®(R∨S)
(5) (C∨D)®(R∨S)
(6) C∨D
(7) R∨S
2) "x(P(x)®Q(y)∧R(x)),$xP(x)ÞQ(y)∧$x(P(x)∧R(x))
证明(1)$xP(x)
(2)P(a)
(3)"x(P(x)®Q(y)∧R(x))
(4)P(a)®Q(y)∧R(a)
(5)Q(y)∧R(a)
(6)Q(y)
(7)R(a)
(8)P(a)
(9)P(a)∧R(a)
(10)$x(P(x)∧R(x))
(11)Q(y)∧$x(P(x)∧R(x))
四、设m是一个取定的正整数,证明:在任取m+1个整数中,至少有两个整数,它们的差是m的整数倍
五、已知A、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C) (15分)
六、已知R、S是N上的关系,其定义如下:R={<x,y>| x,yÎN∧y=x2},S={<x,y>| x,yÎN∧y=x+1}。求R-1、R*S、S*R、R{1,2}、S[{1,2}](10分)
七、若f:A→B和g:B→C是双射,则(gf)-1=f-1g-1(10分)。
八、(15分)设<A,*>是半群,对A中任意元a和b,如a≠b必有a*b≠b*a,证明:
(1)对A中每个元a,有a*a=a。
(2)对A中任意元a和b,有a*b*a=a。
(3)对A中任意元a、b和c,有a*b*c=a*c。
证明 由题意可知,若a*b=b*a,则必有a=b。
(1)由(a*a)*a=a*(a*a),所以a*a=a。
(2)由a*(a*b*a)=(a*a)*(b*a)=a*b*(a*a)=(a*b*a)*a,所以有a*b*a=a。
(3)由(a*c)*(a*b*c)=(a*c*a)*(b*c)=a*(b*c)=(a*b)*c=(a*b)*(c*a*c)=(a*b*c)*(a*c),所以有a*b*c=a*c。
九、给定简单无向图G=<V,E>,且|V|=m,|E|=n。试证:若则G是哈密尔顿图
重要考点二:
1.什么是命题逻辑公式?举例说明.
定义 命题公式,简称公式,定义为:
(1)命题变元是公式;
(2)如果P是公式,则﹁P是公式;
(3)如果P、Q是公式,则P∧Q、P∨Q、PQ、
PQ都是公式;
4)当且仅当能够有限次的应用(1) 、(2)、(3)
所得到的包括命题变元、联结词和括号的符号
串是才是公式。
例如(﹁P∨Q)∧R
2. 什么是恒假的命题逻辑公式?举例说明.
定义 设G为公式:
如果G在所有解释下取值均为假,则称G是永假式或矛盾式;
例如 ﹁(PQ)∧R
3. 什么是命题逻辑的解释?举例说明.
定义 设G是命题公式, P1,P2,…,Pn是出现在命题公式G中的全部命题变元,指定P1,P2,…,Pn的一组真值,称这组真值为G的一个解释或赋值,记作I,公式G在I下的真值记作TI(G)。
例如,G=(﹁PQ)®R,则I:
P Q R
1 1 0
是G的一个解释,在这个解释下G的真值为1,即TI(G)=1。
4. 什么是命题逻辑的主析取范式?举例说明.
设G为公式,P1,P2,…,Pn为G中的所有命题变元,若G的析取范式中每一个合取项都是P1,P2,…,Pn的一个极小项,则称该析取范式为G的主析取范式
5. 什么是命题逻辑的主合取范式?举例说明.
设G为公式,P1,P2,…,Pn为G中的所有命题变元,若G的合取范式中每一个析取项都是P1,P2,…,Pn的一个极大项,则称该合取范式为G的主合取范式。
6. 什么是命题逻辑的析取范式?举例说明.
由有限个简单合取式构成的析取式称为析取范式。、
例如 P∨Q∨R
7. 什么是命题逻辑的合取范式?举例说明.
由有限个简单析取式构成的合取式称为合取范式。
例如 P∨Q∨R
8. 什么是谓词逻辑公式, 举例说明.
定义2.2.3 谓词演算的合式公式定义如下:
(1)原子公式是合式公式;
(2)若A是合式公式,则(﹁A)也是合式公式;
(3)若A,B是合式公式,则(A∧B)、(A∨B)、(A→B)、
(A↔B)是合式公式;
4)若A是合式公式,则是合式公式;
(5)只有有限次地应用(1)~(4)构成的符号串才是合式公式。
例如:计算机系的学生都要学离散数学。
令C(x):x是计算机系的学生,G(x):x要学离散数学;
则命题(2)可符号化为:
9.什么是谓词逻辑公式的解释, 举例说明.
谓词逻辑公式的一个解释I,是由非空区域D和对G中常
项符号、函数符号、谓词符号以下列规则进行的一组指定组成:
(1)对每一个常项符号指定D中一个元素。
(2)对每一个n元函数符号,指定一个函数。
(3)对每一个n元谓词符号,指定一个谓词。
显然,对任意公式G,如果给定G的一个解释I,则G在I的解释下
有一个真值,记作TI(G)。
例2.2.6 设有公式:
在如下给出的解释下,判断该公式的真值。
解 (1)解释I为: D:整数集合。 F(x,y):x+y=0 G(x,y):x>y
因为对任意的x,任意yÎD,有x+y=0为“假”,所以无论G(x,y)为“真”或“假”,都有
F(x,y)→G(x,y)为“真”
所以($x)("y)(F(x,y)→G(x,y))为“真”。
10. 什么是两集合的交集? 举例说明.
定义对于任意两个集合A、B,由所有既属于A又属于B的元
素构成的集合,称作A与B的交集,记作A∩B。
例如例如,A={a,b,c},B={b,c,d,e},则A∩B={b,c}
11. 什么是一个集合的幂集合? 举例说明.
定义 设A是有限集,由A的所有子集作为元素而构成的集
合称为A的幂集
例如:A={1,2,3},则
ρ(A)={Æ,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
12. 什么是关系, 举例说明.
设A,B是两个集合,R是笛卡儿积A×B的任一子集,
则称R为从A到B的一个二元关系,简称关系
例 设A={a,b,c,d,e},B={1,2,3},R={<a,2>,<b,3>,<c,2>}
13. 什么是关系的自反性, 对称性, 传递性?
设R是集合A上的二元关系,如果对于每个xA,都有
<x,x>R,则称二元关系R是自反的。
设R是集合A上的二元关系,如果对于每个x,yA,当<x,y>
R,就有<y,x>
R,则称二元关系R是对称的。
设R是集合A上的二元关系,如果对于任意x,y,zA,当<x,y>
R,<y,z>
R,就有<x,z>
R,则称二元
关系R在A上是传递的。
例 设A={1,2,3},
R={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<2,3>,<3,1>,<3,2>,<3,3>}
14. 什么是等价关系, 举例说明.
设R是非空集合A上的二元关系,如果有R是自反的、
对称的和传递的,则称R是集合A上的等价关系
例 设A={1,2,3},
R={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<2,3>,<3,1>,<3,2>,<3,3>}
15. 什么是偏序关系, 举例说明.
设R是集合A上的一个关系,如果有R是自反的、
反对称的和传递的,则称R是A上的一个偏序关系
例 设R是集合A={2,3,6,8}上的关系,R={<x,y>│x整
除y},验证R是偏序关系。
证明 R={<2,2>,<2,6>,<2,8>,<3,3>,<3,6>,<6,6>,
<8,8>},容易验证R是自反的、反对称的和传递的。故它是偏
序关系。
16 什么是欧拉图? 什么是哈密顿图?
通过图中所有边一次且仅一次行遍所有顶点的回路,称为欧拉回路;
具有欧拉回路的图,称为欧拉图;
在图8.1-1中,(a)存在欧拉通路,但不存在欧拉回路,因而它不是欧拉图。
而(b)中存在欧拉回路,所以(b)是欧拉图。
经过图中所有顶点一次且仅一次的回路,称为哈密尔顿回路;
具有哈密尔顿回路的图,称为哈密尔顿图;
在图8.2-2中,(a)、(b)中存在哈密尔顿回路,是哈密尔顿图,(c)中存在哈密尔顿通路,但不存在哈密尔顿回路,是半哈密尔顿图,(d)中既无哈密尔顿回路,也无哈密尔顿通路,不是哈密尔顿图。