离散数学课后习题答案(第三章)

合集下载

离散数学概论习题答案第3章

离散数学概论习题答案第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以上给出的集合实例都是有限集合。

当集合是无限集合时,无法列出集合的所有元素,可先列出一部分元素,若剩余元素与已给出元素存在一定规律,那剩余元素的一般形式很明显可用省略号表示。

离散数学课后答案(第1-2-4章)武汉大学出版社

离散数学课后答案(第1-2-4章)武汉大学出版社

离散数学课后答案(第1-2-4章)武汉大学出版社习题1.11、(1)否(2)否(3)是,真值为0(4)否(5)是,真值为12、(1)P:天下雨Q:我去教室┐P →Q(2)P:你去教室Q:我去图书馆P →Q (3)P,Q同(2)Q →P(4)P:2是质数Q:2是偶数P∧Q3、(1)0(2)0(3)14、(1)如果明天是晴天,那么我去教室或图书馆。

(2)如果我去教室,那么明天不是晴天,我也不去图书馆。

(3)明天是晴天,并且我不去教室,当且仅当我去图书馆。

习题1.21、(1)是(2)是(3)否(4)是(5)是(6)否2、(1)(P →Q) →R,P →Q,R,P,Q (2)(┐P∨Q) ∨(R∧P),┐P ∨Q,R∧P,┐P,Q,R,P(3)((P →Q) ∧(Q →P)) ∨┐(P →Q)),(P →Q) ∧(Q →P),┐(P →Q),P →Q,(Q →P),P →Q,P,Q,Q,P,P,Q3、(1)((P →Q) →(Q →P)) →(P →Q) (2)((P →Q) ∨((P →Q) →R))→((P →Q) ∧((P →Q) →R))(3)(Q →P∧┐P) →(P∧┐P →Q)4、(P →Q) ∨((P∧Q) ∨(┐P∧┐Q)) ∧(┐P∨Q)习题1.31、(1)I(P∨(Q∧R)) = I(P)∨(I(Q)∧I(R)) = 1∨(1∧0) = 1(2)I((P∧Q∧R)∨(┐(P∨Q)∧┐(R∨S))) = (1∧1∧0)∨(┐(1∨1)∧┐(0∨1)) = 0∨(0∧0) = 0 (3)I((P←→R)∧(┐Q→S)) = (1←→0)∧(┐1→1) = 0∧1 = 0(4)I((P∨(Q→R∧┐P))←→(Q∨┐S)) = (1∨(1→(0∧┐1)))←→(1∨┐1) = 1←→1 = 1(5)I(┐(P∧Q)∨┐R∨((Q←→┐P)→R∨┐S)) = ┐(1∧1)∨┐0∨((1←→┐1)→(0∨┐1)) = 0∨1∨1 = 12、(1)P Q P→Q Q∧(P→Q) Q∧(P→Q)→P0 0 1 0 10 1 1 1 01 0 0 0 11 1 1 1 1(2)P Q R Q∧R ┐(P∨(Q∧R)) P∨Q P∨R(2)原式<=> ┐T∨(┐(┐P∨Q)∨(┐┐Q∨┐P)) <=> (P∧┐Q)∨(Q∨┐P)<=> (P∧┐Q)∨┐(P∧┐Q) <=> T 原式为永真式(3)原式<=> ┐(P∧Q) ←→┐(P∧Q) <=> T 原式为永真式(4)原式<=> P∧(Q∨R) ←→P∧(Q∨R) <=> T 原式为永真式(5)原式<=> ┐(P∨┐Q)∨Q <=> (┐P∧Q)∨Q <=> Q 原式为可满足式(6)原式<=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> T 原式为永真式(7)原式<=> (┐P∨P∨Q)∧┐P <=> (T∨Q)∧┐P<=> T∧┐P <=> ┐P 原式为可满足式(8)原式<=> ┐((P∨Q) ∧(┐Q∨R))∨(┐P ∨R) <=> (P∧┐Q)∨(Q∧┐R)∨(┐P∨R)<=> ((P∧┐Q)∨┐P)∨((Q∧┐R)∨R)<=>(( P∨┐P)∧(┐Q∨┐P))∨(( Q∨R)∧(┐R ∨R))<=> (┐Q∧┐P)∨( Q∨R) <=> T 原式为永真式4、(1)左<=> ┐P∨┐Q∨P <=> ┐┐P∨(┐P ∨┐Q) <=> 右(2)左<=> ┐(┐P∨Q) <=> 右(3)左<=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> 右(4)左<=> ┐(P→Q)∨┐(Q→P) <=> (P∧┐Q)∨(Q∧┐P) <=> 中<=> ((P∧┐Q)∨Q)∧((P∧┐Q)∨┐P)<=> (P∨Q)∧(┐Q∨Q)∧(P∨┐P)∧(┐Q∨┐P)<=> (P∨Q)∧┐(P∧Q) <=> 右(5)左( P Q) ( R Q) (P Q) Q 右5.(1)左Q P Q 右(2)(P (Q R)) ((P Q) (P R))( P Q R) ( P Q) ( P R)(P Q R) (P Q) P R(P Q R) ((P P) ( Q P)) R(P Q R) ( Q P R)(P Q R) (P Q R)T故P (Q R) (P Q) (P R)(3).(P Q) (P P Q)( P Q) P (P Q)( P Q) ( P P) ( P Q)( P Q) ( P Q)T故P Q P P Q(4).((P Q) Q) P Q( ( P Q) Q) P Q(( P Q) Q) P Q( P Q) (Q Q) P Q(P Q) (P Q)T故(P Q) Q P Q(5).((P P) Q) ((P P) R) (Q R) (( T Q) ( T R)) Q R(Q R) Q RQ R Q RQ TT故((P P) Q) ((P P) R) Q R(6)左(Q F) (R F)( Q F) ( R F)Q RRR Q 右6.(1)原式( P Q R)(2)原式P Q P (P Q P)(3)原式P (Q R P) P Q R ( P Q R)7.(1)原式( P Q P)(2)原式( P Q R) P Q ( ( P Q R) P Q)(3)原式P Q (R P) (P Q (R P))8. (1) (P Q) (( P ( P Q)) R) P(2)(P Q R) ( P R)(3)(P F) (Q T)习题1.41.(1)原式( P Q) (( P Q) (Q P))( P Q) (Q P)(P Q) Q PQ P,既是析取范式又是合取范式(2)原式(( P Q) ( P Q)) ( ( P Q) ( P Q))(P Q) (P Q) 析取范式P (Q Q)合取范式(3)原式P Q S ( P Q)析取范式( P ( P Q)) Q SP Q S合取范式(4)原式P P Q Q R既是析取范式又是合取范式2.(1)原式P Q R为真的解释是:000,001,011,100,101,110,111故原式的主析取范式为:( P Q R) ( P Q R) ( P Q R) (P Q R) (P QR) (P Q R) (P Q R)(2)原式(P Q) R(P Q (R R)) ((P P) R)(P Q R) (P Q R) (P Q) ( P R)(P Q R) (P Q R) (P (Q Q) 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)为真的解释是101,100,111,011,001(3)原式( P (Q R)) (P ( Q R))(( P (Q R)) P) (( P (Q R)) ( Q R))( P P) (Q P R) ( P Q R) (Q R Q R)(P Q R) ( P Q R)为真的解释是:000,111(4)原式P P Q Q R P Q R为真的解释是:001,010,011,100,101,110,111故原式的主析取范式为:( P Q R) ( P Q R) ( P Q R) (P Q R) (P QR) (P Q R) (P Q R)3.(1)原式P Q P Q T主合取范式,无为假的解释。

