SlideShare a Scribd company logo
Homework Problem 2.2.24

February 20, 2014

I chose this problem to show you because it demonstrates a very good principle for writing
proofs and how we sometimes have to stop and think about what’s going on and what the
implications of our situation are.

2.2.24
Let A, B, C be subsets of some universal set U . Prove that
A(BC) = (AB) ∪ (AC c )
Note that this problem is asking us to prove that one thing is equal to another. That
means we have to prove this in two directions. The first is pretty straightforward, so let’s
look at that one.
First, unpack what you have. Do this before the proof as scratch work. This will help you
see what you have and what you want. You don’t need to include this in your proof.
First look at the left-hand side of what we are working with.
A(BC) means A ∩ (BC)c . This means A ∩ (B ∩ C c )c . Unpacking further, we get
A ∩ (B c ∩ C).
Now look at the right-hand side.
c
(AB) ∪ (AC c ) means (A ∩ B c ) ∪ (A ∩ C c ). Cancelling the double complements we get
(A ∩ B c ) ∪ (A ∩ C).
So we really want to prove that A ∩ (B c ∩ C) = (A ∩ B c ) ∪ (A ∩ C).
Proof. (⇒)
Let x ∈ A(BC) be true.
This means that x ∈ A ∩ (BC)c .
This also means that x ∈ A ∩ (B ∩ C c )c .
So x ∈ A ∩ (B c ∩ C).
1
So x ∈ A and x ∈ B c ∩ C .
So x ∈ A and x ∈ B c and x ∈ C.
So x ∈ A and x ∈ B.
/
So x ∈ A ∩ B c .
Also, x ∈ A and x ∈ C.
So x ∈ A ∩ C.
So x ∈ (A ∩ B c )orx ∈ (A ∩ C) is true. (note that we know it is in both. But we want
to show that it is in the union, which is an ”or” statement. This is one of those creative
steps in realizing what you want versus what you have.)
So x ∈ (A ∩ B c ) ∪ (A ∩ C), which is equivalent to (AB) ∪ (AC c ).
————————————————————————————————————This is the first direction. It only took a little bit of out of the box thinking to get where
we needed to go.
Now let’s prove the other direction and see what happens.
————————————————————————————————————–
Proof. (⇐) Let x ∈ (AB) ∪ (AC c ).
c
This means that x ∈ (A ∩ B c ) ∪ (A ∩ C c ).
Simplifying, this means that x ∈ (A ∩ B c ) ∪ (A ∩ C).
So x ∈ (A ∩ B c ) or x ∈ (A ∩ C).
Now we have two cases.
Case 1: Assume x ∈ A ∩ B c .
So x ∈ A and x ∈ B c .
x ∈ A ∩ Bc.
x ∈ A and x ∈ B c .
x ∈ A and x ∈ B.
x ∈ A and x ∈ B ∩ C c . (Think about why this is true and why we can just
add the C c here.)
x ∈ A and x ∈ BC.
x ∈ A and x ∈ (BC)c .
x ∈ A ∩ (BC)c .
x ∈ A(BC).
Case 2: Assume x ∈ A ∩ C.
So, x ∈ A and x ∈ C.
So, x ∈ A and x ∈ C c .
/
So, x ∈ A and x ∈ (C c ∩ B).
/
So, x ∈ A and x ∈ (B ∩ C c ).
/
So, x ∈ A and x ∈ (BC).
/

2
So, x ∈ A and x ∈ (BC)c .
So, x ∈ A ∩ (BC)c .
So, x ∈ A(BC).
Some things to notice:
1. How to structure a proof.
2. When you get stuck, think about what you want to get to and ask yourself how you
can bring things into your proof that will help you get there.
3. Pay attention to all situations. Most proofs will have more than one case to deal
with.
4. All proofs where you show that one thing is equal to another has two directions.

3

More Related Content

What's hot

Translations
TranslationsTranslations
Translations
bujols
 
Literal equations
Literal equationsLiteral equations
Literal equations
candicef
 
