Discrete Mathematics with Applications 4th Edition

Published by Cengage Learning
ISBN 10: 0-49539-132-8
ISBN 13: 978-0-49539-132-6

Chapter 6 - Set Theory - Exercise Set 6.2 - Page 366: 30

Answer

$For\,\,all\,\,sets\,\,A\,\,and\,\,B,\,\,if\,\,A\subseteq B\,\,then\,\,A\cap B^{c}=\varnothing \\ To\,\,prove\,\,that\,\,a\,\,set\,\,A\cap B^{c}\,\,is\,\,equal\,\,to\,\,the\,\,empty\,\,set\,\, \varnothing ,\\ prove\,\,that\,\,A\cap B^{c}\,\,has\,\,no\,\,elements. \\ To\,\, do\,\,this, suppose\,\,A\cap B^{c} \,\,has\,\,an\,element\,\,and\,\,derive\,\,a\,\,contradiction \\ x\in A\cap B^{c}\Rightarrow x\in A \,and\,x\in B^{c}(by\,\,def.\,\,of\,\,inter\! section) \\ and\,\,by\,\,def.\,\,of\,\,complement \Rightarrow x\in A \,and\,x\notin B \\ but\,A\subseteq B (\therefore if\,x\in A\,\,\Rightarrow x\in B ) \\ so\,\,x\in A \,and\,x\notin B\Rightarrow x\in B \,and\,x\notin B (this\,\,is\,\,a\,\,contradiction)\\ so\,\,A\cap B^{c}=\varnothing $

Work Step by Step

$For\,\,all\,\,sets\,\,A\,\,and\,\,B,\,\,if\,\,A\subseteq B\,\,then\,\,A\cap B^{c}=\varnothing \\ To\,\,prove\,\,that\,\,a\,\,set\,\,A\cap B^{c}\,\,is\,\,equal\,\,to\,\,the\,\,empty\,\,set\,\, \varnothing ,\\ prove\,\,that\,\,A\cap B^{c}\,\,has\,\,no\,\,elements. \\ To\,\, do\,\,this, suppose\,\,A\cap B^{c} \,\,has\,\,an\,element\,\,and\,\,derive\,\,a\,\,contradiction \\ x\in A\cap B^{c}\Rightarrow x\in A \,and\,x\in B^{c}(by\,\,def.\,\,of\,\,inter\! section) \\ and\,\,by\,\,def.\,\,of\,\,complement \Rightarrow x\in A \,and\,x\notin B \\ but\,A\subseteq B (\therefore if\,x\in A\,\,\Rightarrow x\in B ) \\ so\,\,x\in A \,and\,x\notin B\Rightarrow x\in B \,and\,x\notin B (this\,\,is\,\,a\,\,contradiction)\\ so\,\,A\cap B^{c}=\varnothing $
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.