离散数学作业答案完整版
02324离散数学(课后习题解答(详细)

离散数学~习题1.11.下列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。
⑴中国有四大发明。
⑵计算机有空吗?⑶不存在最大素数。
⑷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:8是偶数;q:8能被3整除;原命题符号化为:p↔q⑸p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p⑹p:四边形ABCD是平行四边形;q:四边形ABCD的对边平行;原命题符号化为:p↔q。
(完整版)离散数学答案(尹宝林版)第一章习题解答

(完整版)离散数学答案(尹宝林版)第一章习题解答第一章命题逻辑习题与解答⒈ 判断下列语句是否为命题,并讨论命题的真值。
⑴ 2x - 3 = 0。
⑵ 前进!⑶ 如果8 + 7 > 20,则三角形有四条边。
⑷ 请勿吸烟!⑸ 你喜欢鲁迅的作品吗?⑹ 如果太阳从西方升起,你就可以长生不老。
⑺ 如果太阳从东方升起,你就可以长生不老。
解⑶,⑹,⑺表达命题,其中⑶,⑹表达真命题,⑺表达假命题。
⒉ 将下列命题符号化:⑴ 逻辑不是枯燥无味的。
⑵ 我看见的既不是小张也不是老李。
⑶ 他生于1963年或1964年。
⑷ 只有不怕困难,才能战胜困难。
⑸ 只要上街,我就去书店。
⑹ 如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐。
⑺ 如果林芳在家里,那么他不是在做作业就是在看电视。
⑻ 三角形三条边相等是三个角相等的充分条件。
⑼ 我进城的必要条件是我有时间。
⑽ 他唱歌的充分必要条件是心情愉快。
⑾ 小王总是在图书馆看书,除非他病了或者图书馆不开门。
解⑴ p :逻辑是枯燥无味的。
“逻辑不是枯燥无味的”符号化为 ?p 。
⑵ p :我看见的是小张。
q :我看见的是老李。
“我看见的既不是小张也不是老李”符号化为q p ?∧?。
⑶ p :他生于1963年。
q :他生于1964年。
“他生于1963年或1964年”符号化为p ⊕ q 。
⑷ p :害怕困难。
q :战胜困难。
“只有不怕困难,才能战胜困难”符号化为q → ? p 。
⑸ p :我上街。
q :我去书店。
“只要上街,我就去书店”符号化为p → q 。
⑹ p :小杨晚上做完了作业。
q :小杨晚上没有其它事情。
r :小杨晚上看电视。
s :小杨晚上听音乐。
“如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐”符号化为s r q p ∨→∧。
⑺ p :林芳在家里。
q :林芳做作业。
r :林芳看电视。
“如果林芳在家里,那么他不是在做作业就是在看电视”符号化为r q p ∨→。
⑻ p :三角形三条边相等。
《离散数学》作业参考答案

7 (P→Q) (P→R) ( P Q) ( P 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 Q)) (( P P) Q) (P Q) (P Q) ( P Q) (P Q) (P Q) (P Q) ( P Q)(主析取范式) 2.Q→( P R) Q P R(主合取范式) (Q→( P R)) ( P Q R) ( P Q R) ( P Q R) ( P Q R) (P Q R)
E
(6)
(8)
E
前提
(9) E E
(7),(8)
8 、A→(C B),B→ A,D→ C A→ D.
证明:
(1) A
附加前提
(2) A→(C B) 前提
(3) C B
(1),(2)
(4) B→ A
前提
(5) B
(1),(4)
(6) C
(3),(5)
(7) D→ C
前提
(8) D
( P (Q Q)) (( P P) Q) ( P Q) ( P Q) ( P Q) (P Q) ( P Q) ( P Q) (P Q)(主析取范式) 4. (P→Q) (R P) ( P Q) (R P) (P Q) (R P)(析取范式) (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)) (P Q R) ( P Q R) ( P Q R) ( P Q R) ( P Q R)
离散数学大作业答案