Ch 6 Ex 6.4
Ch 6 Ex 6.4Ch 6 Ex 6.4
Ch 6 Ex 6.4
Rashmi Taneja
 
3.1 2
3.1 23.1 2
3.1 2
kvillave
 
Geometric proportion and Laws of Proportion
Geometric proportion and Laws of ProportionGeometric proportion and Laws of Proportion
Geometric proportion and Laws of Proportion
Ma. Guadalupe Robles
 
Problems 2
Problems 2Problems 2
Problems 2
Marcela Carrillo
 

What's hot (6)

Translations
TranslationsTranslations
Translations
 
Literal equations
Literal equationsLiteral equations
Literal equations
 
Ch 6 Ex 6.4
Ch 6 Ex 6.4Ch 6 Ex 6.4
Ch 6 Ex 6.4
 
3.1 2
3.1 23.1 2
3.1 2
 
Geometric proportion and Laws of Proportion
Geometric proportion and Laws of ProportionGeometric proportion and Laws of Proportion
Geometric proportion and Laws of Proportion
 
Problems 2
Problems 2Problems 2
Problems 2
 

Similar to Homework 2 2-24

Proof writing tips
Proof writing tipsProof writing tips
Proof writing tips
Tyler Murphy
 
Set Operations
Set OperationsSet Operations
Set Operations
Bilal Amjad
 
Solution Strategies for Equations that Arise in Geometric (Cliff ord) Algebra
Solution Strategies for Equations that Arise in Geometric (Clifford) AlgebraSolution Strategies for Equations that Arise in Geometric (Clifford) Algebra
Solution Strategies for Equations that Arise in Geometric (Cliff ord) Algebra
James Smith
 
Math Assignment Help
Math Assignment HelpMath Assignment Help
Math Assignment Help
Math Homework Solver
 
2.7 Ordered pairs
2.7 Ordered pairs2.7 Ordered pairs
2.7 Ordered pairs
Jan Plaza
 
1169 dfd8297
1169  dfd82971169  dfd8297
1169 dfd8297
sushsky1
 
2 direct proportions
2 direct proportions2 direct proportions
2 direct proportions
frangargil
 
Chapter-4: More on Direct Proof and Proof by Contrapositive
Chapter-4: More on Direct Proof and Proof by ContrapositiveChapter-4: More on Direct Proof and Proof by Contrapositive
Chapter-4: More on Direct Proof and Proof by Contrapositive
nszakir
 
Discrete mathematics sol
Discrete mathematics solDiscrete mathematics sol
Discrete mathematics sol
muqaddasisrar
 
Section 0.7 Quadratic Equations from Precalculus Prerequisite.docx
Section 0.7 Quadratic Equations from Precalculus Prerequisite.docxSection 0.7 Quadratic Equations from Precalculus Prerequisite.docx
Section 0.7 Quadratic Equations from Precalculus Prerequisite.docx
bagotjesusa
 
Introduction to Real Analysis 4th Edition Bartle Solutions Manual
Introduction to Real Analysis 4th Edition Bartle Solutions ManualIntroduction to Real Analysis 4th Edition Bartle Solutions Manual
Introduction to Real Analysis 4th Edition Bartle Solutions Manual
DawsonVeronica
 
Discrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Discrete Mathematics and Its Applications 7th Edition Rose Solutions ManualDiscrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Discrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
TallulahTallulah
 
04 - Sets
04 - Sets04 - Sets
04 - Sets
Tudor Girba
 
6.5 determinant x
6.5 determinant x6.5 determinant x
6.5 determinant x
math260
 
ncert question 10
ncert question 10ncert question 10
ncert question 10
Manmeet Singh
 
AP Calculus Slides November 27, 2007
AP Calculus Slides November 27, 2007AP Calculus Slides November 27, 2007
AP Calculus Slides November 27, 2007
Darren Kuropatwa
 
Lesson 23
Lesson 23Lesson 23
Lesson 23
Avijit Kumar
 