(完整版)离散数学课后习题答案(第三章)

(完整版)离散数学课后习题答案(第三章)

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章答案

习题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 式则是正确的。

华东师范大学离散数学章炯民课后习题第3章答案

华东师范大学离散数学章炯民课后习题第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章)

离散数学第四版课后答案(第3章)
但对于等式(4),左边经变形后得
( 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.填充下面推理证明中没有写出的推理规则。

离散数学第3-5章习题答案

离散数学第3-5章习题答案

第三章1、用枚举法写出下列集合。

①英语句子“I am a student”中的英文字母;解:{I,a,m,s,t,u,d,e,n}②大于5小于13的所有偶数;解:{6,,8,10,12}③20的所有因数;解:{1,2,4,5,10,20}④小于20的6的正倍数。

解:{6,12,18}2、用描述法写出下列集合。

①全体奇数;解:S={x|x是奇数}②所有实数集上一元二次方程的解组成的集合;解:S={x|x是实数集上一元二次方程的解}③二进制数;解:S={x|x是二进制数}④能被5整除的整数集合。

解:S={x|x是能被5整除的整数}3、求下列集合的基数。

①“proper set”中的英文字母;解:S={p,r,o,e,s,t}所以 cardS=|S|=6②{{1,2},{2,1,1},{2,1,2,1}};解: cardS=|S|=3③{x|x=2或x=3或x=4或x=5};解:cardS=|S|=4④{{1,{2,3}}}。

解:cardS=|S|=14、求下列集合的幂集。

①“power set”中的英文字母;解:S={p,o,w,e,r,s,t}(S)是所有S的子集构成的集合,这里不一一列举了。

②{3,6,9};解:℘(S)={Φ ,{3},{6},{9},{3,6},{3,9},{6,9},{3,6,9}} ③小于20的5的正倍数;解:S={5,10,15} ℘(S)={Φ,{5},{10},{15},{5,10},{5,15},{10,15},{5,10,15}} ④{{1,3}}。

解:℘(S)={Φ,{1,3}}5、设Φ=A ,B=a ,求P(A) ,P(P(A)) ,P(P(P(A))) ,P(B) ,P(P(B)) ,P(P(P(B)))。

解:P(A)={Φ};P(P(A))={Φ,{Φ}};P(P(P(A)))={Φ,{Φ},{{Φ}},{Φ,{Φ}}}P(B)={Φ,a };P(P(B))={Φ,{Φ},{a},{Φ,a}};P(P(P(B)))={Φ,{Φ},{{Φ}},{{a}},{{Φ,a}},{Φ,{Φ}},{Φ,{a}},{Φ,{Φ,a}},{{Φ},{a}},{{Φ},{Φ,a}},{{a},{Φ,a}},{Φ,{Φ},{a}},{Φ,{Φ},{Φ,a}},{Φ,{a},{Φ,a}},{{Φ},{a},{Φ,a}},{{Φ,{Φ},{a},{Φ,a}}}.6、如果集合A 和B 分别满足下列条件,能得出A 和B 之间有什么联系? ①A ∪B=A ; ②A ∩B=A ; ③A -B=A ; ④A ∩B=A -B ; ⑤A -B=B -A ; ⑥A B A =⊕。

离散数学答案_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) ⌝(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)中为真命题。

离散数学答案 屈婉玲版 第二版 高等教育出版社课后答案,DOC

离散数学答案 屈婉玲版 第二版 高等教育出版社课后答案,DOC

离散数学答案屈婉玲版第二版高等教育出版社课后答案第一章部分课后习题参考答案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)(⌝(4)(176能被2q:3r:2s:619(4)(p(5)(p(6)((p答:(pqp→q⌝0011111011011110010011110011所以公式类型为永真式(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 qrp∨qp∧r(p∨q)→(p∧r)0000010010014.(2)(p→(4)(p∧证明(2(45.(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⇔1∧(p⇔(p∨⇔∏(2)⌝(p→q)⇔(p∧(3)⇔⌝⇔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②t③q④s⑤q⑥(⑦(⑧q⑨q⑩p15在自然推理系统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③﹁④¬⑤¬⑥r⑦r⑧r3.:(1)均有2=(x+)(x).(2)其中(a)(b)解:F(x):2=(x+)(x).G(x):x+5=9.(1)在两个个体域中都解释为)(x∀,在(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。

离散数学左孝凌第三章答案

离散数学左孝凌第三章答案

离散数学左孝凌第三章答案【篇一:离散数学(左孝凌)课后习题解答】列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。

⑴中国有四大发明。

⑵计算机有空吗?⑶不存在最大素数。

⑷ 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。

离散数学课后习题答案(第三章)

离散数学课后习题答案(第三章)
所以R在A上是自反的,即R是A上的等价关系。
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. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
<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上的等价关系,但
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上等价关系。
证明:(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
证明 :设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,对
因此,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;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;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;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;owgfjasasdhgaowirg
相关文档
最新文档