一、简要回答下列问题:(每小题3分,共30分)1.请给出集合的结合率。
答:结合律(AUB)UC=AU(BUC)x∈(AUB)UC,即 x∈AUB 或 x∈C即 x∈A 或 x∈B 或 x∈C 即 x∈A 或 x∈B∪C即 x∈AU(BUC)说明 (AUB)UC包含于AU(BUC)同理可证AU(BUC)包含于(AUB)UC所以(AUB)UC=AU(BUC)2.请给出一个集合A,并给出A上既不具有自反性,又不具有反自反性的关系。
3.设A={1,2},问A上共有多少个不同的对称关系?答:不同的对称关系有:8种R = ΦR = {<1,1>}R = {<2,2>}R = {<1,1>,<2,2>}R = {<1,2>,<2,1>}R = {<1,1>,<1,2>,<2,1>}R = {<1,2>,<2,1>,<2,2>}R = {<1,1>,<1,2>,<2,1>,<2,2>}4.设A={1,2,3,4,5,6},R是A上的整除关系,M={2,3},求M的上界,下界。
5.关于P,Q,R请给出使极小项m0,m4为真的解释。
答:m0= ┐p∧┐q∧┐r m4= p∧┐q∧┐r6.什么是图中的简单路?请举一例。
答:图的通路中,所有边e1,e2,…,ek互不相同,称为简单通路。
7.什么是交换群,请举一例。
答:如果群〈G,*〉中的运算*是可以交换的,则称该群为可交换群,或称阿贝尔群。
如〈I,+〉是交换群。
8.什么是群中右模H合同关系?答:设G是群,H是G的子群,a,b∈G,若有h∈H,使得a =bh,则称a合同于b(右模H),记为a≡b(右mod H)。
9.什么是有壹环?请举一例。
答:幺元:如果A中的一个元素e,它既是左幺元又是右幺元,则称e为A中关于运算☆的幺元。
离散数学作业标准答案

离散数学作业一、选择题1、下列语句中哪个就是真命题(C )。
A.我正在说谎。
B.如果1+2=3,那么雪就是黑色的。
C.如果1+2=5,那么雪就是白色的。
D.严禁吸烟!2、设命题公式))((r q p p G →∧→=,则G 就是( C )。
A 、 恒假的B 、 恒真的C 、 可满足的D 、 析取范式 3、谓词公式),,(),,(z y x yG x z y x F ∃∀→中的变元x ( C )。
A.就是自由变元但不就是约束变元 B.既不就是自由变元又不就是约束变元 C.既就是自由变元又就是约束变元 D.就是约束变元但不就是自由变元4、设A={1,2,3},则下列关系R 不就是等价关系的就是(C ) A.R={<1,1>,<2,2>,<3,3>}B.R={<1,1>,<2,2>,<3,3>,<2,3>,<3,2>}C.R={<1,1>,<2,2>,<3,3>,<1,4>}D.R={<1,1>,<2,2>,<3,3>,<1,2>,<1,3>,<2,3>,<2,1>,<3,1>,<3,2>} 5、设R 为实数集,映射σ=R →R,σ(x)= -x 2+2x-1,则σ就是( D )。
A.单射而非满射B.满射而非单射C.双射D.既不就是单射,也不就是满射 6、下列二元运算在所给的集合上不封闭的就是( D ) A 、 S={2x-1|x ∈Z +},S 关于普通的乘法运算 B 、 S={0,1},S 关于普通的乘法运算 C 、 整数集合Z 与普通的减法运算D 、 S={x | x=2n ,n ∈Z +},S 关于普通的加法运算7、*运算如下表所示,哪个能使({a,b},*)成为含幺元半群( D )b b b a a a b a * a b b b a a b a *8( A )A B C D 9、下列各组数中,能构成无向图的度数列就是( D ) A.1,1,1,2,4 B.1,2,3,4,5 C.0,1,0,2,4 D.1,2,3,3,510、一棵树有2个4度顶点,3个3度顶点,其余都就是树叶,则该树中树叶的个数就是( B )A 、8B 、9C 、 10D 、 11 11、“所有的人都就是要死的。
(完整版)《离散数学》同步练习答案

华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题(1)设:p:派小王去开会。
q:派小李去开会.则命题:“派小王或小李中的一人去开会" 可符号化为:(p q) (p q)。
(2)设A,B都是命题公式,A B,则A B的真值是T。
(3)设:p:刘平聪明。
q:刘平用功。
在命题逻辑中,命题:“刘平不但不聪明,而且不用功”可符号化为:p q .(4)设A , B 代表任意的命题公式,则蕴涵等值式为A B A B。
(5)设,p:径一事;q:长一智。
在命题逻辑中,命题:“不径一事,不长一智。
" 可符号化为: p q 。
(6)设A , B 代表任意的命题公式,则德摩根律为(A B)Û A B)。
(7)设,p:选小王当班长;q:选小李当班长.则命题:“选小王或小李中的一人当班长。
”可符号化为: (p q)(p q) .(8)设,P:他聪明;Q:他用功。
在命题逻辑中,命题:“他既聪明又用功。
" 可符号化为:P Q .(9)对于命题公式A,B,当且仅当 A B 是重言式时,称“A蕴含B”,并记为A B。
(10)设:P:我们划船.Q:我们跑步.在命题逻辑中,命题:“我们不能既划船又跑步.”可符号化为:(P Q) 。
(11)设P,Q是命题公式,德·摩根律为:(P Q)P Q) 。
(12)设P:你努力.Q:你失败。
在命题逻辑中,命题:“除非你努力,否则你将失败。
”可符号化为:P Q .(13)设p:小王是100米赛跑冠军。
q:小王是400米赛跑冠军。
在命题逻辑中,命题:“小王是100米或400米赛跑冠军.”可符号化为:p q。
(14)设A,C为两个命题公式,当且仅当A C为一重言式时,称C可由A逻辑地推出。
二.判断题1.设A,B是命题公式,则蕴涵等值式为A B A B。
()2.命题公式p q r是析取范式。
( √ )3.陈述句“x + y > 5”是命题。
(完整版)离散数学题目及答案