AI Lesson 23
AI Lesson 23AI Lesson 23
AI Lesson 23
Assistant Professor
 
set identities and their examples outlined.pptx
set identities and their examples outlined.pptxset identities and their examples outlined.pptx
set identities and their examples outlined.pptx
ZenLooper
 
05 - Relations
05 - Relations05 - Relations
05 - Relations
Tudor Girba
 

Similar to Homework 2 2-24 (20)

Proof writing tips
Proof writing tipsProof writing tips
Proof writing tips
 
Set Operations
Set OperationsSet Operations
Set Operations
 
Solution Strategies for Equations that Arise in Geometric (Cliff ord) Algebra
Solution Strategies for Equations that Arise in Geometric (Clifford) AlgebraSolution Strategies for Equations that Arise in Geometric (Clifford) Algebra
Solution Strategies for Equations that Arise in Geometric (Cliff ord) Algebra
 
Math Assignment Help
Math Assignment HelpMath Assignment Help
Math Assignment Help
 
2.7 Ordered pairs
2.7 Ordered pairs2.7 Ordered pairs
2.7 Ordered pairs
 
1169 dfd8297
1169  dfd82971169  dfd8297
1169 dfd8297
 
2 direct proportions
2 direct proportions2 direct proportions
2 direct proportions
 
Chapter-4: More on Direct Proof and Proof by Contrapositive
Chapter-4: More on Direct Proof and Proof by ContrapositiveChapter-4: More on Direct Proof and Proof by Contrapositive
Chapter-4: More on Direct Proof and Proof by Contrapositive
 
Discrete mathematics sol
Discrete mathematics solDiscrete mathematics sol
Discrete mathematics sol
 
Section 0.7 Quadratic Equations from Precalculus Prerequisite.docx
Section 0.7 Quadratic Equations from Precalculus Prerequisite.docxSection 0.7 Quadratic Equations from Precalculus Prerequisite.docx
Section 0.7 Quadratic Equations from Precalculus Prerequisite.docx
 
Introduction to Real Analysis 4th Edition Bartle Solutions Manual
Introduction to Real Analysis 4th Edition Bartle Solutions ManualIntroduction to Real Analysis 4th Edition Bartle Solutions Manual
Introduction to Real Analysis 4th Edition Bartle Solutions Manual
 
Discrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Discrete Mathematics and Its Applications 7th Edition Rose Solutions ManualDiscrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Discrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
 
04 - Sets
04 - Sets04 - Sets
04 - Sets
 
6.5 determinant x
6.5 determinant x6.5 determinant x
6.5 determinant x
 
ncert question 10
ncert question 10ncert question 10
ncert question 10
 
AP Calculus Slides November 27, 2007
AP Calculus Slides November 27, 2007AP Calculus Slides November 27, 2007
AP Calculus Slides November 27, 2007
 
Lesson 23
Lesson 23Lesson 23
Lesson 23
 
AI Lesson 23
AI Lesson 23AI Lesson 23
AI Lesson 23
 
set identities and their examples outlined.pptx
set identities and their examples outlined.pptxset identities and their examples outlined.pptx
set identities and their examples outlined.pptx
 
05 - Relations
05 - Relations05 - Relations
05 - Relations
 

More from Tyler Murphy

Job application 2020
Job application 2020Job application 2020
Job application 2020
Tyler Murphy
 
The Table Method for Derivatives
The Table Method for DerivativesThe Table Method for Derivatives
The Table Method for Derivatives
Tyler Murphy
 
Math 170 notation
Math 170 notationMath 170 notation
Math 170 notation
Tyler Murphy
 
intro to Implicit differentiation
intro to Implicit differentiationintro to Implicit differentiation
intro to Implicit differentiation
Tyler Murphy
 
Tower of hanoi problem
Tower of hanoi problemTower of hanoi problem
Tower of hanoi problem
Tyler Murphy
 
