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: 38

Answer

$For\,\,all\,\,sets\,\,A,\,B,\,and\,C,\\ A - (A \cap B) = A - B\\ proof:\\ A - (A \cap B) =A \cap (A \cap B)^c \\ (set\,\,dif\! ference\,\,law )\\ =A \cap (A^c \cup B^c) \\ (De\,morgan\,\,law )\\ = (A\cap A^c)\cup (A\cap B^c)\\ (distributive\,\,law )\\ =\varnothing \cup (A\cap B^c) \\ (complement\,\,law) \\ = (A\cap B^c) \cup \varnothing \\ (commutative\,\,law)\\ =A\cap B^c \\by(identity\,law\,for\,\cup )\\ =A-B \\(set\,\,dif\! ference\,\,law ) \\$

Work Step by Step

$For\,\,all\,\,sets\,\,A,\,B,\,and\,C,\\ A - (A \cap B) = A - B\\ proof:\\ A - (A \cap B) =A \cap (A \cap B)^c \\ (set\,\,dif\! ference\,\,law )\\ =A \cap (A^c \cup B^c) \\ (De\,morgan\,\,law )\\ = (A\cap A^c)\cup (A\cap B^c)\\ (distributive\,\,law )\\ =\varnothing \cup (A\cap B^c) \\ (complement\,\,law) \\ = (A\cap B^c) \cup \varnothing \\ (commutative\,\,law)\\ =A\cap B^c \\by(identity\,law\,for\,\cup )\\ =A-B \\(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.