离散数学-第一次习题课
第1章 习题讲解 离散数学(共22张PPT)
设 P :今天是星期二 Q :我有一次计算方法测验 R :我有物理(wùlǐ)测验 S :物理(wùlǐ)
老前师提生(病qiántí): P ∧P → Q ∨ R, S → R
S,
步骤
断 言(真)
结论:Q
根据
1
2
3
4 5
6
7 8
2012-2013-2
P∧S
P P→Q∨R Q∨R
S
S→ R
R
Q
鲁东大学 第十四页,共22页。
鲁东大学 第十六页,共22页。 数学与统计科学学院 鲍永平
第一章 数理逻辑
习题(xítí)1.6
11.设 P(x, y, z) 表示 x * y =z,E( x, y )表示 x=y,G(x , y)表示 x > y,
论述域是整数(zhěngshù),将以下断言译成逻辑符。
2)如果(rúguǒ) xy 0,那么 x 0并且 y 0
〔i〕 Q (R ∧ P)
我去镇上当且仅当我有时间且天不下雪。
〔i v〕
(R ∨ Q )
说我有时间或我去镇上是不对的
2012-2013-2
鲁东大学 第四页,共22页。 数学与统计科学学院 鲍永平
第一章 数理逻辑
2. 否认以下(yǐxià)命题 〔1〕上海处处(chùchù)清洁
上海并非处处清洁 4. 给 P 和 Q 指派(zhǐpài)真值 T,给 R 和 S 指派(zhǐpài)
第一章 数理逻辑 14.试译出“ a 是 b 的外祖父〞,只允许用以下(yǐxià)谓词: P(x) 表示 “x是人〞,F(x , y)表示 “x 是 y 的父亲〞, M(x,y)表示 “ x 是 y 的母亲〞
x ( P(x) ∧ P(a) ∧ P(b) ∧ F( a , x) ∧ M(x, b) )
离散数学课后习题及答案
离散数学课后习题及答案离散数学是计算机科学与数学的重要基础课程之一,它涵盖了很多重要的概念和理论。
为了更好地掌握离散数学的知识,课后习题是必不可少的一部分。
本文将介绍一些常见的离散数学课后习题,并提供相应的答案,希望对读者有所帮助。
一、集合论1. 设A={1,2,3},B={2,3,4},求A∪B和A∩B的结果。
答案:A∪B={1,2,3,4},A∩B={2,3}2. 设A={1,2,3},B={2,3,4},C={3,4,5},求(A∪B)∩C的结果。
答案:(A∪B)∩C={3,4}二、逻辑与命题1. 判断下列命题的真假:a) 若2+2=5,则地球是平的。
b) 若今天下雨,则我会带伞。
c) 若x>0,则x^2>0。
答案:a)假,b)真,c)真。
2. 用真值表验证下列命题的等价性:a) p∧(q∨r) ≡ (p∧q)∨(p∧r)b) p→q ≡ ¬p∨q答案:a)等价,b)等价。
三、关系与函数1. 给定关系R={(1,2),(2,3),(3,4)},求R的逆关系R^-1。
答案:R^-1={(2,1),(3,2),(4,3)}2. 设函数f(x)=x^2,g(x)=2x+1,求复合函数f(g(x))的表达式。
答案:f(g(x))=(2x+1)^2=4x^2+4x+1四、图论1. 给定图G,其邻接矩阵为:0 1 11 0 11 1 0求图G的度数序列。
答案:度数序列为(2,2,2)2. 判断下列图是否为连通图:a) G1的邻接矩阵为:0 1 11 0 01 0 0b) G2的邻接矩阵为:0 1 01 0 10 1 0答案:a)不是连通图,b)是连通图。
五、组合数学1. 从10个不同的球中,任选3个,求共有多少种选法。
答案:C(10,3)=120种选法。
2. 求下列排列的循环节:a) (123)(45)(67)b) (12)(34)(56)(78)答案:a)循环节为(123)(45)(67),b)循环节为(12)(34)(56)(78)。
离散数学(第1章习题课)讲解
2019/6/13
计算机学院
9/24
基本蕴含(关系)式
I1:PP∨Q , QP∨Q ~PP→Q , QP→Q 扩充法则(析取引入律)
I2:P∧Q P , P∧QQ ~(P→Q)P ,~(P→Q)~Q 化简法则(合取消去律)
I3:P∧(P→Q) Q 假言推论(分离规则) I4:~Q∧(P→Q) ~P
2019/6/13
计算机学院
14/24
三、典型例题
1、证明 ((P∨Q) ∧~(P∧Q)) ~(PQ) ((P∨Q)∧~(P∧Q)) ((P∨Q)∧(~P∨~Q)) ((P∨Q)~P)∨ ((P∨Q)∧~Q)) ((P∧~P)∨(Q∧~P))∨((P∧~Q)∨(Q∧~Q)) (Q∧~P)∨(P∧~Q) (Q∧~P)∨(P∧~Q) ~(~Q∨P)∨~(~P∨Q) ~((Q→P)∧~(P→Q)) ~(PQ)
P∨Q∨R
~P∧~Q∧R
P∨~Q∨R
~P∧Q∧R P∧~Q∧~R P∧~Q∧R
~P∨~Q∨R P∧Q∧R
主析取范式=(~P∧~Q∧R)∨(~P∧Q∧R)∨
(P∧~Q∧~R)∨(P∧~Q∧R)∨(P∧Q∧R)
主合取范式=( P∨Q∨R )∧( P∨~Q∨R )∧(~P∨~Q∨R)
2019/6/13
计算机学院
陈瑜
Email:chenyu.inbox@
2019年6月13日星期四
第一章小结
一、基本概念
命题----具有确切真值的陈述句称为命题,该命题可以取一个“值”,
称为真值。
命题的解释----用一个具体的命题代入命题标识符P的过程,称为对
P的解释或赋值(指派)
原子命题、复合命题
逻辑联结词(~、∨、∧、、→、、与非↑、或非↓、条件否
离散数学第1次作业参考答案
甲对一半:
乙对一半:
丙对一半: ,
根据题意,只需要求出下列公式的成真赋值:
,
根据已知条件, , , , ,并且根据已知有三位同学入围,因此, , , 。
所以,归结为 的成真赋值,可得李强为生活委员,丁金为班长,王小红为学习委员。
5 (20分)在某班班委成员的选举中,已知王小红、李强、丁金生三位同学被选进了班委会。该班的甲,乙,丙三名同学预言如下:
甲说:王小红为班长,李强为生活委员。
乙说:丁金生为班长,王小红为生活委员。
丙说:李强为班长,王小红为学习委员。
班委分工名单公布后发现,甲、乙、丙三人都恰好猜对了一半。
问:王小红、李强、丁金生各任何职(用等值演算法求解)?
离散数学第1次作业注:交纸质版作业
学号:姓名:班级:总分:
1 (5分)将下列命题符号化。
小李只能从筐里拿一个苹果或者一个梨。
1解:
设p:小李拿一个苹果,q:小李拿一个梨
原命题符号化为:
2 (25分,每题5分)将下列命题符号化,并指出各命题的真值。(1Fra bibliotek只要 ,就有 。
(2)只有 ,才有 。
(3)除非 ,才有 。
3解:
(1)原子命题符号化:
q: 3是无理数;r: 是无理数;s: 6能被2整除,t: 6能被4整除.
(2)整个论述符号化为:
(3)真值:1
4 (共30分,每题15分)求下列公式的主析取范式和主合取范式,并判断公式的类型(用等值演算法)
(1) ;
(2)
4解:
(1)
主析取范式
离散数学第一章部分课后习题参考答案
第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r)0∨(0∧1) 0(2)(p?r)∧(﹁q∨s) (0?1)∧(1∨1) 0∧10.(3)(p∧q∧r)?(p∧q∧﹁r) (1∧1∧1)? (0∧0∧0)0(4)(r∧s)→(p∧q) (0∧1)→(1∧0) 0→0 117.判断下面一段论述是否为真:“是无理数。
并且,如果3是无理数,则也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: 是无理数 1q: 3是无理数0r: 是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。
19.用真值表判断下列公式的类型:(4)(p→q) →(q→p)(5)(p∧r) (p∧q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q q p q→p (p→q)→(q→p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) (p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)(p∨(p∨q))∨(p∨r)p∨p∨q∨r1所以公式类型为永真式(3)P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p→q)∧(p→r)(p→(q∧r))(4)(p∧q)∨(p∧q)(p∨q) ∧(p∧q)证明(2)(p→q)∧(p→r)(p∨q)∧(p∨r)p∨(q∧r))p→(q∧r)(4)(p∧q)∨(p∧q)(p∨(p∧q)) ∧(q∨(p∧q)(p∨p)∧(p∨q)∧(q∨p) ∧(q∨q)1∧(p∨q)∧(p∧q)∧1(p∨q)∧(p∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(p→q)→(q∨p)(2)(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解:(1)主析取范式(p→q)→(q p)(p q)(q p)(p q)(q p)(p q)(q p)(q p)(p q)(p q)(p q)(p q)(p q)∑(0,2,3)主合取范式:(p→q)→(q p)(p q)(q p)(p q)(q p)(p(q p))(q(q p))1(p q)(p q) M1∏(1)(2) 主合取范式为:(p→q)q r(p q)q r(p q)q r0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为:(p(q r))→(p q r)(p(q r))→(p q r)(p(q r))(p q r)(p(p q r))((q r))(p q r))1 11所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明:(2)前提:p q,(q r),r结论:p(4)前提:q p,q s,s t,t r结论:p q证明:(2)①(q r) 前提引入②q r ①置换③q r ②蕴含等值式④r 前提引入⑤q ③④拒取式⑥p q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t r 前提引入②t ①化简律③q s 前提引入④s t 前提引入⑤q t ③④等价三段论⑥(q t)(t q) ⑤置换⑦(q t)⑥化简⑧q ②⑥假言推理⑨q p 前提引入⑩p ⑧⑨假言推理(11)p q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p(q r),s p,q结论:s r证明①s 附加前提引入②s p 前提引入③p ①②假言推理④p(q r) 前提引入⑤q r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p q,r q,r s结论:p证明:①p 结论的否定引入②p﹁q 前提引入③﹁q ①②假言推理④¬r q 前提引入⑤¬r ④化简律⑥r¬s 前提引入⑦r ⑥化简律⑧r﹁r ⑤⑦合取由于最后一步r﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为,在(a)中为假命题,在(b)中为真命题。
离散数学(第二版)最全课后习题答案详解
-
(10)
p:天下大雨
q:他乘车上班
-
(11)
p:下雪
q:路滑
r:他迟到了
(12)
p:2 是素数
q:4 是素数
-
(13)
p:2 是素数
q:4 是素数
-
15.设 p:2+3=5. q:大熊猫产在中国. r:太阳从西方升起. 求下列符合命题的真值:
(1)
(2)
(3) (4) 解:p 真值为 1,q 真值为 1,r 真值为 0. (1)0,(2)0,(3)0,(4)1 16.当 p,q 的真值为 0,r,s 的真值为 1 时,求下列各命题公式的真值: (1) (2) (3) (4)
24.已知 的类型.
解:∵
是重言式,试判断公式
及
是重言式,而要使该式为重言式,其成真赋值只有
11,∴ 25.已知
解:∵
的类型.
都是重言式。
Hale Waihona Puke 是矛盾式,试判断公式及
是矛盾式,而要使该式为矛盾式,其成假赋值
只有 00,∴
都是重言式。
26. 已 知 解:
是重言式, 及
是矛盾式,试判断 的类型.
是矛盾式。
是重言式。
q:老王是河北人
-
(3)
p:天气冷
p:王欢与李乐组成
(4)
一个小组
p:李辛与李末是兄
(5)
弟
q:我穿羽绒服 -
-
p:王欢与李乐组成一个
-
小组
-
p:李辛与李末是兄弟
(6) p:王强学过法语
q:刘威学过法语
-
(7)
p:他吃饭
q:他听音乐
-
吉林大学离散数学课后习题问题详解
第一章集合论基础§ 1.1基本要求1.掌握集合、子集、超集、空集、幕集、集合族的概念。
懂得两个集合间相等和包含关系的泄义和性质,能够利用泄义证明两个集合相等。
熟悉常用的集合表示方法。
2.掌握集合的基本运算:并、交、余、差、直乘积、对称差的左义以及集合运算满足的基本算律,能够利用它们来证明更复杂的集合等式。
3.掌握关系、二元关系、空关系、全域关系、相等关系、逆关系的概念以及关系的性质:自反性、对称性、反对称性、传递性。
会做关系的乘积。
了解关系的闭包运算:自反闭包、对称闭包、传递闭包。
4.掌握等价关系、等价类、商集的概念,了解等价关系和划分的在联系。
5.掌握部分序关系、部分序集、全序关系、全序集的概念以及部分序集中的特殊元素:最大元、最小元、极大元、极小元、上确界、小确界的左义。
能画岀有限部分序集的Hasse 图,并根据图讨论部分序集的某些性质。
6.掌握映射、映像、1-1映射等概念,会做映射的乘枳。
了解可数集合的槪念,掌握可数集合的判定方法。
7.了解关系在数据库中的应用(数据的增、删、改)以及划分在计算机中的应用。
§ 1.2主要解题方法1.2.1证明集合的包含关系方法一.用泄义来证明集合的包含关系是最常用也是最基本的一种方法。
要证明ACB,首先任取xeA,再演绎地证出xeB成立。
由于我们选择的元素x是属于A的任何一个,而非特指的一个,故知给出的演绎证明对A中含有的每一个元素都成立。
当A是无限集时,因为我们不能对xwA,逐一地证明xeB成立,所以证明时的假设“x是任取的” 就特别重要。
例121设A, B, C, D是任意四个非空集合,若ACC, BCD,则AxBcCxDo证明:任取(x, y) e AxBt 往证(x, y) e CxD°由(x, y) e AxB 知,xe A, K ye Bo 又由AcC, BcD 知,xeC,且ye D,因此,(Xt y) e CxDo 故,AxBcCxDo方法二.还有一种证明集合包含关系的方法,基于集合的交和并运算的两个基本性质ACB<=> AnB=A <=> AuB=B以及一些已经证岀的集合等式。
四川大学离散数学课后习题一解答或提示
习题一鮮答或提示1•⑴设P:他是本片的编剧,Q:他是本片的导決。
P A Q(2) 瑕P:级行利率吟低.Q:肢价上扬。
P→Q(3) 沒P:级行利率阵低.Q:股价上升。
〜(P→Q)(4) 设P:这个对象是占堀空问的∙Q:这个对象是有质量的R:这个对象是不飾变化的、S:这个对象称为场填。
P A Q A R→S(5) 沒P:他今天乘火车去了,Q:他今天随嵌行团去了九杀沟。
PVQ(6) 瑕P:小身体单萍,瑕Q:小圾少生病■没R:小头脑好使。
P A Q A R(7) 役P:这个人不枳庐丄真面Iu 设Q:这个人身A庐丄中。
QTR(8) 锻P:両个三角形柯似.没Q:两个三角形的对应角相普或者对应边成比例。
P<→Q(9) 沒P:-个整數能彼6整除,沒Q:这个整欽能彼2和3整除。
P→Q设R:-个整數能後3整徐,很S:这个整数的各住.数字之和也能彼3整除。
RTS2、(1)命題T(2) 命题T/F(3) 不是命题,因为真值无出确主。
⑷命题T(5)不是命题。
⑹命题T(7) 命题T/F(8) 不是命題,是悸论。
5、CU 证:〜((〜PAQJ V (〜PA〜Q丿)V CPAQJO (〜C〜PAQJ A〜(〜PA〜Q丿)V CPAQ丿o ( CPV 〜Q丿A CPVQJ ) V (PAQJO CPV (〜QVQJ ) V (PAQ)OPV CPAQ) OP(3) ⅛: Pf(QVR)o 〜PV(QVR)O 〜PVQV 〜P∖∕Ro C〜PVQJ V C〜PVR丿O(PfQ丿V (PfR丿6. 解:如系PVQoQ∖∕R∙不能靳走POR。
Q=T⅛, PVQ O QVR艳成立。
⅛r> PΛQ<=>QΛR,不能餅丈PoRO 因Q=F J⅛,PAQ O QAR怛成丈。
如系〜Po〜R, JK PORo8、把下刃冬丸用f寻价表承出来:(1) 豹CPAQJ 7〜TO C(PfQ) f (Pf Q丿V CPfP丿OCC(PfQf(PfQ)丿t C(PfQ)I(PtQ)J ) t (CPtPJ t (P↑?)) ⑶鮮:CP→ (QV〜R丿)A〜PO (〜PV (QV〜R丿)A〜Po ( CPtPJ V ΓQV CRtRJ )丿A (PtPJ ;O((PfP丿V ( CQ↑QJ t (CRtR) ↑ (^↑R) ) ) ) A CPtPJo ( ( CPtPJ t CP↑P> JtCC (QtQJ t ( (Rf R丿↑ CRtR) ) ) ↑(CQtQ) t ( (RfR丿t CRfR丿))))^ CPtP)OCL CPtPJ t CPtP) JtCr CQtQJ t ( CRtRJ t CRfR丿))↑ (ΓQtQJ ↑ ( CR↑RJ t CRfR丿))))↑(PW JtCCr CPtPJ ↑ (PfP丿) t (((Q↑Q) ↑ CCRtR丿t fR↑RJ ) ) ↑( CQtQJ t CfRfR丿t CRtRJJ))J t CPtP))9. ⅛E: ∙.∙ PVQ<=>---------- P VQ<=> (r~P∕ →QPAQ<≡>~ (〜PV〜Q丿O〜CPf〜Q丿而{〜,V,八}是功能克备.°.{〜,f}是功能完务集,〜,一►不能JL相表示,故{〜・f}是最小功能克备為。
离散数学习题课-命题逻辑
练习1:判断推理是否正确
1. 判断下面推理是否正确: (1) 前提:PQ, Q 结论:P 解 推理的形式结构: (PQ)QP 方法一:等值演算法 (PQ)QP ((PQ)Q)P (PQ)QP ((PQ)(QQ))P PQ 易知10是成假赋值,不是重言式,所以推理不正确.
14
练习3:求公式的主范式
已知命题公式A中含3个命题变项P, Q, R,并知 道它的成真赋值为001, 010, 111, 求A的主析取 范式和主合取范式,及A对应的真值函数. 解: P Q R A P Q R A 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 1 1 A的主析取范式为m1 m2 m7 A的主合取范式为M0 M3 M4 M5 M6
7
习题课-命题逻辑(2)
基本要求 深刻理解等值式的概念 牢记基本等值式的名称及它们的内容 熟练地应用基本等值式及置换规则进行等 值演算 理解简单析取式、简单合取式、析取范式、 合取范式的概念 深刻理解极小项、极大项的概念、名称及 下角标与成真、成假赋值的关系,并理解 简单合取式与极小项的关系
2
练习1
判断下列语句是否为命题: 是 1. 十是一个整数. 2. 北京是一个村庄. 是 否 3. 请勿吸烟! 是 4. 雪是黑色的. 是 5. 今天是7号. 是 6. 1+101=110. 否 7. 您吃饭了吗? 8. 我学英语或法语. 是 是 9. 如果天气好,我就去散步. 10. 我不给所有自己替自己理发的人理发,但却给 所有自己不替自己理发的人理发。 否
26
练习2:构造证明
2. 在系统P中构造下面推理的证明: 如果今天是周六,我们就到颐和园或圆明园玩. 如果颐和园游人太多,就不去颐和园. 今天是周 六,并且颐和园游太多. 所以, 我们去圆明园或 动物园玩. 证明: (1) 设 P:今天是周六,Q:到颐和园玩, R:到圆明园玩,S:颐和园游人太多 T:到动物园玩 (2) 前提:P(QR), SQ, P, S 结论:RT
离散数学习题课带答案
(P(Q∧R))∧(P(Q∧R)) (P∨(Q∧R))∧ (P∨(Q∧R)) (P∨Q)∧(P∨R))∧(P∨Q)∧(P∨R) (P∨Q∨(R∧R))∧(P∨(Q∧Q)∨R)) ∧(P∨Q∨(R∧R))∧(P∨(Q∧Q)∨R) (P∨Q∨R)∧ (P∨Q∨R))∧(P∨Q∨R) ∧ (P∨Q∨R)∧ (P∨Q∨R)∧ (P∨Q∨R)∧ (P∨Q∨R) ∧(P∨Q∨R) (P∨Q∨R)∧(P∨Q∨R))∧ (P∨Q∨R) ∧(P∨Q∨R)∧(P∨Q∨R)∧(P∨Q∨R)
(4)某些汽车比所有的火车都慢,但至少有一列火车比每辆 汽车快 C(x):x是汽车;H(x):x是火车;S(x,y): x比y慢 x(C(x)∧y(H(y)→S(x,y)))∧z(H(z)∧y(C(y) →S(y,z)))
(5)对任何整数x和y,x≤y且y≤x是x=y的充要条件 I(x):x是整数;E(x,y):x=y;G(x,y):x>y xy(I(x)∧I(y)→(G(x,y)∧G(y,x)↔ E(x,y))) (6)若m是奇数,则 2m 不是奇数 O(x):x是奇数; f(x,y)= x×y O(m) → O(f(2,m) (7)那位戴眼镜的用功的大学生在看这本大而厚的巨著 A(x):x是戴眼镜的,B(x):x是用功的,C(x):x是大学生,D(x):x是大 的,E(x):x是厚的,F(x):x是巨著, G(x,y):x在看y,a:那位,b:这本 A(a)∧B(a)∧C(a)∧D(b)∧E(b)∧F(b)∧G(a,b) (8)每个自然数都有唯一的后继数 N(x):x是自然数; L(x,y):x是y的后继数 x(N(x)→(y (N(y)∧L(y,x) ∧z (N(z)∧L(z,x)→ E(y,z)))))
离散数学第一二章练习题
8. 给定解释 I如下:个体域为实数集合;
f(x,y)=x-y, g(x,y)=xy, E(x,y):x=y, G(x,y):x>y,
N(x):x是自然数.在此解释下,求下列各式的值
(1)xyE( f (x, y), g(x, y))
(2)x(N(x) G(x,1) E(x,1))
(3)yzE(g( y, z), x) 9.求公式 xA( x, y) yB( x, y)的前束范式.
6.某学校有三名教授甲、乙、丙,要选派其 中的某些人出国进修. 因工作需要,选派时 必须满足以下条件: (1)若甲去,则丙也去; (2)若乙去,则丙不去; (3)若丙不去,则甲或乙中要至少去一人. 试问:学校应如何选派他们?
7.在谓词逻辑中将下列命题符号化 (1)并非所有的素数都不是偶数. (2)猫是动物,但动物不一定是猫. (3)每个人都有自己喜欢的工作.
10.判断下列推理是否正确,并说明理由.
(1)前提:xF ( x),xG( x) 结论:x(F(x) G(x))
(2) 有理数都是实数.有的有理数是整数. 因此,有的实数是整数.
第一、二章 习题课 1.在命题逻辑中将下列命题符号化:
(1)我们不能既划船又跑步.
(2)小王总是在图书馆看书,除非他病了 或者图书馆不开门.
2.判断公式 (P Q) (Q R) (R P) 与(P Q) (Q
P (Q R)的主析取范式和主合取范式.
4.将联结词 ,,用 表示.
5.判断下列推理是否正确,并说明理由.
(1)前提:P Q, P Q,Q 结论:P
(2)如果甲弃权,则乙或丙至少一人将获得 出线权;如果乙获得出线权,则甲没有弃权; 如果丁获得了出线权,则丙未获出线权.所 以,如果甲弃权,则丁不能获得出线权.
离散数学课后习题答案(第一章)
1-1,1-2(1)指出下列哪些语句是命题,那些不是命题,如果是命题,指出它的真值。
a)离散数学是计算机科学系的一门必修课。
是命题,真值为T。
b)计算机有空吗?不是命题。
c)明天我去看电影。
是命题,真值要根据具体情况确定。
d)请勿随地吐痰。
不是命题。
e)不存在最大的质数。
是命题,真值为T。
f)如果我掌握了英语,法语,那么学习其他欧洲语言就容易多了。
是命题,真值为T。
g)9+5≤12.是命题,真值为F。
h)X=3.不是命题。
i)我们要努力学习。
不是命题。
(2)举例说明原子命题和复合命题。
原子命题:我爱北京天安门。
复合命题:如果不是练健美操,我就出外旅游拉。
(3)设P 表示命题“天下雪。
”Q 表示“我将去镇上。
”R 表示命题“我有时间。
”以符号形式写出下列命题a)如果天不下雪和我有时间,那么我将去镇上。
(┓P ∧R)→Q b)我将去镇上,仅当我有时间时。
Q→R c)天不下雪。
┓P d)天下雪,那么我不去镇上。
P→┓Q(4)用汉语写出一些句子,对应下列每一个命题。
a)()Q R P ∧¬�Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q ↔(R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。
b)R Q∧R:我在看电视。
Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c)()()Q R R Q →∧→Q:一个数是奇数。
R:一个数不能被2除。
(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。
(5)将下列命题符号化。
a)王强身体很好,成绩也很好。
设P:王强身体很好。
Q:王强成绩很好。
P∧Qb)小李一边看书,一边听音乐。
设P:小李看书。
Q:小李听音乐。
P∧Qc)气候很好或很热。
设P:气候很好。
Q:气候很热。
P∨Qd)如果a 和b 是偶数,则a b +是偶数。
设P:a 和b 是偶数。
Q:a+b 是偶数。
P→Qe)四边形ABCD 是平行四边形,当且仅当它的对边平行。
离散数学习题课
⇔ ( ¬ ( ¬p ∨ q ) ∨ ¬p ) ∨ q ⇔ ( ( p ∨ ¬p ) ∧ ( ¬q ∨ ¬p ) ) ∨ q
所以( 所以(1)为重言式
LOGO
( 2) ¬ ( p → ( p ∨ q ) ) ∧ r ⇔ ¬ ( ¬p ∨ p ∨ q ) ∧ r ⇔ ( p ∧ ¬p ∧ ¬q ) ∧ r
LOGO
在本题中,具体步骤如下。 在本题中,具体步骤如下。 派小李去上海出差; 1)令p:派小李去上海出差; 派小张去上海出差; q:派小张去上海出差; 小赵要加班; r:小赵要加班; 小王也去上海; s:小王也去上海; 2)A = ( p ∨ q ) ∧ ( p → r ) ∧ ( q →
LOGO
10、证明整数集I上的模 同余关系 、证明整数集 上的模 上的模m同余关系 R={<x,y>|x≡y(mod m)}是等价关系。 是等价关系。 , ≡ 是等价关系 其中, ≡ 的含义是x-y可以被 整除 可以被m整除 其中,x≡y(mod m)的含义是 的含义是 可以被 整除.
s ) ∧ ¬r ;
LOGO
3)用等值演算法讲A化简后,就能 用等值演算法讲A化简后, 找出成真赋值了。 找出成真赋值了。
( p ∨ q ) ∧ ( p → r ) ∧ ( q → s ) ∧ ¬r ⇔ ( p ∨ q ) ∧ ( ¬p ∨ r ) ∧ ( ¬q ∨ s ) ∧ ¬r ⇔ ( p ∨ q ) ∧ ( ¬p ∨ r ) ∧ ¬r ∧ ( ¬q ∨ s ) ⇔ ( p ∨ q ) ∧ ( ¬p ∧ ¬r ) ∧ (¬q ∨ s ) ⇔ ( ¬p ∧ q ∧ ¬r ) ∧ ( ¬q ∨ s ) ⇔ ¬ p ∧ q ∧ ¬ r ∧ s ⇔ m5
离散数学课后习题答案
第一章命题逻辑基本概念课后练习题答案1.将下列命题符号化,并指出真值:(1)p∧q,其中,p:2是素数,q:5是素数,真值为1;(2)p∧q,其中,p:是无理数,q:自然对数的底e是无理数,真值为1;(3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1;(4)p∧q,其中,p:3是素数,q:3是偶数,真值为0;(5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0.2.将下列命题符号化,并指出真值:(1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1;(2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1;(3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;(4)p∨q,其中,p:3是偶数,q:4是偶数,真值为1;(5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;3.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨;(2)(p∧┐q)∨(┐p∧q),其中,p:刘晓月选学英语,q:刘晓月选学日语;.4.因为p与q不能同时为真.5.设p:今天是星期一,q:明天是星期二,r:明天是星期三:(1)p→q,真值为1(不会出现前件为真,后件为假的情况);(2)q→p,真值为1(也不会出现前件为真,后件为假的情况);(3)p q,真值为1;(4)p→r,若p为真,则p→r真值为0,否则,p→r真值为1.返回第二章命题逻辑等值演算本章自测答案5.(1):∨∨,成真赋值为00、10、11;(2):0,矛盾式,无成真赋值;(3):∨∨∨∨∨∨∨,重言式,000、001、010、011、100、101、110、111全部为成真赋值;7.(1):∨∨∨∨⇔∧∧;(2):∨∨∨⇔∧∧∧;8.(1):1⇔∨∨∨,重言式;(2):∨⇔∨∨∨∨∨∨;(3):∧∧∧∧∧∧∧⇔0,矛盾式.11.(1):∨∨⇔∧∧∧∧;(2):∨∨∨∨∨∨∨⇔1;(3):0⇔∧∧∧.12.A⇔∧∧∧∧⇔∨∨.第三章命题逻辑的推理理论本章自测答案6.在解本题时,应首先将简单陈述语句符号化,然后写出推理的形式结构*,其次就是判断*是否为重言式,若*是重言式,推理就正确,否则推理就不正确,这里不考虑简单语句之间的内在联系(1)、(3)、(6)推理正确,其余的均不正确,下面以(1)、(2)为例,证明(1)推理正确,(2)推理不正确(1)设p:今天是星期一,q:明天是星期三,推理的形式结构为(p→q)∧p→q(记作*1)在本推理中,从p与q的内在联系可以知道,p与q的内在联系可以知道,p与q不可能同时为真,但在证明时,不考虑这一点,而只考虑*1是否为重言式.可以用多种方法(如真值法、等值演算法、主析取式)证明*1为重言式,特别是,不难看出,当取A为p,B为q时,*1为假言推理定律,即(p→q)∧p→q ⇒ q(2)设p:今天是星期一,q:明天是星期三,推理的形式结构为(p→q)∧p→q(记作*2)可以用多种方法证明*2不是重言式,比如,等值演算法、主析取范式(主和取范式法也可以)等(p→q)∧q→p⇔(┐p∨q) ∧q →p⇔q →p⇔┐p∨┐q⇔⇔∨∨从而可知,*2不是重言式,故推理不正确,注意,虽然这里的p与q同时为真或同时为假,但不考虑内在联系时,*2不是重言式,就认为推理不正确.9.设p:a是奇数,q:a能被2整除,r:a:是偶数推理的形式结构为(p→q┐)∧(r→q)→(r→┐p) (记为*)可以用多种方法证明*为重言式,下面用等值演算法证明:(p→┐q)∧(r→q)→(r→┐p)⇔(┐p∨┐q) ∨(q∨┐r)→(┐q∨┐r) (使用了交换律)⇔(p∨q)∨(┐p∧r)∨┐q∨┐r⇔(┐p∨q)∨(┐q∧┐r)⇔┐p∨(q∨┐q)∧┐r⇔110.设p:a,b两数之积为负数,q:a,b两数种恰有一个负数,r:a,b都是负数.推理的形式结构为(p→q)∧┐p→(┐q∧┐r)⇔(┐p∨q) ∧┐p→(┐q∧┐r)⇔┐p→(┐q∧┐r) (使用了吸收律)⇔p∨(┐q∧┐r)⇔∨∨∨由于主析取范式中只含有5个W极小项,故推理不正确.11.略14.证明的命题序列可不惟一,下面对每一小题各给出一个证明① p→(q→r)前提引入② P前提引入③ q→r①②假言推理④ q前提引入⑤ r③④假言推理⑥ r∨s前提引入(2)证明:① ┐(p∧r)前提引入② ┐q∨┐r①置换③ r前提引入④ ┐q ②③析取三段论⑤ p→q前提引入⑥ ┐p④⑤拒取式(3)证明:① p→q前提引入② ┐q∨q①置换③ (┐p∨q)∧(┐p∨p) ②置换④ ┐p∨(q∧p③置换⑤ p→(p∨q) ④置换15.(1)证明:① S结论否定引入② S→P前提引入③ P①②假言推理④ P→(q→r)前提引入⑤ q→r③④假言推论⑥ q前提引入⑦ r⑤⑥假言推理(2)证明:① p附加前提引入② p∨q①附加③ (p∨q)→(r∧s)前提引入④ r∧s②③假言推理⑤ s④化简⑥ s∨t⑤附加⑦ (s∨t)→u前提引入⑧ u⑥⑦拒取式16.(1)证明:① p结论否定引入② p→ ┐q前提引入③ ┐q ①②假言推理④ ┐r∨q前提引入⑤ ┐r③④析取三段论⑥ r∧┐s前提引入⑦ r⑥化简⑧ ┐r∧r⑤⑦合取(2)证明:① ┐(r∨s)结论否定引入② ┐r∨┐s①置换③ ┐r②化简④ ┐s②化简⑤ p→r前提引入⑥ ┐p③⑤拒取式⑦ q→s前提引入⑧ ┐q④⑦拒取式⑨ ┐p∧┐q⑥⑧合取⑩ ┐(p∨q)⑨置换口p∨q前提引入⑾①口┐(p∨q) ∧(p∨q) ⑩口合取17.设p:A到过受害者房间,q: A在11点以前离开,r:A犯谋杀罪,s:看门人看见过A。
离散数学课后习题答案
第1章习题解答1.1 除(3),(4),(5),(11)外全是命题,其中,(1),(2),(8),(9),(10),(14),(15)是简单命题,(6),(7),(12),(13)是复合命题。
分析首先应注意到,命题是陈述句,因而不是陈述句的句子都不是命题。
本题中,(3)为疑问句,(5)为感叹句,(11)为祈使句,它们都不是陈述句,所以它们都不是命题。
其次,(4)这个句子是陈述句,但它表示的判断结果是不确定。
又因为(1),(2),(8),(9),(10),(14),(15)都是简单的陈述句,因而作为命题,它们都是简单命题。
(6)和(7)各为由联结词“当且仅当”联结起来的复合命题,(12)是由联结词“或”联结的复合命题,而(13)是由联结词“且”联结起来的复合命题。
这里的“且”为“合取”联结词。
在日常生活中,合取联结词有许多表述法,例如,“虽然……,但是… … ”、“不仅……,而且… … ”、“一面……,一面… … ”、“……和… … ”、“……与……”等。
但要注意,有时“和”或“与”联结的是主语,构成简单命题。
例如,(14)、(15)中的“与”与“和”是联结的主语,这两个命题均为简单命题,而不是复合命题,希望读者在遇到“和”或“与”出现的命题时,要根据命题所陈述的含义加以区分。
1.2 (1)p : 2是无理数,p 为真命题。
(2)p : 5能被2 整除,p 为假命题。
(6)p →q 。
其中,p : 2是素数,q:三角形有三条边。
由于p 与q 都是真命题,因而p →q 为假命题。
(7)p →q ,其中,p:雪是黑色的,q:太阳从东方升起。
由于p 为假命题,q 为真命题,因而p →q 为假命题。
(8)p : 2000年10 月1 日天气晴好,今日(1999 年2 月13 日)我们还不知道p 的真假,但p 的真值是确定的(客观存在的),只是现在不知道而已。
(9)p:太阳系外的星球上的生物。
它的真值情况而定,是确定的。
离散数学习题课.ppt
(qq)(qq)
满足要求(5)
3、设计一个符合如下要求的室内照明控制线路:在房间的 门外、门内及床头分别装有控制同一个电灯F的3个开关A、B、 C,当且仅当一个开关的搬键向上或3个开关的搬键向上时电 灯亮。证明F的逻辑关系可表示为A(BC)。 分析:设A、B、C分别表示3个开关状态的命题变项,且开 关的搬键向上时对应的命题变项的真值为1,开关的搬键向 下时对应的命题变项的真值为0,于是有:
掌握附加前提证明法及归谬法
二、练习题
1.已知命题公式 A 中含 3 个命题变项 p, q, r,并知道它 的成真赋值为 001, 010, 111, 求 A 的主析取范式和主 合取范式.
答案 A 的主析取范式为 m1 m2 m7 A 的主合取范式为 M0 M3 M4 M5 M6
关系
熟练掌握求主范式的方法(真值表)
熟练掌握用公式的主范式求公式的成真、成假赋值及 判断公式的类型及简单应用 会将任何公式化成任何联结词完备集中的公式
理解并记住推理形式结构的如下形式:
① ( A1A2…Ak)B
A1, A2, … , Ak ② 前提:
B 结论:
熟练掌握判断推理是否正确的方法(如真值表法、 构造证明法等) 牢记各条推理定律(内容与名称)
第一章
习题课
一、 本章的主要内容及要求 1. 基本内容
等值式与等值演算 基本的等值式( 24 个公式) 联结词全功能集 主析取与主合取范式 判断推理是否正确的不同方法
① 真值表法 ② 等值演算法 ③ 主析取范式法
④ 构造证明法
2. 要求 深刻理解等值式的概念 牢记基本等值式的名称及内容 了解简单析取式、简单合取式、析取范式、合取范式 的概念 深刻理解极小项、极大项的概念、名称及下角标与成 真、成假赋值的关系,并理解主析取范式与极小项的
离散数学第一章习题课
1兴义民族师范学院数学系10级专科班使用代数结构集合论组合数学离散数学数理逻辑图论初等数论离散数学及其应用兴义民族师范学院2主要内容z 命题、真值、简单命题与复合命题、命题符号化z 联结词¬, ∧, ∨, →, ↔及复合命题符号化z 命题公式及层次z 公式的类型z 真值表及应用基本要求z 深刻理解各联结词的逻辑关系, 熟练地将命题符号化z 会求复合命题的真值z 深刻理解合式公式及重言式、矛盾式、可满足式等概念z 熟练地求公式的真值表,并用它求公式的成真赋值与成假赋值及判断公式类型第一章习题课例2将下列命题符号化.(1)吴颖既用功又聪明.(2)吴颖不仅用功而且聪明.(3)吴颖虽然聪明,但不用功.(4)张辉与王丽都是三好生.(5)张辉与王丽是同学.(1) p∧q解令p:吴颖用功, q:吴颖聪明(2) p∧q(3) ¬p∧q设p:张辉是三好生, q:王丽是三好生(4) p∧q(5) p: 张辉与王丽是同学(1)—(3) 说明描述合取式的灵活性与多样性(4)—(5) 要求分清“与”所联结的成分34例3将下列命题符号化(1) 2 或4 是素数.(2) 2 或3 是素数.(3) 4 或6 是素数.(4) 小元只能拿一个苹果或一个梨.(5) 王小红生于1975 年或1976 年.解:(1) 令p :2是素数, q :4是素数, p ∨q 解:(2) 令p :2是素数, q :3是素数, p ∨q 解:(3) 令p :4是素数, q :6是素数, p ∨q解:(4) 令p :小元拿一个苹果, q:小元拿一个梨(p ∧¬q )∨(¬p ∧q )解:(5) p :王小红生于1975 年, q :王小红生于1976 年,(p ∧¬q )∨(¬p ∧q ) 或p ∨q相容或排斥或5定义1.4设p , q 为两个命题,复合命题“如果p , 则q ”称作p 与q 的蕴涵式,记作p →q ,并称p 是蕴涵式的前件,q 为蕴涵式的后件,→称作蕴涵联结词.规定:p →q 为假当且仅当p 为真q 为假.2. 蕴涵联结词(1)p →q 的逻辑关系:q 为p 的必要条件(2)“如果p , 则q ”有很多不同的表述方法:若p ,就q 只要p ,就q p 仅当q 只有q 才p除非q , 才p 或除非q ,否则非p ,….(3)当p 为假时,p →q 恒为真,称为空证明(4)常出现的错误:不分充分与必要条件6第一章习题课1.下列句子中,那些是命题?并判断其真假.(1) 古代中国有四大发明. (2) 是无理数. (3)3是素数或4是素数.(4) ,其中是任意实数.(5)你去图书馆吗?(6)2与3都是偶数.(7)刘红与魏新是同学.(8)这朵玫瑰花多美丽呀!(9)吸烟请到吸烟室去!(10)圆的面积等于半径的平方乘以.(11)只有6是偶数,3才能是2的倍数.(12)8是偶数的充分必要条件是8能被3整除.(13)2025年元旦下大雪.5x 235x +<π是命题,真命题是命题,真命题是命题,真命题不是命题,真值不唯一不是命题,疑问句是命题,假命题是命题,真值客观存在,真值视具体情况定不是命题,感叹句不是命题,祈使句是命题,真命题是命题,真命题是命题,假命题是命题,真值客观存在,真值待定78. 将下列命题符号化,并指出各命题的真值.(1)只要,就有.(2) 如果,则.(3) 只有,才有.(4) 除非,才有.(5) 除非,否则.(6) 仅当.32<21<21<21<21<21<21<32≥32<32≥32≥32<解:设p :,q : 21<32<提示:分清必要与充分条件及充分必要条件(1) p →q,真值为:1(2) p →¬q,真值为:1真值为:0(3) ¬q →p,(4) ¬q →p,真值为:0(5) ¬q →p,真值为:0假言易位A →B ⇔¬B →¬A¬q →p ⇔¬p →q(6) p →q,真值为:1补充题3. 用真值表判断下面公式的类型(1)p∧r∧¬(q→p)(2)((p→q) →(¬q→¬p)) ∨r(3)(p→q) ↔(p→r)89(1) p ∧r ∧¬(q →p )矛盾式0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1 p q r 000000001100001001111p ∧r ∧¬(q →p )¬(q →p ) q →p 001(2) ((p→q) →(¬q→¬p)) ∨r永真式111111111111111111110 0 0 0 0 1 0 1 00 1 11 0 0 1 0 1 1 1 0 1 1 1((p→q) →(¬q→¬p)) ∨r ¬q→¬pp→qp q r10练习3解答(3) (p→q) ↔(p→r)非永真式的可满足式1111111111111111110 0 0 0 0 1 0 1 00 1 11 0 0 1 0 1 1 1 0 1 1 1(p→q) ↔(p→r)p→rp→qp q r1112(3)(p ∧q ) →¬p 的真值表1 11 00 10 0(p ∧q ) →¬pp ∧q┐pp q11100111000成真赋值为00,01,1020.列出真值表,求下列公式的成真赋值13(4)¬(p ∨q ) →q 的真值表1 11 00 10 0¬(p ∨q ) →q¬(p ∨q )p ∨qp q111011100001成真赋值为01,10,1120.列出真值表,求下列公式的成真赋值14111100000 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1101010100011000011101111成假赋值为:011¬(¬p ∧q ) ∨¬r¬(¬p ∧q )¬r ¬pp q r¬p ∧q11001111(1)¬(¬p ∧q ) ∨¬r 的真值表21.列出真值表,求下列公式的成假赋值15(2)(¬q ∨r ) ∧(p →q )的真值表0 0 01 1 11 1 01 0 11 0 00 1 10 1 00 0 1(¬q ∨r ) ∧(p →q )p →q ¬q ∨r ¬q p q r 11001111100010110011001110111011成假赋值为:010,100,101,110。
离散数学(第1次)
第1次作业一、单项选择题(本大题共30分,共15小题,每小题2分)1.A.4B.5C.6D.32.在完全m叉树中,若树叶数为t,分枝点数为i,则有()A.(m-1)i<t-1B.(m-1)i>t-12C.(m-1)i=t-1D.(m-1)i <t -13.命题a):如果天下雨,我不去。
写出命题a)的逆换式______________A.如果我不去,天下雨。
B.如果我去,天下雨。
C.如果天下雨,我去。
D.如果天不下雨,我去。
4. 设无向图中有6条边,3度与5度顶点各1个,其余顶点都是2度点, 问该图有多少个顶点()A.B.C.42D.65. 假设A={a,b,c,d}, 考虑子集S={{a,b},{b,c},{d}} ,则下列选项正确的是( )。
A.S 是A 的覆盖B.S是A的划分C.S既不是划分也不是覆盖D.以上选项都不正确6. 没有不犯错误的人。
M(x): x为人。
F(x): x犯错误。
则命题可表示为( )。
A.(? x)(M(x) —F(x)B.(? x)(M(x) ? F(x)C.(? x) (M(x) ? F(x))D.(? x)(M(x) —F(x)7. 命题逻辑演绎的CP规则为()A.在推演过程中可随便使用前提B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果C.如果要演绎出的公式为B—C形式,那么将B作为前提,演绎出CD.设? (A)是含公式A的命题公式,B<=>A则可以用B替换? (A)中的A8. 设G是有6个结点的完全图,从G中删去()条边,则得到树。
A.6B.9C.159. 设A B两个集合,当()时A-B=B10A.A=BB.A? BC.B? AD.A=B=?10. 设U={1,2,3,4,5} ,A={2,4} ,B={4,3,5} ,C={2,5,3} ,确定集合(A-C)-B = ()。
A.{1,4}B.{2,3,4,5}C.{4}D.11.下图的最小生成树的权为()A.40B.44C.48D.5212.对偶式为P T Q表达式是_______________A.P A QB.P J QC.P V QD.i Q13. 下列语句是命题,并且真值为0 的是()A. 雪式白的。
离散数学课后习题答案一
§1.1 命题与逻辑连接词习题1. 以下哪些语句是命题,在是命题的语句中,哪些是真命题,哪些是假命题,哪些命题的真值现在还不知道?〔1〕中国有四大创造。
〔2〕你喜欢计算机吗?〔3〕地球上海洋的面积比陆地的面积大。
〔4〕请答复这个问题!〔5〕632=+。
〔6〕107<+x 。
〔7〕园的面积等于半径的平方乘以圆周率。
〔8〕只有6是偶数,3才能是2的倍数。
〔9〕假设y x =,那么z y z x +=+。
〔10〕外星人是不存在的。
〔11〕2021年元旦下大雪。
〔12〕如果311=+,那么血就不是红的。
解 是真命题的有:〔1〕、〔3〕、(7)、 (9) 、〔12〕 ;是假命题的有:〔5〕、 (8) ;是命题但真值现在不知道的有: (10)、 (11);不是命题的有:〔2〕、〔4〕、〔6〕。
2. 令p 、q 为如下简单命题:p :气温在零度以下。
q :正在下雪。
用p 、q 与逻辑联接词符号化以下复合命题。
〔1〕气温在零度以下且正在下雪。
〔2〕气温在零度以下,但不在下雪。
〔3〕气温不在零度以下,也不在下雪。
〔4〕也许在下雪,也许气温在零度以下,也许既下雪气温又在零度以下。
〔5〕假设气温在零度以下,那一定在下雪。
〔6〕也许气温在零度以下,也许在下雪,但如果气温在零度以上就不下雪。
〔7〕气温在零度以下是下雪的充分必要条件。
解 〔1〕q p ∧;〔2〕q p ⌝∧;〔3〕q p ⌝∧⌝;〔4〕q p ∨; 〔5〕q p →;〔6〕)()(q p q p ⌝→⌝∧∨;〔7〕q p ↔。
3. 令原子命题p :你的车速超过每小时120公里,q :你接到一张超速罚款单,用p 、q 与逻辑联接词符号化以下复合命题。
〔1〕你的车速没有超过每小时120公里。
〔2〕你的车速超过了每小时120公里,但没接到超速罚款单。
〔3〕你的车速假设超过了每小时120公里,将接到一张超速罚款单。
〔4〕你的车速不超过每小时120公里,就不会接到超速罚款单。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第3/次习题课习题课 单老师例1 图11.3.8给定加权连通图<V,E,W>,其中V={v 1,v 2,v 3,v 4,v 5,v 6},E={[v 1,v 2],[v 1,v 5], [v 2,v 3],[v 2,v 6],[v 2,v 5],[v 3,v 4],[v 3,v 6],[v 4,v 5],[v 4,v 6],[v 5,v 6]}和W={3,1,2,1,3,2,3,4,1,2}。
解 令x 0=v 1,按G.Dantzig 算法可得到下面的结点和边序列:v 1,v 5,v 6,v 2,v 4,v 3[v 1,v 5], [v 5,v 6], [v 1,v 2], [v 6,v 4], [v 2,v 3]所求生成树如图11.3.9所示。
前面讨论的树,都是无向图中的树,即无向树;下面将简单地介绍有向图中的树即有向树。
定义11.3.6 如果一个有向图的基础图是一棵树,则该有向图称为有向树。
其图形表示法常采用倒置树表示之,且为方便计,有时略去边之方向。
例2 图11.2.2中(a)的一个最大匹配是{[v 1,v 2],[v 3,v 9],[v 5,v 6],[v 7,v 8]};(b)的一个完全匹配是{[v 1,v 2],[v 3,v 4],[v 5,v 6],[v 7,v 8]}。
例题 3 设A 为简单图G 的邻接矩阵,则A l 中的i 行j 列元素a l ij 等于G 中联结v i 到v j 的长度为l 的链(或路)的数目。
证明 对l 施行归纳证明之。
当l=1时,A l =A 1=A ,定理显然为真。
假设当l=k 时定理成立,考察l=k+1的情形。
由于A k+1=A k ·A即有1+k ij a=∑=nr rj k ira a1(1)根据归纳假设和邻接矩阵的定义可知,kir a 是联结vi 到v r 长度为k 的链(或路)的数目,a rj 是联结v r 到v j 长度为1的链(或路)的数目(实际上这是从v r 到v j 的一条边(或弧)。
因此,(1)式右图11.3.8图11.3.9端的每项表示由v i 经过一条长度为k 的链(或路)到v r ,再由v r 经过一条边(或弧)到v j 的总长度为k+1的链(或路)的数目。
对r 求和,即得1+k ij a ,它是所有从v i 到v j 长度为k+1的链(或路)的数目。
故定理得证。
例4 已知简单有向图G=<V ,E>如图10.3.3所示,G 的邻接矩阵A 是A =⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡010001000000010001010001试求A 1,A 2,A 3,A 4,A 5。
v v 3v v v 5图10.3.3解A 2=⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡010001000000010001010001·⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0100010000000100010100010=⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡1000001000001010002000101A 3=A 2·A =⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡1000001000001010002000101·⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0100010000000100010100010=⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0100010000000200020200020A 4=⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡1000001000002020004000202A 5=⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0100010000000400040400040利用定理10.3.1,从上面计算邻接矩阵A 的乘幂可知许多信息。
如v 1到v 2有2条长度为3的路,v 2到v 3有2条长度为3的路,v 3到v 4没有一条长度小于5的路,v 4到v 5有一条长度为5的路,在结点v 2有2条长度为2的回路并且有4条长度为4的回路,但没有长度为3的回路,等等。
在一些实际问题中,有时要判定图中结点v i 到结点v j 是否可达,或者说v i 到v j 是否存在一要链(或路)。
如果要利用图G 的邻接矩阵A ,则应计算A 2,A 3,···,A n ,···。
当发现其中某个A r 中rij a ≥1,就表明v i 可达v j 或v i 到v j 存在一条链(或路)。
但这种计算繁琐量大,又不知计算A r 到何时为止。
根据定理10.2.2可知,对于有n 个结点的图,任何基本链(或路)的长度不大于n-1和任何基本圈(或回路)的长度不大于n 。
因此,只需考虑rij a 就可以了,其中1≤r ≤n 。
即只要计算B n =A+A 2+A 3+···+A n 。
如果关心的是结点间可达性或结点间是否有链(或路),至于结点间的链存在多少条及长度是多少无关紧要,那么便可用下面的定义图的可达矩阵来表示结点间可达性。
例5 给定图G=<V ,E>,将其结点按下标编序得V={v 1,v 2,…,v n }。
定义一个n 阶方阵P=(p ij ),其中⎩⎨⎧=否则可达到,0,1j i ij v v p则称矩阵P 是图G 的可达矩阵。
可见,可达矩阵表明了图中任意两结点间是否至少存在一条链(或路)以及在结点处是否有圈(或回路)。
从图G 的邻接矩阵A 可以得到可达矩阵P ,即令B n =A+A 2+A 3+…+A n ,再从B n 中非零元素改为1而零元素不变,这种变换后的矩阵即是可达矩阵P 。
例6 设有向图G 的邻接矩阵A 是A =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0001101111000010试求G 的可达矩阵P 。
解 因为A 2=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0010111110121100 A 3=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1110212211211012A 4=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1012323332221121故B 4=A +A 2+A 3+A 4=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡2123747764553243 于是P =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1111111111111111由此可知,图G 中任何两结点间均为可达,并且在任一结点处都有圈(或回路),此图又是连通的。
上述计算可达矩阵的方法还是比较复杂的,但若定义布尔矩阵运算还是可以达到简化的目的。
假设矩阵中的元素是属于布尔代数<B ,∧,∨,ˉ,0,1>的B 中元素。
其中B ={0,1},则称该矩阵为布尔矩阵。
显然邻接矩阵是一个布尔矩阵,同样可达矩阵也是布尔矩阵。
下面定义两个布尔矩阵B 与C 的运算:令B 与C 的布尔和、布尔积分别记为B ∨C 和B ○∧C ,其定义为 (B ∨C )ij =b ij ∨c ij(B ○∧C )ij =∨=n1k (b ik∧c kj)i ,j =1,2,…,n 。
其中b ij ,c ij 分别为B 和C 的i 行j 列元素。
特别地,对于邻接矩阵A ,记A (1)=A ,对任何r =2,3,…,有 A(r-1)○∧A =A (r)要注意的是A r 与A (r)的差别。
A r 中r ij a 表明从v i 到v j 长度为r 的链(或路)的数目,而A (r)中)(r ij a 是指出了:若v i 到v j 至少存在一条链(或路)时, )(r ij a =1;否则, )(r ij a =0。
由上述说明,便得到可达矩阵P 为:P =A ∨A (2)∨A (3)∨…∨A (n)=∨=n1k A(k)例7 令邻接矩阵A 为A =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0001101111000010试求A (2),A (3),A (4)和P 。
解A (2)=A ○∧A =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0001101111000010○∧⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0001101111000010=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0010111110111100A (3)=A (2)○∧A =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0010111110111100○∧⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0001101111000010=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1100111111111011A (4)=A (3)○∧A =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1100111111111011○∧⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0001101111000010=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1011111111111111P =A (1)∨A (2)∨A (3)∨A (4)= ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1111111111111111 对于简单有向图G=<V ,E>,显然有E ⊆V ⨯V 。
因此,弧集合E 可解释成B 中的二元关系,而二元关系是可用矩阵表示的,通常称这种矩阵为关系矩阵,其定义如下:设两个有限集合X={x 1,x 2,···,x m }和Y={y 1,y 2,···,y n },则关系R ⊆X ⨯Y 的关系矩阵M R =(r ij ),其中1, <x i ,y i >∈Rr ij =0, 否则i=1,2,···,m ;j=1,2,···,n 。
由定义可知,关系R 与其关系矩阵M R 是一一对应的,即可以相互确定。
根据集合论可知,对于域F(R)=V 而|V|=n 的关系R 的传递闭包R +可计算如下: R +=R ∪R 2∪R 3∪…∪R k (k ≤n )于是,关系R 1和R 2的关系矩阵分别为A 1和A 2,则关系R 1∪R 2的关系矩阵为A 1∨A 2。
用归纳法可以证明R +的关系矩阵是M R +=M R ∨M R 2∨M R 3∨…∨M R k对于G=<V,E>的邻接矩阵A 是关系E 的关系矩阵,因为E 2=EoE ,即若存在一个结点v k ,使得v i Ev k ,和v k Ev j ,则必有v i E 2v j ,亦即从v i 到v j 若至少存在一条长度为2的链(或路),那么E 2的关系矩阵中的(i,j)元素值为1。
这表明矩阵A (2)是关系E 2的关系矩阵。
以此类推,A (k)是E k 的关系矩阵,k=2,3,···,n 。
因此A +=A ∨A (2)∨A (3)∨…∨A(n)亦即 A +=A ∨A (2)∨A (3)∨…∨A (n)=P可见,关系E 的传递闭包E +的关系矩阵A +与可达矩阵相同。
为了计算A +或P ,自然可先依次求得A (2),A (3),…,A (n),然后再计算∨=nk 1A(k),其结果即为所求,这是计算A +或P 的一种方法,还可介绍一种现有效的方法—Warshall 算法,它由邻接矩阵A 依下面给出的步骤便能计算A +。