Intro to derivatives
Intro to derivativesIntro to derivatives
Intro to derivatives
Tyler Murphy
 
One sided limits
One sided limitsOne sided limits
One sided limits
Tyler Murphy
 
Limits as x approaches infinity
Limits as x approaches infinityLimits as x approaches infinity
Limits as x approaches infinity
Tyler Murphy
 
Computing limits
Computing limitsComputing limits
Computing limits
Tyler Murphy
 
Introduction to limits
Introduction to limitsIntroduction to limits
Introduction to limits
Tyler Murphy
 
Solving a trig equation
Solving a trig equationSolving a trig equation
Solving a trig equation
Tyler Murphy
 
solving a trig problem and sketching a graph example problems
solving a trig problem and sketching a graph example problemssolving a trig problem and sketching a graph example problems
solving a trig problem and sketching a graph example problems
Tyler Murphy
 
Finding a polyomial from data
Finding a polyomial from dataFinding a polyomial from data
Finding a polyomial from data
Tyler Murphy
 
functions review
functions reviewfunctions review
functions review
Tyler Murphy
 
Jason format preferences m170
Jason format preferences m170Jason format preferences m170
Jason format preferences m170
Tyler Murphy
 
Final exam review
Final exam review Final exam review
Final exam review
Tyler Murphy
 
Inclusion exclusion principle
Inclusion exclusion principleInclusion exclusion principle
Inclusion exclusion principle
Tyler Murphy
 
Oral exam structure M189
Oral exam structure M189Oral exam structure M189
Oral exam structure M189
Tyler Murphy
 
Class mods
Class mods Class mods
Class mods
Tyler Murphy
 
Drop trow game rules
Drop trow game rules Drop trow game rules
Drop trow game rules
Tyler Murphy
 

More from Tyler Murphy (20)

Job application 2020
Job application 2020Job application 2020
Job application 2020
 
The Table Method for Derivatives
The Table Method for DerivativesThe Table Method for Derivatives
The Table Method for Derivatives
 
Math 170 notation
Math 170 notationMath 170 notation
Math 170 notation
 
intro to Implicit differentiation
intro to Implicit differentiationintro to Implicit differentiation
intro to Implicit differentiation
 
Tower of hanoi problem
Tower of hanoi problemTower of hanoi problem
Tower of hanoi problem
 
Intro to derivatives
Intro to derivativesIntro to derivatives
Intro to derivatives
 
One sided limits
One sided limitsOne sided limits
One sided limits
 
Limits as x approaches infinity
Limits as x approaches infinityLimits as x approaches infinity
Limits as x approaches infinity
 
Computing limits
Computing limitsComputing limits
Computing limits
 
Introduction to limits
Introduction to limitsIntroduction to limits
Introduction to limits
 
Solving a trig equation
Solving a trig equationSolving a trig equation
Solving a trig equation
 
solving a trig problem and sketching a graph example problems
solving a trig problem and sketching a graph example problemssolving a trig problem and sketching a graph example problems
solving a trig problem and sketching a graph example problems
 
Finding a polyomial from data
Finding a polyomial from dataFinding a polyomial from data
Finding a polyomial from data
 
functions review
functions reviewfunctions review
functions review
 
Jason format preferences m170
Jason format preferences m170Jason format preferences m170
Jason format preferences m170
 
Final exam review
Final exam review Final exam review
Final exam review
 
Inclusion exclusion principle
Inclusion exclusion principleInclusion exclusion principle
Inclusion exclusion principle
 
Oral exam structure M189
Oral exam structure M189Oral exam structure M189
Oral exam structure M189
 
Class mods
Class mods Class mods
Class mods
 
Drop trow game rules
Drop trow game rules Drop trow game rules
Drop trow game rules
 

Recently uploaded

The History of Stoke Newington Street Names
The History of Stoke Newington Street NamesThe History of Stoke Newington Street Names
The History of Stoke Newington Street Names
History of Stoke Newington
 