数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。
C.2是偶数。
D.铅球是方的。
2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。
离散数学课后答案详细

第一章命题逻辑基本概念课后练习题答案4.将下列命题符号化,并指出真值:(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.5.将下列命题符号化,并指出真值:(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;6.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨;(2)(p∧┐q)∨(┐p∧q),其中,p:刘晓月选学英语,q:刘晓月选学日语;.7.因为p与q不能同时为真.13.设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.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整除。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学作业答案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。
本次形考书面作业是第一次作业,大家要认真及时地完成集合论部分的综合练习作业。
要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第11周末前完成并上交任课教师(不收电子稿)。
并在03任务界面下方点击“保存”和“交卷”按钮,完成并上交任课教师。
一、填空题1.设集合{1,2,3},{1,2}==,则P(A)-A BP(B )={{3},{1,3},{2,3},{1,2,3}},AB={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} .2.设集合A有10个元素,那么A的幂集合P(A)的元素个数为 1024 .3.设集合A={0, 1, 2, 3},B={2, 3, 4, 5},R是A到B的二元关系,则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>} .4.设集合A={1, 2, 3, 4 },B={6, 8, 12},A到B的二元关系R=}∈yx∈y<>={B,,x,2yAx那么R-1={<6,3>,<8,4>}5.设集合A={a, b, c, d},A上的二元关系R={<a, b>, <b, a>, <b, c>, <c, d>},则R具有的性质是没有任何性质.6.设集合A={a, b, c, d},A上的二元关系R={<a, a >, <b, b>, <b, c>,<c, d>},若在R中再增加两个元素{<c,b>,<d,c>} ,则新得到的关系就具有对称性.7.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有 2 个.8.设A={1, 2}上的二元关系为R={<x, y>|xA,yA, x+y =10},则R的自反闭包为 {<1,1>,<2,2>} .9.设R是集合A上的等价关系,且1 , 2 , 3是A中的元素,则R中至少包含<1,1>,<2,2>,<3,3> 等元素.10.设集合A={1, 2},B={a, b},那么集合A到B的双射函数是 {<1,a>,<2,b>}或{<1,b>,<2,a>} .二、判断说明题(判断下列各题,并说明理由.)1.若集合A = {1,2,3}上的二元关系R ={<1, 1>,<2, 2>,<1, 2>},则 (1) R 是自反的关系; (2) R 是对称的关系. 解:(1)错误。
R 不具有自反的关系,因为<3,3>不属于R 。
(2)错误。
R 不具有对称的关系,因为<2,1>不属于R 。
2.如果R 1和R 2是A 上的自反关系,判断结论:“R -11、R 1∪R 2、R 1∩R 2是自反的” 是否成立?并说明理由.解:成立。
因为R 1和 R 2是A 上的自反关系,即I A R 1,I A R 2。
由逆关系定义和I A R 1,得I A R 1-1; 由I A R 1,I A R 2,得I A R 1∪R 2,I A R 1R 2。
所以,R 1-1、R 1∪R 2、R 1R 2是自反的。
3.若偏序集<A ,R >的哈斯图如图一所示,则集合A 的最大元为a ,最小元不存在. 解:错误。
集合A 的最大元不存在,a 是极大元。
4.设集合A ={1, 2, 3, 4},B ={2, 4, 6, 8},,判断下列关系f 是否构成函数f :B A →,并说明理由.(1) f ={<1, 4>, <2, 2,>, <4, 6>, <1, 8>}; (2)f ={<1, 6>, <3, 4>, <2, 2>};(3) f ={<1, 8>, <2, 6>, <3, 4>, <4, 2,>}.解:(1)不构成函数。
因为对于3属于A ,在B 中没有元素与之对应。
(2)不构成函数。
因为对于4属于A ,在B 中没有元素与之对应。
(3)构成函数。
因为A 中任意一个元素都有A 中唯一的元素相对应。
三、计算题1.设}4,2{},5,2,1{},4,1{},5,4,3,2,1{====C B A E ,求: (1) (AB )~C ; (2) (AB )- (BA ) (3) P (A )-P (C ); (4) AB . 解:(1)(AB)~C={1}}5,3,1{}5,3,1{=(2)(AB )- (BA )={1,2,4,5}-{1}={2,4,5}(3)}}4,2{},4{},2{,{}}4,1{},4{},1{,{)()(φφ-=-C P A P }}4,1{},1{{= (4)AB =(AB)-(AB )=}5,4,2{}1{}5,4,2,1{=-2.设A ={{1},{2},1,2},B ={1,2,{1,2}},试计算 (1)(AB ); (2)(A ∩B ); (3)A ×B . 解:(1)AB ={{1},{2}}(2)A ∩B ={1,2}(3)A ×B={<{1},1>,<{1},2>,<{1},{1,2}>,<{2},1>,<{2},2>,<{2},{1,2}>,<1,1>,<1,2>,<1, {1,2}>,<2,1>,<2,2>,<2, {1,2}>}3.设A ={1,2,3,4,5},R ={<x ,y >|xA ,yA 且x +y 4},S ={<x ,y >|xA ,yA 且x +y <0},试求R ,S ,RS ,SR ,R -1,S -1,r (S ),s (R ). 解:R={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>}S=空集a b c d 图一 ge f hRS=空集SR=空集R-1={<1,1>,<2,1>,<3,1>,<1,2>,<2,2>,<1,3>}S-1 =空集r(S)={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}s(R)={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>}4.设A={1, 2, 3, 4, 5, 6, 7, 8},R是A上的整除关系,B={2, 4, 6}.(1) 写出关系R的表示式; (2 )画出关系R的哈斯图;(3) 求出集合B的最大元、最小元.解(1)R={<1,1>,<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,<1,7>,<1,8>,<2,2>,<2,4>,<2,6>,<2,8>,<3,3>,<3,6>,<4,4>,<4,8>,<5,5>,<6,6>,<7,7>,<8,8>}(3)集合B没有最大元,最小元是2四、证明题1.试证明集合等式:A (BC)=(AB) (AC).证明:设,若x∈A (BC),则x∈A或x∈BC,即 x∈A或x∈B 且 x∈A或x∈C.即x∈AB 且 x∈AC ,即 x∈T=(AB) (AC),所以A (BC) (AB) (AC).反之,若x∈(AB) (AC),则x∈AB 且 x∈AC,即x∈A或x∈B 且 x∈A或x∈C,即x∈A或x∈BC,即x∈A (BC),所以(AB) (AC) A (BC).因此.A (BC)=(AB) (AC).2.试证明集合等式A (BC)=(AB) (AC).证明:设S=A∩(B∪C),T=(A∩B)∪(A∩C),若x∈S,则x∈A且x∈B∪C,即x∈A且x∈B 或 x∈A且x∈C,也即x∈A∩B 或 x∈A∩C ,即 x∈T,所以ST.反之,若x∈T,则x∈A∩B 或 x∈A∩C,即x∈A且x∈B 或 x∈A且x∈C也即x∈A且x∈B∪C,即x∈S,所以TS.因此T=S.3.对任意三个集合A, B和C,试证明:若A⨯B = A⨯C,且A≠∅,则B = C.证明:(1)对于任意<a,b>∈A×B,其中a∈A,b∈B,因为A×B= A×C,必有<a,b>∈A×C,其中b ∈C因此BC(2)同理,对于任意<a,c>∈A×C,其中,a∈A,c∈C,因为A×B= A×C必有<a,c>∈A×B,其中c∈B,因此CB由(1)(2)得B=C4.试证明:若R与S是集合A上的自反关系,则R∩S也是集合A上的自反关系.证明:若R与S是集合A上的自反关系,则任意x∈A,<x,x>∈R,<x,x>∈S,从而<x,x>∈R∩S,注意x是A的任意元素,所以R∩S也是集合A上的自反关系.。