离散数学课后习题答案第三章
离散数学概论习题答案第3章
第二部分集合、矩阵、关系和函数集合论是处理集合,函数和关系的数学理论。
集合包括最基本的数学概念,例如集合,元素和成员关系。
在大多数现代数学公式中,集合论提供了一种描述数学对象的语言。
集合可用来表示数及其运算,还可表示和处理非数值计算,如数据间关系的描述等。
集合论,逻辑和一阶逻辑构成了数学公理化的基础。
同时,函数和关系是基于集合的映射,它们是满足某些属性的特殊集合。
接下来,我们将在两个单独的章节中介绍它们。
集和矩阵将在第3章中介绍,而关系和函数将在第4章中介绍。
第三章集合和矩阵3.1 集合3.1.1 集合概念集合没有确定的概念。
一般地,我们把研究的对象统称为元素;把一些元素组成的总体叫做集合,也简称集。
通常用大写英文字母表示集合。
例如,N代表是自然数集合,Z代表是整数集合,R代表是实数集合。
用小写英文字母表示集合内元素。
若元素a是集合A的一个元素,则表示为a A∈,读作元素a属于集合A;若元素a不是集合A的一个元素,则表示为a A∉,读作a不属于集合A。
集合分为有限集合和无限集合两种,下面给出定义。
表示集合方法有列举法和描述法两种方式,下面分别介绍。
1. 列举法当集合是有限集合时,可以列出集合的所有元素,用逗号隔开各元素,并用花括号把所有元素括起来。
这种表述方式为列举法。
例如:S1={a, b, c, d, e, f},S2={a, b, b, c, d, e, f},S3={ d, e, a, b, c, f}上述三个集合S1、S2和S3是相同集合,尽管有重复元素。
且集合元素之间没有次序关系。
一个集合可以作为另个集合的元素。
例如,S1={a, b,{ c, d, e, f }}集合S1包含元素a, b和{ c, d, e, f }。
因为{ c, d, e, f }是集合S1中的元素,故可记为:{}∈。
,,,c d e f A以上给出的集合实例都是有限集合。
当集合是无限集合时,无法列出集合的所有元素,可先列出一部分元素,若剩余元素与已给出元素存在一定规律,那剩余元素的一般形式很明显可用省略号表示。
离散数学第3版习题答案
离散数学第3版习题答案离散数学是一门重要的数学学科,它研究的是离散对象和离散结构的数学理论。
离散数学的应用广泛,涉及到计算机科学、信息技术、通信工程等领域。
在学习离散数学的过程中,习题是不可或缺的一部分,通过解答习题可以加深对知识的理解和掌握。
本文将为大家提供《离散数学第3版》习题的答案,希望能对学习者有所帮助。
第一章:命题逻辑1.1 习题答案:1. (a) 真值表如下:p | q | p ∧ qT | T | TT | F | FF | T | FF | F | F(b) 命题“p ∧ q”的真值表如下:p | q | p ∧ qT | T | TT | F | FF | T | FF | F | F(c) 命题“p ∨ q”的真值表如下:p | q | p ∨ qT | T | TT | F | TF | T | TF | F | F(d) 命题“p → q”的真值表如下:p | q | p → qT | T | TT | F | FF | T | TF | F | T1.2 习题答案:1. (a) 命题“¬(p ∧ q)”等价于“¬p ∨ ¬q”。
(b) 命题“¬(p ∨ q)”等价于“¬p ∧ ¬q”。
(c) 命题“¬(p → q)”等价于“p ∧ ¬q”。
(d) 命题“¬(p ↔ q)”等价于“(p ∧ ¬q) ∨ (¬p ∧ q)”。
1.3 习题答案:1. (a) 命题“p → q”的否定是“p ∧ ¬q”。
(b) 命题“p ∧ q”的否定是“¬p ∨ ¬q”。
(c) 命题“p ↔ q”的否定是“(p ∧ ¬q) ∨ (¬p ∧ q)”。
(d) 命题“p ∨ q”的否定是“¬p ∧ ¬q”。
1.4 习题答案:1. (a) 命题“p → q”与命题“¬p ∨ q”等价。
离散数学答案-屈婉玲版-第二版-高等教育出版社课后答案
离散数学答案屈婉玲版第二版高等教育出版社课后答案第一章部分课后习题参考答案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∧1⇔0.(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是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 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∨r⇔1所以公式类型为永真式(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)⇔320m m m ∨∨⇔∑(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) ⇔ M 1⇔∏(1)(2) 主合取范式为:⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(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∧1⇔1所以该式为永真式.永真式的主合取范式为 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)中为真命题。
(完整版)离散数学课后习题答案(第三章)
a t a t i m e an dA l lt h i ng si nt h ei r be i ng ar eg oo df o r so me t hi n 3-5.1 列出所有从X={a,b,c}到Y={s}的关系。
解:Z 1={<a,s>}Z 2={<b,s>} Z 3={<c,s>}Z 4={<a,s>,<b,s>} Z 5={<a,s>,<c,s>} Z 6={<b,s>,<c,s>}Z 7={<a,s>,<b,s>,<c,s>}3-5.2 在一个有n 个元素的集合上,可以有多少种不同的关系。
解 因为在X 中的任何二元关系都是X ×X 的子集,而X ×X=X 2中共有n 2个元素,取0个到n 2个元素,共可组成22n 个子集,即22|)(|n X X =⨯℘。
3-5.3 设A ={6:00,6:30,7:30,…, 9:30,10:30}表示在晚上每隔半小时的九个时刻的集合,设B={3,12,15,17}表示本地四个电视频道的集合,设R 1和R 2是从A 到B 的两个二元关系,对于二无关系R 1,R 2,R 1∪R 2,R 1∩R 2,R 1⊕R 2和R 1-R 2可分别得出怎样的解释。
解:A ×B 表示在晚上九个时刻和四个电视频道所组成的电视节目表。
R 1和R 2分别是A ×B 的两个子集,例如R 1表示音乐节目播出的时间表,R 2是戏曲节日的播出时间表,则R 1∪R 2表示音乐或戏曲节目的播出时间表,R 1∩R 2表示音乐和戏曲一起播出的时间表,R 1⊕R 2表示音乐节目表以及戏曲节目表,但不是音乐和戏曲一起的节日表,R 1-R 2表示不是戏曲时间的音乐节目时间麦。
3-5.4 设L 表示关系“小于或等于”,D 表示‘整除”关系,L 和D 刀均定义于解:L={<1,2>,<1,3>,<1,6>,<2,3>,<2,6>, <3,6>,<1,1>,<2,2>,<3,3>,<6,6>}D={<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>,<2,2>,<3,3>,<6,6>} L ∩D={<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>,<2,2>,<3,3>,<6,6>}3-5.5对下列每一式,给出A 上的二元关系,试给出关系图:a){<x,y>|0≤x ∧y ≤3},这里A={1,2,3,4};b){<x,y>|2≤x,y ≤7且x 除尽y ,这里A ={n|n ∈N ∧n ≤10}c) {<x,y>|0≤x-y<3},这里A={0,1,2,3,4};d){<x,y>|x,y 是互质的},这里A={2,3,4,5,6}解:a) R={<0,0>,<0,1>,<0,2>,<0,3>, <1,0>,<1,1>,<1,2>,<1,3>, <2,0>,<2,1>,<2,2>,<2,3>, <3,0>,<3,1>,<3,2>,<3,3>,} 其关系图b) R={<2,0>,<2,2>,<2,4>,<2,6>,<3,0>,<3,3>,<3,6>, <4,0>,<4,4>, <5,0>,<5,5>,i m e an dA l lt h in gs in th ei r be i ng ar eg oo df o rsa)若R1和R2是自反的,则R1○R2也是自反的;b)若R1和R2是反自反的,则R1○R2也是反自反的;c)若R1和R2是对称的,则R1○R2也是对称的;d)若R1和R2是传递的,则R1○R2也是传递的。
离散数学第3章答案
习题3.11.(1) {0,1,2,3,4,5,6,7,8,9}(2) {aa , ab , ba , bb }(3) {-1,1}(4) {11,13,17,19,23,29}(5) {1,2,3, (79)(6) {2}2. 用描述法表示下列集合:(1) 不超过200的自然数的集合;{|N 200}x x x ∈∧≤(2) 被5除余1的正整数的集合;+{|I (N 51)}x x y y x y ∈∧∃∈∧=+(3) 函数y =sin x 的值域;{|R 11}y y y ∈∧-≤≤(4) 72的质因子的集合;{|N |72(N 2|)}x x x y y y x y x ∈∧∧∀∈∧≤<→/(5) 不等式031>-x 的解集; {|R 3}x x x ∈∧>(6) 函数2312+-=x x y 的定义域集. {|R 12}x x x x ∈∧≠∧≠3. 用归纳定义法描述下列集合:(1) 允许有前0的十进制无符号整数的集合;① {0,1,2,3,4,5,6,7,8,9}A ⊆② 如果x A ∈,则{0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9}x x x x x x x x x x x x x x x x x x x x A ⊆(2) 不允许有前0的十进制无符号整数的集合;① {1,2,3,4,5,6,7,8,9}A ⊆② 如果x A ∈,则{0,1,2,3,4,5,6,7,8,9}x x x x x x x x x x A ⊆(3) 不允许有前0的二进制无符号偶数的集合;① 1A ∈② 如果x A ∈,则{0,1}x x A ⊆(4) 5的正整数倍的集合.① 5A ∈② 如果x A ∈,则5x A +∈4. 判断下列命题中,哪些是真的,哪些是假的(A 是任意集合):(1) ;A ∈∅(2) ;A ⊆∅ (3) };{A A ∈ (4) ;A A ⊆ (5) ;A A ∈ (6) };{A A = (7) }.{∅=∅答:(2),(3),(4)为真,(1),(5),(6),(7)为假。
自考 离散数学教材课后题第三章答案
3.1 习题参考答案1、写出下列集合的的表示式。
a)所有一元一次方程的解组成的集合。
A={x|x是所有一元一次方程的解组成的集合}晓津答案:A={x| ax+b=0∧a∈R∧b∈R}b) x2-1 在实数域中的因式集。
B={1,(x-1),(x+1)|x∈R}c)直角坐标系中,单位圆内(不包括单位圆周)的点集。
C={x,y| x2+y2<1 }晓津答案:C={a(x,y)|a为直角坐标系中一点且 x2+y2<1 }d)极坐标中,单位圆外(不包括单位圆周)的点集。
D={r,θ| r>1,0<=θ<=360}晓津答案:D={a(r,θ)|a为极坐标系中一点且 r>1,0<=θ<=2π }e)能被5整除的整数集E={ x| x mod 5=0}----------------------------------------------------------------2、判定下列各题的正确与错误。
a) {x}{x};正确b) {x}∈{x};正确晓津观点:本命题错误。
理由:{x}作为一个元素是一个集合,而右边集合中的元素并不是集合。
c) {x}∈{x,{x}};正确d) {x}{x,{x}};正确----------------------------------------------------------------3、设 A={1,2,4},B={1,3,{2}},指出下列各式是否成立。
a) {2}∈A; b) {2}∈B c) {2}Ad) {2}B; e) ∈A f) A解:jhju、晓津和wwbnb 的答案经过综合补充,本题的正确答案是:b、c、d、f成立,a,d、e不成立。
理由:a式中,{2}是一个集合,而在A中并无这样的元素。
因此不能说{2}属于A,当然如果说2∈A则是正确的。
对于e式也应作如此理解,空集是一个集合,在A中并无这个集合元素,如f 式则是正确的。
离散数学答案屈婉玲版第二版高等教育出版社课后答案
离散数学答案屈婉玲版第二版高等教育出版社课后答案第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值;1p∨q∧r⇔0∨0∧1 ⇔02pr∧﹁q∨s ⇔01∧1∨1 ⇔0∧1⇔0.3⌝p∧⌝q∧rp∧q∧﹁r ⇔1∧1∧1 0∧0∧0⇔04⌝r∧s→p∧⌝q ⇔0∧1→1∧0 ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数;并且,如果3是无理数,则2也是无理数;另外6能被2整除,6才能被4整除;”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧q→r∧t→s的真值为1,所以这一段的论述为真;19.用真值表判断下列公式的类型:4p→q →⌝q→⌝p5p∧r ↔⌝p∧⌝q6p→q ∧q→r →p→r答: 4p q p→q ⌝q ⌝p ⌝q→⌝p p→q→⌝q→⌝p0 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→q2p→p∨q∨p→r3p∨q→p∧r答:2p→p∨q∨p→r⇔⌝p∨p∨q∨⌝p∨r⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式3P q r p∨q p∧r p∨q→p∧r0 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.用等值演算法证明下面等值式:2p→q∧p→r⇔p→q∧r4p∧⌝q∨⌝p∧q⇔p∨q ∧⌝p∧q证明2p→q∧p→r⇔⌝p∨q∧⌝p∨r⇔⌝p∨q∧r⇔p→q∧r4p∧⌝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∧q5.求下列公式的主析取范式与主合取范式,并求成真赋值1⌝p→q→⌝q∨p2⌝p→q∧q∧r3p∨q∧r→p∨q∨r解:1主析取范式⌝p→q→⌝q∨p⇔⌝p∨∨⌝∨p⇔⌝p∧⌝∨⌝∨p⇔⌝p∧⌝∨⌝∧p∨⌝q∧⌝p∨p∧q∨p∧⌝q⇔⌝p∧⌝q∨p∧⌝q∨p∧q⇔∑0,2,3主合取范式:⌝p→q→⌝q∨p⇔⌝p∨∨⌝∨p⇔⌝p∧⌝∨⌝∨p⇔⌝p∨⌝q∨p∧⌝∨⌝∨p⇔1∧p∨⌝q⇔p∨⌝q ⇔ M1⇔∏12 主合取范式为:⌝p→∧∧r⇔⌝⌝p∨∧∧r⇔p∧⌝∧∧r⇔0所以该式为矛盾式.主合取范式为∏0,1,2,3,4,5,6,7矛盾式的主析取范式为 03主合取范式为: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∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑0,1,2,3,4,5,6,7第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明:2前提:p→q,⌝q∧r,r结论:⌝p4前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:2①⌝q∧r 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p3 ⑤⑥拒取式证明4:①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥q→t∧t→q ⑤置换⑦q→t ⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理11p∧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,均有x2−2=x+√2x−√2.2 存在x,使得x+5=9.其中a个体域为自然数集合.b个体域为实数集合.解:Fx: x2−2=x+√2x−√2.Gx: x+5=9.1在两个个体域中都解释为)∀,在a中为假命题,在b中为真命题;(xxF2在两个个体域中都解释为)(x∃,在ab中均为真命题;xG4. 在一阶逻辑中将下列命题符号化:1 没有不能表示成分数的有理数.2 在北京卖菜的人不全是外地人.解:1Fx: x能表示成分数Hx: x是有理数命题符号化为: ))x∧F⌝∃x⌝(x()(H2Fx: x是北京卖菜的人Hx: x是外地人命题符号化为: ))F⌝∀xx→(x(H)(5. 在一阶逻辑将下列命题符号化:1 火车都比轮船快.3 不存在比所有火车都快的汽车.解:1Fx: x是火车; Gx: x是轮船; Hx,y: x比y快命题符号化为: ))FyxGy∀∀∧x→))((,H)x((y(2 1Fx: x是火车; Gx: x是汽车; Hx,y: x比y快命题符号化为: )))xFxyG∧∀y→⌝∃H)(,(((y()x9.给定解释I如下:a 个体域D为实数集合R.b D中特定元素a ̅=0.c 特定函数f x,y=x−y,x,y D∈.d 特定谓词F̅x,y:x=y,G̅x,y:x<y,x,y D∈.说明下列公式在I下的含义,并指出各公式的真值:答:1 对于任意两个实数x,y,如果x<y, 那么x≠y. 真值1.2 对于任意两个实数x,y,如果x-y=0, 那么x<y. 真值0.10. 给定解释I如下:a 个体域D=NN为自然数集合.b D中特定元素a̅=2.c D上函数f(x,y)=x+y,g̅x,y=xy.d D上谓词F̅x,y:x=y.说明下列各式在I下的含义,并讨论其真值.(1)xFgx,a,x(2)xyFfx,a,y→Ffy,a,x答:1 对于任意自然数x, 都有2x=x, 真值0.2 对于任意两个自然数x,y,使得如果x+2=y, 那么y+2=x. 真值0.11. 判断下列各式的类型:1 F(x,y)→(G(x,y)→F(x,y)).3 xyF(x,y)→x yFx,y.解:1因为1→pq⇔qp为永真式;pp→⌝()(⇔)∨⌝∨所以F(x,y)→(G(x,y)→F(x,y)).为永真式;3取解释I个体域为全体实数Fx,y:x+y=5所以,前件为任意实数x存在实数y使x+y=5,前件真;后件为存在实数x对任意实数y都有x+y=5,后件假,此时为假命题再取解释I个体域为自然数N,Fx,y::x+y=5所以,前件为任意自然数x存在自然数y使x+y=5,前件假;此时为假命题;此公式为非永真式的可满足式;13. 给定下列各公式一个成真的解释,一个成假的解释;1 x Fx∨G(x))2 xFx∧Gx∧Hx解:1个体域:本班同学Fx:x会吃饭, Gx:x会睡觉.成真解释Fx:x是泰安人,Gx:x是济南人.2成假解释2个体域:泰山学院的学生Fx :x 出生在山东,Gx:x 出生在北京,Hx:x 出生在江苏,成假解释. Fx :x 会吃饭,Gx :x 会睡觉,Hx :x 会呼吸. 成真解释.第五章部分课后习题参考答案5.给定解释I如下:a 个体域D={3,4};b )(x f f 为3)4(,4)3(==f f c 1)3,4()4,3(,0)4,4()3,3(),(====F F F F y x F 为. 试求下列公式在I下的真值. 1),(y x yF x ∃∀3)))(),((),((y f x f F y x F y x →∀∀ 解:1 ))4,()3,((),(x F x F x y x yF x ∨∀⇔∃∀2 )))(),((),((y f x f F y x F y x →∀∀ 12.求下列各式的前束范式;1),()(y x yG x xF ∀→∀5)),()((),(2121211x x G x x H x x F x ⌝∃→→∃ 本题课本上有错误 解:1 ),()(y x yG x xF ∀→∀),()(y t yG x xF ∀→∀⇔)),()((y t G x F y x →∀∃⇔ 5 )),()((),(2121211x x G x x H x x F x ⌝∃→→∃ 15.在自然数推理系统F 中,构造下面推理的证明:(1) 前提: ))())()((()(y R y G y F y x xF →∨∀→∃,)(x xF ∃结论: ∃xRx(2) 前提: ∀xFx →Ga ∧Rx, xFx结论:xFx ∧Rx 证明1①)(x xF ∃ 前提引入 ②Fc ①EI③))())()((()(y R y G y F y x xF →∨∀→∃ 前提引入 ④))())()(((y R y G y F y →∨∀ ①③假言推理 ⑤Fc ∨Gc →Rc ④UI⑥Fc ∨Gc ②附加 ⑦Rc ⑤⑥假言推理 ⑧∃xRx ⑦EG 2①∃xFx 前提引入 ②Fc ①EI③∀xFx →Ga ∧Rx 前提引入 ④Fc →Ga ∧Rc ③UI⑤Ga ∧Rc ②④假言推理 ⑥Rc ⑤化简 ⑦Fc ∧Rc ②⑥合取引入 ⑧∃xFx ∧Rx ⑦EG第六章部分课后习题参考答案5.确定下列命题是否为真: 1∅⊆∅ 真 2∅∈∅ 假 3}{∅⊆∅ 真 4}{∅∈∅ 真 5{a,b }⊆{a,b,c,{a,b,c }} 真 6{a,b }∈{a,b,c,{a,b }} 真 7{a,b }⊆{a,b,{{a,b }}} 真 8{a,b }∈{a,b,{{a,b }}} 假6.设a,b,c 各不相同,判断下述等式中哪个等式为真: 1{{a,b },c,∅}={{a,b },c } 假2{a ,b,a }={a,b } 真 3{{a },{b}}={{a,b }} 假 4{∅,{∅},a,b }={{∅,{∅}},a,b } 假 8.求下列集合的幂集:1{a,b,c } PA={ ∅,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}2{1,{2,3}}PA={ ∅, {1}, {{2,3}}, {1,{2,3}} }3{∅}PA={ ∅, {∅} }4{∅,{∅}}PA={ ∅, {1}, {{2,3}}, {1,{2,3}} }14.化简下列集合表达式:1A B B -A B2A B C-B C A解:1A B B -A B=A B B ~A B=A B ~A B B=∅ B=∅2A B C-B C A=A B C ~B C A=A ~B C B C ~B C A=A ~B C ∅ A=A ~B C A=A18.某班有25个学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球;已知6个会打网球的人都会打篮球或排球;求不会打球的人数;解: 阿A={会打篮球的人},B={会打排球的人},C={会打网球的人}|A|=14, |B|=12, |A B|=6,|A C|=5,| A B C|=2,|C|=6,C⊆A B如图所示;25-5+4+2+3-5-1=25-14-5-1=5不会打球的人共5人21.设集合A={{1,2},{2,3},{1,3},{∅}},计算下列表达式:1 A2 A3 A4 A解:1 A={1,2} {2,3} {1,3} {∅}={1,2,3,∅}2 A={1,2} {2,3} {1,3} {∅}=∅3 A=1 2 3 ∅=∅4 A=∅27、设A,B,C是任意集合,证明1A-B-C=A- B⋃C2A-B-C=A-C-B-C证明1 A-B-C=A ~B ~C= A ~B ~C= A ~B⋃C =A- B⋃C2 A-C-B-C=A ~C ~B ~C= A ~C ~B C=A ~C ~B A ~C C= A ~C ~B ∅= A ~B⋃C =A- B⋃C 由1得证;第七章部分课后习题参考答案7.列出集合A={2,3,4}上的恒等关系I A,全域关系E A,小于或等于关系L A,整除关系D A. 解:I={<2,2>,<3,3>,<4,4>}A={<2,2>,<2,3>,<2,4>,<3,4>,<4,4>,<3,2>,<3,3>,<4,2>,<4,3>}EA={<2,2>,<2,3>,<2,4>,<3,3>,<3,4>,<4,4>}LAD={<2,4>}A13.设A={<1,2>,<2,4>,<3,3>}B={<1,3>,<2,4>,<4,2>}求A⋃B,A⋂B, domA, domB, domA⋃B, ranA, ranB, ranA⋂B , fldA-B.解:A⋃B={<1,2>,<2,4>,<3,3>,<1,3>,<4,2>}A⋂B={<2,4>}domA={1,2,3}domB={1,2,4}domA∨B={1,2,3,4}ranA={2,3,4}ranB={2,3,4}ranA⋂B={4}A-B={<1,2>,<3,3>},fldA-B={1,2,3}14.设R={<0,1><0,2>,<0,3>,<1,2>,<1,3>,<2,3>}求R R, R-1, R↑{0,1,}, R{1,2}解:R R={<0,2>,<0,3>,<1,3>}R -1,={<1,0>,<2,0>,<3,0>,<2,1>,<3,1>,<3,2>}R ↑{0,1}={<0,1>,<0,2>,<0,3>,<1,2>,<1,3>}R{1,2}=ranR|{1,2}={2,3}16.设A={a,b,c,d},1R ,2R 为A 上的关系,其中1R ={},,,,,a a a b b d求23122112,,,R R R R R R ;解: R 1 R 2={<a,d>,<a,c>,<a,d>}R 2 R 1={<c,d>}R 12=R 1 R 1={<a,a>,<a,b>,<a,d>}R 22=R 2 R 2={<b,b>,<c,c>,<c,d>}R 23=R 2 R 22={<b,c>,<c,b>,<b,d>}36.设A={1,2,3,4},在A ⨯A 上定义二元关系R,∀<u,v>,<x,y>∈A ⨯A ,〈u,v> R <x,y>⇔u + y = x + v.(1)证明R 是A ⨯A 上的等价关系.2确定由R 引起的对A ⨯A 的划分.1证明:∵<u,v>R<x,y> ⇔u+y=x-y∴<u,v>R<x,y>⇔u-v=x-y∀<u,v>∈A ⨯A∵u-v=u-v∴<u,v>R<u,v>∴R 是自反的任意的<u,v>,<x,y>∈A ×A如果<u,v>R<x,y> ,那么u-v=x-y∴x-y=u-v ∴<x,y>R<u,v>∴R 是对称的任意的<u,v>,<x,y>,<a,b>∈A ×A若<u,v>R<x,y>,<x,y>R<a,b>则u-v=x-y,x-y=a-b∴u-v=a-b ∴<u,v>R<a,b>∴R是传递的∴R是A×A上的等价关系2 ∏={{<1,1>,<2,2>,<3,3>,<4,4>}, {<2,1>,<3,2>,<4,3>}, {<3,1>,<4,2>},{<4,1>}, {<1,2>,<2,3>,<3,4>}, {<1,3>,<2,4>}, {<1,4>} }41.设A={1,2,3,4},R为A⨯A上的二元关系, ∀〈a,b〉,〈c,d〉∈A⨯A ,〈a,b〉R〈c,d〉⇔a + b = c + d(1)证明R为等价关系.(2)求R导出的划分.1证明:∀<a,b〉∈A⨯Aa+b=a+b∴<a,b>R<a,b>∴R是自反的任意的<a,b>,<c,d>∈A×A设<a,b>R<c,d>,则a+b=c+d∴c+d=a+b ∴<c,d>R<a,b>∴R是对称的任意的<a,b>,<c,d>,<x,y>∈A×A若<a,b>R<c,d>,<c,d>R<x,y>则a+b=c+d,c+d=x+y∴a+b=x+y ∴<a,b>R<x,y>∴R是传递的∴R是 A×A上的等价关系2∏={{<1,1>}, {<1,2>,<2,1>}, {<1,3>,<2,2>,<3,1>}, {<1,4>,<4,1>,<2,3>,<3,2>}, {<2,4>,<4,2>,<3,3>}, {<3,4>,<4,3>}, {<4,4>}}43. 对于下列集合与整除关系画出哈斯图:1 {1,2,3,4,6,8,12,24}2 {1,2,3,4,5,6,7,8,9,10,11,12}解:1 245.下图是两个偏序集<A,R >的哈斯图.分别写出集合A 和偏序关系R 的集合表达式.a b解: aA={a,b,c,d,e,f,g}R ={<a,b>,<a,c>,<a,d>,<a,e>,<a,f>,<a,g>,<b,d>,<b,e>,<c,f>,<c,g>}A I ⋃ b A={a,b,c,d,e,f,g} R ={<a,b>,<a,c>,<a,d>,<a,e>,<a,f>,<d,f>,<e,f>}A I ⋃46.分别画出下列各偏序集<A,R >的哈斯图,并找出A 的极大元`极小元`最大元和最小元.1A={a,b,c,d,e} R ={<a,d>,<a,c>,<a,b>,<a,e>,<b,e>,<c,e>,<d,e>}⋃I A . 2A={a,b,c,d,e}, R ={<c,d>}⋃IA.解:1 2项目 1 2极大元: e a,b,d,e极小元: a a,b,c,e最大元: e 无最小元: a 无第八章部分课后习题参考答案1.设f :N →N,且f x=12x x x ⎧⎪⎨⎪⎩,若为奇数若为偶数, 求f 0, f {0}, f 1, f {1}, f {0,2,4,6,…},f {4,6,8}, f -1{3,5,7}.解:f 0=0, f {0}={0}, f 1=1, f {1}={1},f {0,2,4,6,…}=N,f {4,6,8}={2,3,4}, f -1 {3,5,7}={6,10,14}.4. 判断下列函数中哪些是满射的哪些是单射的哪些是双射的1 f:N →N, fx=x 2+2 不是满射,不是单射2 f:N →N,fx=xmod 3,x 除以3的余数 不是满射,不是单射3 f:N →N,fx=10x x ⎧⎨⎩,若为奇数,若为偶数不是满射,不是单射 4 f:N →{0,1},fx=01x x ⎧⎨⎩,若为奇数,若为偶数是满射,不是单射 5 f:N-{0}→R,fx=lgx 不是满射,是单射6 f:R →R,fx=x 2-2x-15 不是满射,不是单射5. 设X={a,b,c,d},Y={1,2,3},f={<a,1>,<b,2>,<c,3>,}判断以下命题的真假:1f 是从X 到Y 的二元关系,但不是从X 到Y 的函数; 对2f 是从X 到Y 的函数,但不是满射,也不是单射的; 错3f 是从X 到Y 的满射,但不是单射; 错4f 是从X 到Y 的双射. 错第十章部分课后习题参考答案4.判断下列集合对所给的二元运算是否封闭:(1) 整数集合Z 和普通的减法运算;封闭,不满足交换律和结合律,无零元和单位元(2) 非零整数集合Z ∗和普通的除法运算;不封闭(3) 全体n n ⨯实矩阵集合M n R 和矩阵加法及乘法运算,其中n ≥2;封闭 均满足交换律,结合律,乘法对加法满足分配律;加法单位元是零矩阵,无零元;乘法单位元是单位矩阵,零元是零矩阵;4全体n n ⨯实可逆矩阵集合关于矩阵加法及乘法运算,其中n ≥2;不封闭5正实数集合R +和 ° 运算,其中 ° 运算定义为:a ,b ∈R +,a ° b = ab −a −b不封闭 因为 +∉-=--⨯=R 11111116n ∈Z +,nZ ={nz | z ∈ Z }.nZ 关于普通的加法和乘法运算;封闭,均满足交换律,结合律,乘法对加法满足分配律加法单位元是0,无零元;乘法无单位元1>n ,零元是0;1=n 单位元是17A = {},,,21n a a a n ≥2.° 运算定义如下:a ,b ∈ A ,a ° b = b封闭 不满足交换律,满足结合律,8S = {2x −1|x ∈Z +}关于普通的加法和乘法运算;封闭 均满足交换律,结合律,乘法对加法满足分配律9S = {0,1},S 是关于普通的加法和乘法运算;加法不封闭,乘法封闭;乘法满足交换律,结合律10S = {x | x =2n ,n ∈Z +} ,S 关于普通的加法和乘法运算;加法不封闭,乘法封闭,乘法满足交换律,结合律5.对于上题中封闭的二元运算判断是否适合交换律,结合律,分配律;见上题7.设 为+Z 上的二元运算+∈∀Z y x ,,X Y = min x,y ,即x 和y 之中较小的数.(1)求4 6,7 3;4, 32 在+Z 上是否适合交换律,结合律,和幂等律满足交换律,结合律,和幂等律3求运算的单位元,零元及+Z 中所有可逆元素的逆元;单位元无,零元1, 所有元素无逆元8.Q Q S ⨯= Q 为有理数集,为S 上的二元运算,<a,b>,<x,y > ∈ S 有< a,b ><x,y> = <ax,ay + b>1运算在S 上是否可交换,可结合是否为幂等的不可交换:<x,y><a,b >= <xa,xb +y>≠< a,b ><x,y>可结合:<a,b ><x,y><c,d>=<ax,ay + b><c,d>=<axc,axd +ay+b ><a,b ><x,y><c,d>=<a, b><xc,xd+y>=<axc,axd +y+b ><a,b ><x,y><c,d>=<a,b ><x,y><c,d>不是幂等的2运算是否有单位元,零元 如果有请指出,并求S 中所有可逆元素的逆元;设<a,b>是单位元,<x,y > ∈ S ,<a,b ><x,y>= <x,y><a,b >=<x,y>则<ax,ay+b>=<xa,xb+y>=<x,y>,解的<a,b>=<1,0>,即为单位;设<a,b>是零元,<x,y > ∈ S ,<a,b ><x,y>= <x,y><a,b >=<a,b>则<ax,ay+b>=<xa,xb+y>=<a,b>,无解;即无零元;<x,y > ∈ S,设<a,b>是它的逆元<a,b ><x,y>= <x,y><a,b >=<1,0><ax,ay+b>=<xa,xb+y>=<1,0>a=1/x,b=-y/x所以当x ≠0时,x y x y x -=><-,1,1 10.令S={a,b},S 上有四个运算:,°,和□分别有表确定; a b c d1这4个运算中哪些运算满足交换律,结合律,幂等律a 交换律,结合律,幂等律都满足, 零元为a,没有单位元;b 满足交换律和结合律,不满足幂等律,单位元为a,没有零元c 满足交换律,不满足幂等律,不满足结合律没有单位元, 没有零元d 不满足交换律,满足结合律和幂等律没有单位元, 没有零元(2)求每个运算的单位元,零元以及每一个可逆元素的逆元;见上16.设V=〈 N,+ , 〉,其中+ ,分别代表普通加法与乘法,对下面给定的每个集合确定它是否构成V 的子代数,为什么1S 1={2n | n ∈Z } 是2S 2={2n +1 | n ∈Z } 不是 加法不封闭3S 3 = {-1,0,1} 不是,加法不封闭第十一章部分课后习题参考答案8.设S={0,1,2,3},为模4乘法,即"∀x,y ∈S, xy=xymod 4 问〈S,〉是否构成群为什么解:1 ∀x,y ∈S, xy=xymod 4S ∈,是S 上的代数运算; 2 ∀x,y,z ∈S,设xy=4k+r 30≤≤rx y z =xymod 4z=r z=rzmod 4=4kz+rzmod 4=4k+rzmod 4 =xyzmod 4同理x y z =xyzmod 4所以,x y z = x y z,结合律成立; 3 ∀x ∈S, x 1=1x=x,,所以1是单位元;4,33,1111==-- 0和2没有逆元所以,〈S,〉不构成群9.设Z 为整数集合,在Z 上定义二元运算;如下:" ∀x,y ∈Z,xoy= x+y-2问Z 关于o 运算能否构成群为什么解:1 ∀x,y ∈Z, xoy= x+y-2Z ∈,o 是Z 上的代数运算;2 ∀x,y,z ∈Z,xoy oz =x+y-2oz=x+y-2+z-2=x+y+z-4同理xoyoz= xoyoz,结合律成立;3设e 是单位元,∀x ∈Z, xo e = e ox=x,即x+e -2= e +x-2=x, e=24 ∀x ∈Z , 设x 的逆元是y, xoy= yox=e , 即x+y-2=y+x-2=2,所以,x y x -==-41所以〈Z,o 〉构成群11.设G=⎭⎬⎫⎩⎨⎧⎪⎪⎭⎫ ⎝⎛--⎪⎪⎭⎫ ⎝⎛-⎪⎪⎭⎫ ⎝⎛-⎪⎪⎭⎫ ⎝⎛1001,1001,1001,1001,证明G 关于矩阵乘法构成一个群. 解:1 ∀x,y ∈G, 易知xy ∈G,乘法是Z 上的代数运算;2 矩阵乘法满足结合律3设⎪⎪⎭⎫ ⎝⎛1001是单位元,4每个矩阵的逆元都是自己;所以G 关于矩阵乘法构成一个群.14.设G 为群,且存在a∈G,使得G={a k ∣k∈Z}证明:G 是交换群;证明:∀x,y ∈G,设l k a y a x ==,,则所以,G 是交换群17.设G 为群,证明e 为G 中唯一的幂等元;证明:设G e ∈0也是幂等元,则020e e =,即e e e 020=,由消去律知e e =018.设G 为群,a,b,c∈G,证明∣abc∣=∣bca∣=∣cab∣证明:先证设e bca e abc k k =⇔=)()(设,)(e abc k =则e abc abc abc abc =)())()(( ,即 e a bca bca bca bca a =-1)())()((左边同乘1-a ,右边同乘a 得反过来,设,)(e bac k =则.)(e abc k= 由元素阶的定义知,∣abc∣=∣bca∣,同理∣bca∣=∣cab∣19.证明:偶数阶群G 必含2阶元;证明:设群G 不含2阶元,G a ∈∀,当e a =时,a 是一阶元,当e a ≠时,a 至少是3阶元,因为群G 时有限阶的,所以a 是有限阶的,设a 是k 阶的,则1-a 也是k 阶的,所以高于3阶的元成对出现的,G 不含2阶元,G 含唯一的1阶元e ,这与群G 是偶数阶的矛盾;所以,偶数阶群G 必含2阶元20.设G 为非Abel 群,证明G 中存在非单位元a 和b,a≠b,且ab=ba.证明:先证明G 含至少含3阶元;若G 只含1阶元,则G={e},G 为Abel 群矛盾;若G 除了1阶元e 外,其余元a 均为2阶元,则e a =2,a a =-1ba ba b a ab ab ab b b a a G b a ======∈∀------111111)(,)(,,,,所以,与G 为Abel 群矛盾;所以,G 含至少含一个3阶元,设为a ,则≠a 2a ,且22aa a a =;令2a b =的证;21.设G 是M n R 上的加法群,n≥2,判断下述子集是否构成子群;1全体对称矩阵 是子群2全体对角矩阵 是子群3全体行列式大于等于0的矩阵. 不是子群4全体上下三角矩阵; 是子群22.设G 为群,a 是G 中给定元素,a 的正规化子Na 表示G 中与a 可交换的元素构成的集合,即Na={x ∣x ∈G ∧xa=ax}证明Na 构成G 的子群;证明:ea=ae,φ≠∈)(a N ea xy ya x ay x y xa y ax xy a )()()()()()(=====,所以)(a N xy ∈由xa ax =,得111111,------==eax ae x xax x axx x ,即11--=ax a x ,所以)(1a N x ∈- 所以Na 构成G 的子群31.设ϕ1是群G 1到G 2的同态,ϕ2是G 2到G 3的同态,证明ϕ1ϕ 2是G 1到G 3的同态;证明:有已知ϕ1是G 1到G 2的函数,ϕ2是G 2到G 3的函数,则ϕ1·ϕ2是G 1到G 3的函数;所以:ϕ1·ϕ2是G 1到G 3的同态;33.证明循环群一定是阿贝尔群,说明阿贝尔群是否一定为循环群,并证明你的结论; 证明:设G 是循环群,令G=<a>,G y x ∈∀,,令l k a y a x ==,,那么yx a a a a a a xy k l k l l k l k =====++,G 是阿贝尔群克莱因四元群,},,,{c b a e G =是交换群,但不是循环群,因为e 是一阶元,a,b,c 是二阶元;36.设τσ,是5元置换,且⎪⎪⎭⎫ ⎝⎛=3541254321σ,⎪⎪⎭⎫⎝⎛=2154354321τ 1计算τσσσττσστ111,,,,---;2将τσσττσ11,,--表成不交的轮换之积;3将2中的置换表示成对换之积,并说明哪些为奇置换,哪些为偶置换; 解:1 ⎪⎪⎭⎫ ⎝⎛=1235454321τσ ⎪⎪⎭⎫ ⎝⎛=5213454321στ ⎪⎪⎭⎫ ⎝⎛=-32154543211τ 2 )1425(=τσ )14253(1=-τ )25)(143(1=-τσσ3 )15)(12)(14(=τσ 奇置换,)13)(15)(12)(14(1=-τ 偶置换)25)(13)(14(1=-τσσ 奇置换第十四章部分课后习题参考答案5、设无向图G 有10条边,3度与4度顶点各2个,其余顶点的度数均小于3,问G 至少有多少个顶点在最少顶点的情况下,写出度数列、)()(G G δ、∆;解:由握手定理图G 的度数之和为:20102=⨯3度与4度顶点各2个,这4个顶点的度数之和为14度;其余顶点的度数共有6度;其余顶点的度数均小于3,欲使G 的顶点最少,其余顶点的度数应都取2, 所以,G 至少有7个顶点, 出度数列为3,3,4,4,2,2,2,2)(,4)(==∆G G δ.7、设有向图D 的度数列为2,3,2,3,出度列为1,2,1,1,求D 的入度列,并求)(),(D D δ∆, )(),(D D ++∆δ,)(),(D D --∆δ.解:D 的度数列为2,3,2,3,出度列为1,2,1,1,D 的入度列为1,1,1,2.2)(,3)(==∆D D δ,1)(,2)(==∆++D D δ,1)(,2)(==∆--D D δ8、设无向图中有6条边,3度与5度顶点各1个,其余顶点都是2度点,问该图有多少个顶点解:由握手定理图G 的度数之和为:1262=⨯设2度点x 个,则1221513=+⨯+⨯x ,2=x ,该图有4个顶点.14、下面给出的两个正整数数列中哪个是可图化的对可图化的数列,试给出3种非同构的无向图,其中至少有两个时简单图;1 2,2,3,3,4,4,52 2,2,2,2,3,3,4,4解:1 2+2+3+3+4+4+5=23 是奇数,不可图化;2 2+2+2+2+3+3+4+4=16, 是偶数,可图化;18、设有3个4阶4条边的无向简单图G 1、G 2、G 3,证明它们至少有两个是同构的;证明:4阶4条边的无向简单图的顶点的最大度数为3,度数之和为8,因而度数列为2,2,2,2;3,2,2,1;3,3,1,1;但3,3,1,1对应的图不是简单图;所以从同构的观点看,4阶4条边的无向简单图只有两个:所以,G 1、G 2、G 3至少有两个是同构的;20、已知n 阶无向简单图G 有m 条边,试求G 的补图G 的边数m '; 解:m n n m --='2)1( 21、无向图G 如下图1求G 的全部点割集与边割集,指出其中的割点和桥;2 求G 的点连通度)(G k 与边连通度)(G λ;解:点割集: {a,b},d边割集{e2,e3},{e3,e4},{e1,e2},{e1,e4}{e1,e3},{e2,e4},{e5})(G k =)(G λ=123、求G 的点连通度)(G k 、边连通度)(G λ与最小度数)(G δ;解:2)(=G k 、3)(=G λ 、4)(=G δ28、设n 阶无向简单图为3-正则图,且边数m 与n 满足2n-3=m 问这样的无向图有几种非同构的情况解:⎩⎨⎧=-=mn m n 3223 得n=6,m=9.31、设图G 和它的部图G 的边数分别为m 和m ,试确定G 的阶数; 解:2)1(+=+n n m m 得2)(811m m n +++-= 45、有向图D 如图1求2v 到5v 长度为1,2,3,4的通路数;2求5v 到5v 长度为1,2,3,4的回路数;3求D 中长度为4的通路数;4求D 中长度小于或等于4的回路数;5写出D 的可达矩阵;解:有向图D 的邻接矩阵为:⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=0101000101100000010110000A ,⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=00202200000101020000010102A ⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=40000020200020202020002023A 12v 到5v 长度为1,2,3,4的通路数为0,2,0,0;25v 到5v 长度为1,2,3,4的回路数为0,0,4,0;3D 中长度为4的通路数为32;4D 中长度小于或等于4的回路数10;4出D 的可达矩阵⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=1111111111111111111111111P 第十六章部分课后习题参考答案1、画出所有5阶和7阶非同构的无向树.2、一棵无向树T 有5片树叶,3个2度分支点,其余的分支点都是3度顶点,问T 有几个顶点 解:设3度分支点x 个,则)135(232315-++⨯=+⨯+⨯x x ,解得3=xT 有11个顶点3、无向树T 有8个树叶,2个3度分支点,其余的分支点都是4度顶点,问T 有几个4度分支点根据T 的度数列,请至少画出4棵非同构的无向树;解:设4度分支点x 个,则)128(243218-++⨯=+⨯+⨯x x ,解得2=x4、棵无向树T 有i n i=2,3,…,k 个i 度分支点,其余顶点都是树叶,问T 应该有几片树叶 解:设树叶x 片,则)1(21-+⨯=⨯+⨯x n x i n i i ,解得2)2(+-=i n i x评论:2,3,4题都是用了两个结论,一是握手定理,二是1-=n m5、nn≥3阶无向树T 的最大度(T)至少为几最多为几解:2,n-16、若nn ≥3阶无向树T 的最大度(T) =2,问T 中最长的路径长度为几解:n-17、证明:nn ≥2 阶无向树不是欧拉图.证明:无向树没有回路,因而不是欧拉图;8、证明:nn ≥2 阶无向树不是哈密顿图.证明:无向树没有回路,因而不是哈密顿图;9、证明:任何无向树T 都是二部图.证明:无向树没有回路,因而不存在技术长度的圈,是二部图;10、什么样的无向树T 既是欧拉图,又是哈密顿图解:一阶无向树14、设e 为无向连通图G 中的一条边, e 在G 的任何生成树中,问e 应有什么性质解:e 是桥15、设e为无向连通图G中的一条边, e不在G的任何生成树中, 问e应有什么性质解:e是环23、已知n阶m条的无向图G是kk≥2棵树组成的森林,证明:m = n-k.;证明:数学归纳法;k=1时, m = n-1,结论成立;时,结论成立,当k=t时,无向图G是t棵树组成的森林,任取两棵树,每棵树任取一个设k=t-1t-11顶点,这两个顶点连线;则所得新图有t-1棵树,所以m = n-k-1.所以原图中m = n-k得证;24、在图所示2图中,实边所示的生成子图T是该图的生成树.1指出T的弦,及每条弦对应的基本回路和对应T的基本回路系统.2 指出T的所有树枝, 及每条树枝对应的基本割集和对应T的基本割集系统.a b图解:aT的弦:c,d,g,hT的基本回路系统: S={{a,c,b},{a,b,f,d},{e,a,b,h},{e,a,b,f,g}}T的所有树枝: e,a,b,fT的基本割集系统: S={{e,g,h},{a,c,d,g,h},{b,c,d,g,h},{f,d,g}}b有关问题仿照给出25、求图所示带权图中的最小生成树.a b图解:注:答案不唯一;37、画一棵权为3,4,5,6,7,8,9的最优2叉树,并计算出它的权.38.下面给出的各符号串集合哪些是前缀码A1={0,10,110,1111} 是前缀码A2={1,01,001,000} 是前缀码A3={1,11,101,001,0011} 不是前缀码A4={b,c,aa,ac,aba,abb,abc} 是前缀码A5={ b,c,a,aa,ac,abc,abb,aba} 不是前缀码41.设7个字母在通信中出现的频率如下:a: 35% b: 20%c: 15% d: 10%e: 10% f: 5%g: 5%用Huffman算法求传输它们的前缀码.要求画出最优树,指出每个字母对应的编码.并指出传输10n n ≥2个按上述频率出现的字母,需要多少个二进制数字.解:a:01 b:10 c:000 d:110 e:001 f:1111 g:1110WT=54+54+103+103+153+202+352=255传输10n n≥2个按上述频率出现的字母,需要25510n-2个二进制数字.。
华东师范大学离散数学章炯民课后习题第3章答案
华东师范大学离散数学章炯民课后习题第3章答案第一篇:华东师范大学离散数学章炯民课后习题第3章答案1.下列语句哪些是命题?(1)2是正数吗?(2)x2+x+1=0。
(3)我要上学。
(4)明年2月1日下雨。
(5)如果股票涨了,那么我就赚钱。
解:(1)不是(2)不是(3)不是(4)是(5)是2.判断下列命题的真值:(1)若1+1=3,则2+2=4(2)若鸟会飞,则 1+1=3 解:(1)1(2)011.将下列两个命题符号化,并分别用真值表和等值演算的方法证明所得到的那两个命题公式是等值的。
(1)你不会休息所以就不会工作,你没有丰富的知识所以你就不会工作;(2)你会工作所以一定会休息并具有丰富的知识。
解:设p:你会休息,q:你会工作,r:你有丰富的知识。
原命题符号化为(1)(⌝p→⌝q)∧(⌝r→⌝q)(2)q→(p∧r)12.(1)用等值演算的方法证明命题恒等式p→(q→p)=⌝p→(p→⌝q)。
13.构造一个只含命题变量p、q和r的命题公式A,满足:p、q 和r的任意一个赋值是A的成真赋值当且仅当p、q和r中恰有两个为真。
解:(p∧q∧⌝r)∨(p∧⌝q∧r)∨(⌝p∧q∧r)14.通过等值演算求p→(p∧(q→p))的主析取范式和主合取范式。
解:主析取范式:(⌝p∧q)∨(⌝p∧⌝q)∨(p∧⌝q)∨(p∧q)主合取范式不存在15.一教师要从3名学生A、B和C中选派1~2人参加市级科技竞赛,需满足以下条件:(1)若A去,则C同去;(2)若B去,则C不能去;(3)若C不去,则A或B可以去。
问该如何选派?解:为此问题建立数学模型。
有三个方案:仅C去,仅B去,仅A和C去16.证明{⌝,→}是功能完备集。
17.(1)证明p→(q→s),q,p∨⌝r⇒r→s。
证明:① p∨⌝r前提引入② r附加前提引入③ p①②析取三段④ p→(q→s)前提引入⑤ q→s③④假言推理⑥ q前提引入⑦ s⑤⑥假言推理19.构造下列推理的形式证明:“今天下午没有出太阳并且今天比昨天冷。
离散数学第四版课后答案(第3章)
( A B C) ( A B) ((A B) ( A B)) (C ( A B))
= (C ( A B)) C ( A B). 易 见 , C (A B) C, 但 不 一 定 有 C (A B) C.如 令 A B C {1}.时,等式(4)不为真。类假地,等式(5)的左 边经化简后得 (A C) B ,而 (A C) B 不一定恒等于 A-C。 3.17 (1)不为真。(2),(3)和(4)都为真。对于题 (1)举反例如下:令 A {1}, A {1}, B {1,4},C {2}, D {2,3}, 则 A B 且 C B ,但 A C B D ,
这是 S T 的充公必要条件,从而结论为真. 对 于 假 命 题 都 可 以 找 到 反 例 , 如 题 (2) 中 令 S {1,2},T z{1}, M {2}即可;而对于题(5),只要 S 即可. 3.9 (2),(3)和(4)为真,其余为假. 3.10 (1) A {0,1,2}. (2) A {1,2,3,4,5} (3) A {1} (4) A { 0,0 , 0,1 1,0 , 0,2 , 1,1 , 2,0 , 0,3 ,
A B .
(4)易见,当 A=B 成立时,必有 A-B=B-A。反之,由 A-B=B-A 得
( A B) B (B A) B
化简后得 B A ,即 B A,同理,可证出 A B ,从而 得到 A=B。
3.18 由| P(B) | 64 可知|B|=6。又由| P(A B) | 256 知| A B | 8 , 代入包含排斥原理得
{,{1},{2},{1,2}}}.
(4) P( A) {,{{1}},{{1,2}},{{1}},{{1,2}} (5) P( A) {,{1},{1},{2},{1,1},{1,2}{1,2}{1,1,2}. 分析 在做集合运算前先要化简集合,然后再根据题目 要求进行计算.这里的化简指的是元素,谓词表示和集合公 式三种化简. 元素的化简——相同的元素只保留一个,去掉所有冗余 的元素。 谓词表示的化简——去掉冗余的谓词,这在前边的题解 中已经用到。 集合公工的化简——利用简单的集合公式代替相等的 复杂公式。这种化简常涉及到集合间包含或相等关系的判别。 例如,题(4)中的 A {{1,1},{2,1},{1,2,1}}化简后得 A {{1},{1,2}}, 而题(5)中的 A {x | x R x3 2x2 x 2 0} 化 简为 A {1,1,2}。 3.15
离散数学第三章习题详细答案
3.9解:符号化:p:a是奇数. q:a是偶数. r:a能被2整除前提:(p→¬r),(q→r)结论:(q→¬p)证明:确。
方法2(等值演算法)(p→¬r)∧(q→r) →(q→¬p)⇔(¬p∨¬r)∧(¬q∨r) →(¬q∨¬p)⇔(p∧r) ∨(q∧¬r) ∨¬q∨¬p⇔((p∧r) ∨¬p)∨((q∧¬r) ∨¬q)⇔(r∨¬p) ∨(¬r∨¬q)⇔¬p∨(r∨¬r) ∨¬q⇔1即证得该式为重言式,则原结论正确。
方法3(主析取范式法)(p→¬r)∧(q→r) →(q→¬p)⇔(¬p∨¬r)∧(¬q∨r) →(¬q∨¬p)⇔(p∧r) ∨(q∧¬r) ∨¬q∨¬p⇔m0+ m1+ m2+ m3+ m4+ m5+ m6+ m7可知该式为重言式,则结论推理正确。
3.10. 解:符号化:p:a是负数. q:b是负数. r:a、b之积为负前提: r→(p∧¬q) ∨(¬p∧q)结论:¬r→(¬p∧¬q)方法1(真值法)证明:不正确。
方法2(主析取范式法)证明:(r→(p∧¬q) ∨(¬p∧q)) →(¬r→(¬p∧¬q))⇔¬ (¬r∨(p∧¬q) ∨(¬p∧q)) ∨(r∨(¬p∧¬q))⇔r∨(¬p∧¬q)⇔m0+m2+m4+m6+m7只含5个极小项,课件原始不是重言式,因此推理不正确3.11.填充下面推理证明中没有写出的推理规则。
离散数学答案_1-5章
第一章部分课后习题参考答案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∧1⇔0.(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是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数 0r: 2是无理数 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所以公式类型为永真式等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(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∨r⇔1所以公式类型为永真式(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)⇔320m m m ∨∨⇔∑(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) ⇔ M 1⇔∏(1)(2) 主合取范式为:⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(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∧1⇔1所以该式为永真式.永真式的主合取范式为 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 ⑤⑥拒取式证明(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)在两个个体域中都解释为)xF∀,在(a)中为假命题,在(b)中为真命题。
离散数学_屈婉玲_耿素云_张立昂_主编_高等教育出版社_课后最全答案
第一章命题逻辑基本概念课后练习题答案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。
离散数学答案解析屈婉玲版第二版高等教育出版社课后答案解析
离散数学答案屈婉玲版第二版高等教育出版社课后答案第一章部分课后习题参考答案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∧1⇔0.(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是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 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∨r⇔1所以公式类型为永真式(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∧r⇔0所以该式为矛盾式.主合取范式为∏(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∧1⇔1所以该式为永真式.永真式的主合取范式为 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)在两个个体域中都解释为)(x xF ∀,在(a )中为假命题,在(b)中为真命题。
离散数学左孝凌第三章答案
离散数学左孝凌第三章答案【篇一:离散数学(左孝凌)课后习题解答】列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。
⑴中国有四大发明。
⑵计算机有空吗?⑶不存在最大素数。
⑷ 21+3<5。
⑸老王是山东人或河北人。
⑹ 2与3都是偶数。
⑺小李在宿舍里。
⑻这朵玫瑰花多美丽呀!⑼请勿随地吐痰!⑽圆的面积等于半径的平方乘以?。
⑾只有6是偶数,3才能是2的倍数。
⑿雪是黑色的当且仅当太阳从东方升起。
⒀如果天下大雨,他就乘班车上班。
解:⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题,其中⑴⑶⑽⑾是真命题,⑷⑹⑿是假命题,⑸⑺⒀的真值目前无法确定;⑵⑻⑼不是命题。
2. 将下列复合命题分成若干原子命题。
⑴李辛与李末是兄弟。
⑵因为天气冷,所以我穿了羽绒服。
⑶天正在下雨或湿度很高。
⑷刘英与李进上山。
⑸王强与刘威都学过法语。
⑹如果你不看电影,那么我也不看电影。
⑺我既不看电视也不外出,我在睡觉。
⑻除非天下大雨,否则他不乘班车上班。
解:⑴本命题为原子命题;⑵ p:天气冷;q:我穿羽绒服;⑶ p:天在下雨;q:湿度很高;⑷ p:刘英上山;q:李进上山;⑸ p:王强学过法语;q:刘威学过法语;⑹ p:你看电影;q:我看电影;⑺ p:我看电视;q:我外出;r:我睡觉;⑻ p:天下大雨;q:他乘班车上班。
3. 将下列命题符号化。
⑴他一面吃饭,一面听音乐。
⑵ 3是素数或2是素数。
⑶若地球上没有树木,则人类不能生存。
⑷ 8是偶数的充分必要条件是8能被3整除。
⑸停机的原因在于语法错误或程序错误。
⑹四边形abcd是平行四边形当且仅当它的对边平行。
⑺如果a和b是偶数,则a+b是偶数。
解:⑴ p:他吃饭;q:他听音乐;原命题符号化为:p∧q⑵ p:3是素数;q:2是素数;原命题符号化为:p∨q⑶ p:地球上有树木;q:人类能生存;原命题符号化为:?p→?q ⑸ p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p⑹ p:四边形abcd是平行四边形;q:四边形abcd的对边平行;原命题符号化为:p?q。
离散数学课后习题答案(第三章)
3-10.7设R1和R2是非空集合A上的等价关系,试确定下述各式,哪些是A上的等价关系,对不是的式子,提供反例证明。
a)(A×A)-R1;
b)R1-R2;
c)R12;
d) r(R1-R2)(即R1-R2的自反闭包)。
解a)(A×A)-R1不是A上等价关系。例如:
3-10.6设R是集合A上的对称和传递关系,证明如果对于A中的每一个元素a,在A中同时也存在b,使<a,b>在R之中,则R是一个等价关系。
证明:对任意a∈A,必存在一个b∈A,使得<a,b>∈R.
因为R是传递的和对称的,故有:
<a,b>∈R∧<b, c>∈R<a, c>∈R<c,a>∈R
由<a,c>∈R∧<c, a>∈R<a,a>∈R
若c<0,则a<0u<0au>0
所以(a+bi)R(u+vi),即R在C*上是传递的。
关系R的等价类,就是复数平面上第一、四象限上的点,或第二、三象限上的点,因为在这两种情况下,任意两个点(a,b),(c,d),其横坐标乘积ac>0。
3-10.9设Π和Π是非空集合A上的划分,并设R和R分别为由Π和Π诱导的等价关系,那么Π细分Π的充要条件是RR。
2设<x,y>∈A,<u,v>∈A,若
<<x,y>,<u,v>>∈R==<<u,v>,<x,y>>∈R
即R是对称的。
3设任意<x,y>∈A,<u,v>∈A,<w,s>∈A,对
<<x,y>,<u,v>>∈R∧<<u,v>,<w,s>>∈R
(=)∧(=)=
<<x,y>,<w,s>>∈R
故R是传递的,于是R是A上的等价关系。
因此,RkRj,于是I/Rk细分I/Rj
离散数学(屈婉玲)答案-1-5章
离散数学(屈婉玲)答案-1-5章第一章部分课后习题参考答案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∧1⇔0.(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是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 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所以公式类型为永真式//最后一列全为1(5)公式类型为可满足式(方法如上例)//最后一列至少有一个1(6)公式类型为永真式(方法如上例)//第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.主析取范式为∑(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 ⑤⑥拒取式证明(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)在两个个体域中都解释为)(x∀,在(a)中为假命题,在(b)中为真命xF题。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
所以(a+bi)R(u+vi),即R在C*上是传递的。
关系R的等价类,就是复数平面上第一、四象限上的点,或第二、三象限上的点,因为在这两种情况下,任意两个点(a,b),(c,d),其横坐标乘积ac>0。
3-10.9 设Π和Π是非空集合A上的划分,并设R和R分别为由Π和Π诱导的等价关系,那么Π细分Π的充要条件是RR。
<<x,y>, <u,v>>∈R∧<<u,v>, <w,s>>∈R
( = )∧( = ) =
<<x,y>, <w,s>>∈R
故R是传递的,于是R是A上的等价关系。
3-10.6 设R是集合A 上的对称和传递关系,证明如果对于A中的每一个元素a,在A中同时也存在b,使<a,b>在R之中,则R是一个等价关系。
设S=[a]R,则SS
这就证明了Π细分Π。
3-10.10 设Rj是表示I上的模j等价关系是j的整数倍。
证明:由题设Rj={<x,y>|x≡y(modj)}
Rk={<x,y>|x≡y(modk)}
故<x,y>∈Rjx-y=cj (对某个c∈I)
a)(A×A)-R1;
b)R1-R2;
c)R12;
d) r(R1-R2)(即R1-R2的自反闭包)。
解 a)(A×A)-R1不是A上等价关系。例如:
A={a,b},R1={<a,a>,<b,b>}
A×A={<a,a>,<a,b>,<b,a>,<b,b>}
(A×A)-R1={<a,b>,<b,a>}
所以(A×A)-R1不是A上等价关系。
证明 :对任意a∈A,必存在一个b∈A,使得<a,b>∈R.
因为R是传递的和对称的,故有:
<a,b>∈R∧<b, c>∈R<a, c>∈R<c,a>∈R
由<a,c>∈R∧<c, a>∈R<a,a>∈R
所以R在A上是自反的,即R是A上的等价关系。
3-10.7 设R1和R2是非空集合A上的等价关系,试确定下述各式,哪些是A上的等价关系,对不是的式子,提供反例证明。
<a,b>∈R1○R1∧<b, c>∈R1○R1
(e1)(<a, e1>∈R1∧<e1, b>∈R1) ∧(e2)(<b, e2>∈R1∧<e2, c>∈R1)
<a,b>∈R1∧<b, c>∈R1(∵R1传递)
<a,c>∈R12
即R12是传递的。
故R12是A上的等价关系。
d)如b)所设,R1和R2是A上的等价关系,但
因此,RkRj,于是I/Rk细分I/Rj
fjasasdhgaowirghaoghaa;owghfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhgaowirghaoghaa;owgfjasasdhga
证明:(1)对任意非零实数a,有a2>0(a+bi)R(a+bi)
故R在C*上是自反的。
(2) 对任意(a+bi)R(c+di)ac>0,
因ca=ac>0(c+di)R(a+bi),
所以R在C*上是对称的。
(3)设(a+bi)R(c+di) ,(c+di)R(u+vi),则有ac>0cu>0
若c>0,则a>0u>0au>0
b)设 A={a,b,c}
R1={<a,b>,<b,a>,<b,c>,<c,b>,<a,c>,<c,a>,<a,a>,<b,b>,<c,c>}
R2={<a,a>,<b,b>,<c,c>,<b,c>,<c,b>}
R1-R2={<a,b>,<b,a>,<a,c>,<c,a>}
所以R1和R2是A上等价关系,但R1-R2不是A上等价关系。
r(R1-R2)=(R1-R2)∪IA
={<a,b>, <b,a>, <a,c>,<c,a>,<a,a>,<b,b>, <c,c>}
不是A上的等价关系。
3-10.8 设C*是实数部分非零的全体复数组成的集合,C*上的关系R定义为:(a+bi)R(c+di)ac>0,证明R是等价关系,并给出关系R的等价类的几何说明。
证明:若Π细分Π。由假设aRb,则在Π中有某个块S,使得a,b∈S,因Π细分Π,故在Π中,必有某个块S,使SS,即a,b∈S,于是有aRb,即RR。
反之,若RR,令S为H的一个分块,且a∈S,则S=[a]R={x|xRa}
但对每一个x,若xRa,因RR,故xRa,因此{x|xRa}{x|xRa}即[a]R[a]R
<x,y>∈Rkx-y=dk (对某个d∈I)
a)假设I/Rk细分I/Rj,则RkRj
因此<k,0>∈Rk<k,0>∈Rj
故k-0=1k=cj (对某个c∈I)
于是k是j的整数倍。
b)若对于某个r∈I,有k=rj则:
<x,y>∈Rkx-y=ck (对某个c∈I)
x-y=crj (对某个c,r∈I)
<x,y>∈Rj
c)若R1是A上等价关系,则
<a,a>∈R1<a,a>∈R1○R1
所以R12是A上自反的。
若<a,b>∈R12则存在c,使得<a, c>∈R1∧<c,b>∈R1。因R1对称,故有
<b, c>∈R1∧<c,a>∈R1<b, a>∈R12
即R12是对称的。
若<a,b>∈R12∧<b, c>∈R12,则有
证明 :设A上定义的二元关系R为:
<<x,y>, <u,v>>∈R =
1对任意<x,y>∈A,因为 = ,所以
<<x,y>, <x,y>>∈R
即R是自反的。
2设<x,y>∈A,<u,v>∈A,若
<<x,y>, <u,v>>∈R = = <<u,v>,<x,y>>∈R
即R是对称的。
3设任意<x,y>∈A,<u,v>∈A,<w,s>∈A,对