A Independência da América Espanhola LAPBOOK.pdf
A Independência da América Espanhola LAPBOOK.pdfA Independência da América Espanhola LAPBOOK.pdf
A Independência da América Espanhola LAPBOOK.pdf
Jean Carlos Nunes Paixão
 
Walmart Business+ and Spark Good for Nonprofits.pdf
Walmart Business+ and Spark Good for Nonprofits.pdfWalmart Business+ and Spark Good for Nonprofits.pdf
Walmart Business+ and Spark Good for Nonprofits.pdf
TechSoup
 
Benner "Expanding Pathways to Publishing Careers"
Benner "Expanding Pathways to Publishing Careers"Benner "Expanding Pathways to Publishing Careers"
Benner "Expanding Pathways to Publishing Careers"
National Information Standards Organization (NISO)
 
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) CurriculumPhilippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
MJDuyan
 
Wound healing PPT
Wound healing PPTWound healing PPT
Wound healing PPT
Jyoti Chand
 
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptxRESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
zuzanka
 
مصحف القراءات العشر أعد أحرف الخلاف سمير بسيوني.pdf
مصحف القراءات العشر   أعد أحرف الخلاف سمير بسيوني.pdfمصحف القراءات العشر   أعد أحرف الخلاف سمير بسيوني.pdf
مصحف القراءات العشر أعد أحرف الخلاف سمير بسيوني.pdf
سمير بسيوني
 
Electric Fetus - Record Store Scavenger Hunt
Electric Fetus - Record Store Scavenger HuntElectric Fetus - Record Store Scavenger Hunt
Electric Fetus - Record Store Scavenger Hunt
RamseyBerglund
 
Jemison, MacLaughlin, and Majumder "Broadening Pathways for Editors and Authors"
Jemison, MacLaughlin, and Majumder "Broadening Pathways for Editors and Authors"Jemison, MacLaughlin, and Majumder "Broadening Pathways for Editors and Authors"
Jemison, MacLaughlin, and Majumder "Broadening Pathways for Editors and Authors"
National Information Standards Organization (NISO)
 
Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...
PsychoTech Services
 
Level 3 NCEA - NZ: A Nation In the Making 1872 - 1900 SML.ppt
Level 3 NCEA - NZ: A  Nation In the Making 1872 - 1900 SML.pptLevel 3 NCEA - NZ: A  Nation In the Making 1872 - 1900 SML.ppt
Level 3 NCEA - NZ: A Nation In the Making 1872 - 1900 SML.ppt
Henry Hollis
 
Bonku-Babus-Friend by Sathyajith Ray (9)
Bonku-Babus-Friend by Sathyajith Ray  (9)Bonku-Babus-Friend by Sathyajith Ray  (9)
Bonku-Babus-Friend by Sathyajith Ray (9)
nitinpv4ai
 
math operations ued in python and all used
math operations ued in python and all usedmath operations ued in python and all used
math operations ued in python and all used
ssuser13ffe4
 
SWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptxSWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptx
zuzanka
 
Lifelines of National Economy chapter for Class 10 STUDY MATERIAL PDF
Lifelines of National Economy chapter for Class 10 STUDY MATERIAL PDFLifelines of National Economy chapter for Class 10 STUDY MATERIAL PDF
Lifelines of National Economy chapter for Class 10 STUDY MATERIAL PDF
Vivekanand Anglo Vedic Academy
 
BBR 2024 Summer Sessions Interview Training
BBR  2024 Summer Sessions Interview TrainingBBR  2024 Summer Sessions Interview Training
BBR 2024 Summer Sessions Interview Training
Katrina Pritchard
 
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
Nguyen Thanh Tu Collection
 
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptxC1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
mulvey2
 
Traditional Musical Instruments of Arunachal Pradesh and Uttar Pradesh - RAYH...
Traditional Musical Instruments of Arunachal Pradesh and Uttar Pradesh - RAYH...Traditional Musical Instruments of Arunachal Pradesh and Uttar Pradesh - RAYH...
Traditional Musical Instruments of Arunachal Pradesh and Uttar Pradesh - RAYH...
imrankhan141184
 

