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.3 - Page 373: 28

Answer

$a-\,\,by\,\,\,(set\,\,dif\! ference\,\,law )\\ b-\,\,by\,\,\,(set\,\,dif\! ference\,\,law )\\ c-\,\,by\,\,\,(commutative\,\,law\,\,for\,\,\cap) .\\ d-\,\,by\,\,\,(De\,morgan\,\,law )\\ e-\,\,by\,\,\,(double\,\,complement\,\,law)\\ f-\,\,by\,\,\,(distributive\,\,law)\\ g-\,\,by\,\,\,(set\,\,dif\! ference\,\,law )\\ $

Work Step by Step

$(A \cup B) - (C - A) = A \cup (B - C).\\ Proof:\,Suppose\,A,\,B,\,and\,C\,are\,any\,sets.\\ Then (A \cup B) - (C - A) = (A \cup B) \cap (C - A)^c\\ by (set\,\,dif\! ference\,\,law) \\ = (A \cup B) \cap (C \cap A^{c})^c \\by (set\,\,dif\! ference\,\,law) \\ = (A \cup B) \cap (A^{c} \cap C)^c \\by (commutative\,\,law\,\,for\,\,\cap )\\ = (A \cup B) \cap ((A^{c})^c \cup C^{c}) \\by (De\,morgan\,\,law) \\ = (A \cup B) \cap (A \cup C^{c}) \\by (double\,\,complement\,\,law)\\ = A \cup (B \cap C^{c})\\ by (distributive\,\,law )\\ = A \cup (B - C)\\ by (set\,\,dif\! ference\,\,law) \\ $
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.