Recently uploaded (20)

The History of Stoke Newington Street Names
The History of Stoke Newington Street NamesThe History of Stoke Newington Street Names
The History of Stoke Newington Street Names
 
A Independência da América Espanhola LAPBOOK.pdf
A Independência da América Espanhola LAPBOOK.pdfA Independência da América Espanhola LAPBOOK.pdf
A Independência da América Espanhola LAPBOOK.pdf
 
Walmart Business+ and Spark Good for Nonprofits.pdf
Walmart Business+ and Spark Good for Nonprofits.pdfWalmart Business+ and Spark Good for Nonprofits.pdf
Walmart Business+ and Spark Good for Nonprofits.pdf
 
Benner "Expanding Pathways to Publishing Careers"
Benner "Expanding Pathways to Publishing Careers"Benner "Expanding Pathways to Publishing Careers"
Benner "Expanding Pathways to Publishing Careers"
 
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) CurriculumPhilippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
 
Wound healing PPT
Wound healing PPTWound healing PPT
Wound healing PPT
 
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptxRESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
 
مصحف القراءات العشر أعد أحرف الخلاف سمير بسيوني.pdf
مصحف القراءات العشر   أعد أحرف الخلاف سمير بسيوني.pdfمصحف القراءات العشر   أعد أحرف الخلاف سمير بسيوني.pdf
مصحف القراءات العشر أعد أحرف الخلاف سمير بسيوني.pdf
 
Electric Fetus - Record Store Scavenger Hunt
Electric Fetus - Record Store Scavenger HuntElectric Fetus - Record Store Scavenger Hunt
Electric Fetus - Record Store Scavenger Hunt
 
Jemison, MacLaughlin, and Majumder "Broadening Pathways for Editors and Authors"
Jemison, MacLaughlin, and Majumder "Broadening Pathways for Editors and Authors"Jemison, MacLaughlin, and Majumder "Broadening Pathways for Editors and Authors"
Jemison, MacLaughlin, and Majumder "Broadening Pathways for Editors and Authors"
 
Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...
 
Level 3 NCEA - NZ: A Nation In the Making 1872 - 1900 SML.ppt
Level 3 NCEA - NZ: A  Nation In the Making 1872 - 1900 SML.pptLevel 3 NCEA - NZ: A  Nation In the Making 1872 - 1900 SML.ppt
Level 3 NCEA - NZ: A Nation In the Making 1872 - 1900 SML.ppt
 
Bonku-Babus-Friend by Sathyajith Ray (9)
Bonku-Babus-Friend by Sathyajith Ray  (9)Bonku-Babus-Friend by Sathyajith Ray  (9)
Bonku-Babus-Friend by Sathyajith Ray (9)
 
math operations ued in python and all used
math operations ued in python and all usedmath operations ued in python and all used
math operations ued in python and all used
 
SWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptxSWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptx
 
Lifelines of National Economy chapter for Class 10 STUDY MATERIAL PDF
Lifelines of National Economy chapter for Class 10 STUDY MATERIAL PDFLifelines of National Economy chapter for Class 10 STUDY MATERIAL PDF
Lifelines of National Economy chapter for Class 10 STUDY MATERIAL PDF
 
BBR 2024 Summer Sessions Interview Training
BBR  2024 Summer Sessions Interview TrainingBBR  2024 Summer Sessions Interview Training
BBR 2024 Summer Sessions Interview Training
 
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
BÀI TẬP BỔ TRỢ TIẾNG ANH 8 CẢ NĂM - GLOBAL SUCCESS - NĂM HỌC 2023-2024 (CÓ FI...
 
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptxC1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
C1 Rubenstein AP HuG xxxxxxxxxxxxxx.pptx
 
Traditional Musical Instruments of Arunachal Pradesh and Uttar Pradesh - RAYH...
Traditional Musical Instruments of Arunachal Pradesh and Uttar Pradesh - RAYH...Traditional Musical Instruments of Arunachal Pradesh and Uttar Pradesh - RAYH...
Traditional Musical Instruments of Arunachal Pradesh and Uttar Pradesh - RAYH...
 

Homework 2 2-24

  • 1. Homework Problem 2.2.24 February 20, 2014 I chose this problem to show you because it demonstrates a very good principle for writing proofs and how we sometimes have to stop and think about what’s going on and what the implications of our situation are. 2.2.24 Let A, B, C be subsets of some universal set U . Prove that A(BC) = (AB) ∪ (AC c ) Note that this problem is asking us to prove that one thing is equal to another. That means we have to prove this in two directions. The first is pretty straightforward, so let’s look at that one. First, unpack what you have. Do this before the proof as scratch work. This will help you see what you have and what you want. You don’t need to include this in your proof. First look at the left-hand side of what we are working with. A(BC) means A ∩ (BC)c . This means A ∩ (B ∩ C c )c . Unpacking further, we get A ∩ (B c ∩ C). Now look at the right-hand side. c (AB) ∪ (AC c ) means (A ∩ B c ) ∪ (A ∩ C c ). Cancelling the double complements we get (A ∩ B c ) ∪ (A ∩ C). So we really want to prove that A ∩ (B c ∩ C) = (A ∩ B c ) ∪ (A ∩ C). Proof. (⇒) Let x ∈ A(BC) be true. This means that x ∈ A ∩ (BC)c . This also means that x ∈ A ∩ (B ∩ C c )c . So x ∈ A ∩ (B c ∩ C). 1
  • 2. So x ∈ A and x ∈ B c ∩ C . So x ∈ A and x ∈ B c and x ∈ C. So x ∈ A and x ∈ B. / So x ∈ A ∩ B c . Also, x ∈ A and x ∈ C. So x ∈ A ∩ C. So x ∈ (A ∩ B c )orx ∈ (A ∩ C) is true. (note that we know it is in both. But we want to show that it is in the union, which is an ”or” statement. This is one of those creative steps in realizing what you want versus what you have.) So x ∈ (A ∩ B c ) ∪ (A ∩ C), which is equivalent to (AB) ∪ (AC c ). ————————————————————————————————————This is the first direction. It only took a little bit of out of the box thinking to get where we needed to go. Now let’s prove the other direction and see what happens. ————————————————————————————————————– Proof. (⇐) Let x ∈ (AB) ∪ (AC c ). c This means that x ∈ (A ∩ B c ) ∪ (A ∩ C c ). Simplifying, this means that x ∈ (A ∩ B c ) ∪ (A ∩ C). So x ∈ (A ∩ B c ) or x ∈ (A ∩ C). Now we have two cases. Case 1: Assume x ∈ A ∩ B c . So x ∈ A and x ∈ B c . x ∈ A ∩ Bc. x ∈ A and x ∈ B c . x ∈ A and x ∈ B. x ∈ A and x ∈ B ∩ C c . (Think about why this is true and why we can just add the C c here.) x ∈ A and x ∈ BC. x ∈ A and x ∈ (BC)c . x ∈ A ∩ (BC)c . x ∈ A(BC). Case 2: Assume x ∈ A ∩ C. So, x ∈ A and x ∈ C. So, x ∈ A and x ∈ C c . / So, x ∈ A and x ∈ (C c ∩ B). / So, x ∈ A and x ∈ (B ∩ C c ). / So, x ∈ A and x ∈ (BC). / 2
  • 3. So, x ∈ A and x ∈ (BC)c . So, x ∈ A ∩ (BC)c . So, x ∈ A(BC). Some things to notice: 1. How to structure a proof. 2. When you get stuck, think about what you want to get to and ask yourself how you can bring things into your proof that will help you get there. 3. Pay attention to all situations. Most proofs will have more than one case to deal with. 4. All proofs where you show that one thing is equal to another has two directions. 3