SlideShare a Scribd company logo
1 of 2
Download to read offline
Kunyu (Quinn) He CAPP’20
1
Direct Proof and Proof by Contradiction in Probability
TA Kunyu (Quinn) He
Harris School of Public Policy
CAPP’20
Direct proof is a way of showing the truth or falsehood of a given statement by a
straightforward combination of established facts, without making further assumptions.
(Direct proof. In Wikipedia. Retrieved Oct. 4, 2018, from https://en.wikipedia.org/wiki/Direct_proof)
Proof by contradiction is a form of proof. It starts by assuming that the opposite
proposition is true, and then shows that such an assumption leads to a contradiction.
(Proof by contradiction. In Wikipedia. Retrieved Oct. 4, 2018, from https://en.wikipedia.org/wiki/Proof_by_contradiction)
To prove P (√2 is irrational):
1. Assume that P is false;
2. Then, ¬P is true (√2 is rational);
3. If we can derive P from ¬P; or…
If ¬P implies two mutually contradictory assertions, Q (greatest common
divisor of a and b is 1) and ¬Q (greatest common divisor of a and b ≥ 2);
(√2 =
𝑏
𝑎
, when the greatest common divisor of a and b is 1;
then
𝑏2
𝑎2 = 2, or 𝑏2
= 2𝑎2
,
𝑏2
must be even, and 𝑏 in turn must be even;
let 𝑏 = 2𝑐, then 𝑎2
= 2𝑐2
,
𝑎2
must be even, and 𝑎 in turn must be even;
if both a and b are even, there least common divisor is 2, which is not 1)
4. Since P and ¬P (or Q and ¬Q) cannot both be true, the assumption we made
in step 1 that ‘P is false’ is false, which in turn proves that P must be true.
Kunyu (Quinn) He CAPP’20
2
Example:
1. To prove P(∅) = 0 with direct proof:
Let S denotes the sample space, S ∪ ∅ = S, then P(S ∪ ∅) = P(S) = 1;
S ∩ ∅ = ∅, for the disjoint sequence of events S and ∅:
P(S ∪ ∅) = P(S) + 𝑃(∅)
which is:
1 = 1 + 𝑃(∅)
then P(∅) = 0.
∎
2. To prove P(∅) = 0 with proof by contradiction:
Assume that P(∅) = 0 is false, then P(∅) ≠ 0 is true;
Let S denotes the sample space, S ∪ ∅ = S, then P(S ∪ ∅) = P(S) = 1;
S ∩ ∅ = ∅, for the disjoint sequence of events S and ∅:
P(S ∪ ∅) = P(S) + 𝑃(∅)
which is:
1 = 1 + 𝑃(∅), where P(∅) ≠ 0
which is false;
then our assumption that ‘P(∅) = 0 is false’ is false, P(∅) = 0 must be true.
∎
3. To prove P(A𝑐) = 1 − 𝑃(𝐴) through direct proof:
Let S denotes the sample space, A ∪ A𝑐
= S, then P(A ∪ A𝑐
) = 𝑃(𝑆) = 1;
on the other hand, we also know that A ∩ A𝑐
= ∅, then P(A ∪ A𝑐) = P(A) + 𝑃(A𝑐
);
which means:
P(A) + 𝑃(A𝑐) = 1,
which is exactly:
𝑃(A𝑐) = 1 − P(A)
∎
4. To prove P(A𝑐) = 1 − 𝑃(𝐴) through proof by contradiction:
Assume that 𝑃(A𝑐) = 1 − P(A) is false, then P(A) + 𝑃(A𝑐) ≠ 1 is true;
we know that A ∩ A 𝑐
= ∅, then P(A) + 𝑃(A𝑐) = P(A ∪ A𝑐);
we also know that A ∪ A𝑐
= S, then P(A ∪ A𝑐
) = 𝑃(𝑆) = 1,
which means:
P(A) + 𝑃(A 𝑐) = 1
we derive P(A) + 𝑃(A𝑐) = 1 from P(A) + 𝑃(A 𝑐) ≠ 1, our assumption that ‘𝑃(A𝑐) = 1 −
P(A) is false’ is false, 𝑃(A𝑐) = 1 − P(A) must be true
∎

More Related Content

Similar to TA session 1 direct proof and proof by contradiction

Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1taimoor iftikhar
 
Math 189 Exam 1 Solutions
Math 189 Exam 1 SolutionsMath 189 Exam 1 Solutions
Math 189 Exam 1 SolutionsTyler Murphy
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proofAbdur Rehman
 
Proofs and disproofs
Proofs and disproofsProofs and disproofs
Proofs and disproofsLakshmi R
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategyallyn joy calcaben
 
Proving existential statements
Proving existential statementsProving existential statements
Proving existential statementsAbdur Rehman
 
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdfrAjyarAjanItjJa
 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDr. Khaled Bakro
 
Propositional logic
Propositional logicPropositional logic
Propositional logicMamta Pandey
 
UNIT-III-PPT.pptx
UNIT-III-PPT.pptxUNIT-III-PPT.pptx
UNIT-III-PPT.pptxDakshBaveja
 
Mathmatical reasoning
Mathmatical reasoningMathmatical reasoning
Mathmatical reasoningindu psthakur
 
Logic and proof
Logic and proofLogic and proof
Logic and proofSuresh Ram
 
Making probability easy!!!
Making probability easy!!!Making probability easy!!!
Making probability easy!!!GAURAV SAHA
 
Mathematical reasoning
Mathematical reasoningMathematical reasoning
Mathematical reasoningAza Alias
 

Similar to TA session 1 direct proof and proof by contradiction (20)

Data structure chapter-1-proofs
Data structure chapter-1-proofsData structure chapter-1-proofs
Data structure chapter-1-proofs
 
Course notes1
Course notes1Course notes1
Course notes1
 
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
 
Lemh1a1
Lemh1a1Lemh1a1
Lemh1a1
 
Lemh1a1
Lemh1a1Lemh1a1
Lemh1a1
 
Math 189 Exam 1 Solutions
Math 189 Exam 1 SolutionsMath 189 Exam 1 Solutions
Math 189 Exam 1 Solutions
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proof
 
Proofs and disproofs
Proofs and disproofsProofs and disproofs
Proofs and disproofs
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
 
Logic
LogicLogic
Logic
 
Proving existential statements
Proving existential statementsProving existential statements
Proving existential statements
 
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf
 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
UNIT-III-PPT.pptx
UNIT-III-PPT.pptxUNIT-III-PPT.pptx
UNIT-III-PPT.pptx
 
Mathmatical reasoning
Mathmatical reasoningMathmatical reasoning
Mathmatical reasoning
 
Logic and proof
Logic and proofLogic and proof
Logic and proof
 
Making probability easy!!!
Making probability easy!!!Making probability easy!!!
Making probability easy!!!
 
Probability
ProbabilityProbability
Probability
 
Mathematical reasoning
Mathematical reasoningMathematical reasoning
Mathematical reasoning
 

Recently uploaded

Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhikauryashika82
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingTechSoup
 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactdawncurless
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAssociation for Project Management
 
PROCESS RECORDING FORMAT.docx
PROCESS      RECORDING        FORMAT.docxPROCESS      RECORDING        FORMAT.docx
PROCESS RECORDING FORMAT.docxPoojaSen20
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxDenish Jangid
 
Making and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfMaking and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfChris Hunter
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxAreebaZafar22
 
An Overview of Mutual Funds Bcom Project.pdf
An Overview of Mutual Funds Bcom Project.pdfAn Overview of Mutual Funds Bcom Project.pdf
An Overview of Mutual Funds Bcom Project.pdfSanaAli374401
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityGeoBlogs
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdfQucHHunhnh
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxnegromaestrong
 
Unit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptxUnit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptxVishalSingh1417
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphThiyagu K
 
Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxUnit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxVishalSingh1417
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfagholdier
 

Recently uploaded (20)

Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy Consulting
 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impact
 
Advance Mobile Application Development class 07
Advance Mobile Application Development class 07Advance Mobile Application Development class 07
Advance Mobile Application Development class 07
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across Sectors
 
PROCESS RECORDING FORMAT.docx
PROCESS      RECORDING        FORMAT.docxPROCESS      RECORDING        FORMAT.docx
PROCESS RECORDING FORMAT.docx
 
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
Making and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfMaking and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdf
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
An Overview of Mutual Funds Bcom Project.pdf
An Overview of Mutual Funds Bcom Project.pdfAn Overview of Mutual Funds Bcom Project.pdf
An Overview of Mutual Funds Bcom Project.pdf
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
 
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptxINDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
 
Unit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptxUnit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptx
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot Graph
 
Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxUnit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptx
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 

TA session 1 direct proof and proof by contradiction

  • 1. Kunyu (Quinn) He CAPP’20 1 Direct Proof and Proof by Contradiction in Probability TA Kunyu (Quinn) He Harris School of Public Policy CAPP’20 Direct proof is a way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, without making further assumptions. (Direct proof. In Wikipedia. Retrieved Oct. 4, 2018, from https://en.wikipedia.org/wiki/Direct_proof) Proof by contradiction is a form of proof. It starts by assuming that the opposite proposition is true, and then shows that such an assumption leads to a contradiction. (Proof by contradiction. In Wikipedia. Retrieved Oct. 4, 2018, from https://en.wikipedia.org/wiki/Proof_by_contradiction) To prove P (√2 is irrational): 1. Assume that P is false; 2. Then, ¬P is true (√2 is rational); 3. If we can derive P from ¬P; or… If ¬P implies two mutually contradictory assertions, Q (greatest common divisor of a and b is 1) and ¬Q (greatest common divisor of a and b ≥ 2); (√2 = 𝑏 𝑎 , when the greatest common divisor of a and b is 1; then 𝑏2 𝑎2 = 2, or 𝑏2 = 2𝑎2 , 𝑏2 must be even, and 𝑏 in turn must be even; let 𝑏 = 2𝑐, then 𝑎2 = 2𝑐2 , 𝑎2 must be even, and 𝑎 in turn must be even; if both a and b are even, there least common divisor is 2, which is not 1) 4. Since P and ¬P (or Q and ¬Q) cannot both be true, the assumption we made in step 1 that ‘P is false’ is false, which in turn proves that P must be true.
  • 2. Kunyu (Quinn) He CAPP’20 2 Example: 1. To prove P(∅) = 0 with direct proof: Let S denotes the sample space, S ∪ ∅ = S, then P(S ∪ ∅) = P(S) = 1; S ∩ ∅ = ∅, for the disjoint sequence of events S and ∅: P(S ∪ ∅) = P(S) + 𝑃(∅) which is: 1 = 1 + 𝑃(∅) then P(∅) = 0. ∎ 2. To prove P(∅) = 0 with proof by contradiction: Assume that P(∅) = 0 is false, then P(∅) ≠ 0 is true; Let S denotes the sample space, S ∪ ∅ = S, then P(S ∪ ∅) = P(S) = 1; S ∩ ∅ = ∅, for the disjoint sequence of events S and ∅: P(S ∪ ∅) = P(S) + 𝑃(∅) which is: 1 = 1 + 𝑃(∅), where P(∅) ≠ 0 which is false; then our assumption that ‘P(∅) = 0 is false’ is false, P(∅) = 0 must be true. ∎ 3. To prove P(A𝑐) = 1 − 𝑃(𝐴) through direct proof: Let S denotes the sample space, A ∪ A𝑐 = S, then P(A ∪ A𝑐 ) = 𝑃(𝑆) = 1; on the other hand, we also know that A ∩ A𝑐 = ∅, then P(A ∪ A𝑐) = P(A) + 𝑃(A𝑐 ); which means: P(A) + 𝑃(A𝑐) = 1, which is exactly: 𝑃(A𝑐) = 1 − P(A) ∎ 4. To prove P(A𝑐) = 1 − 𝑃(𝐴) through proof by contradiction: Assume that 𝑃(A𝑐) = 1 − P(A) is false, then P(A) + 𝑃(A𝑐) ≠ 1 is true; we know that A ∩ A 𝑐 = ∅, then P(A) + 𝑃(A𝑐) = P(A ∪ A𝑐); we also know that A ∪ A𝑐 = S, then P(A ∪ A𝑐 ) = 𝑃(𝑆) = 1, which means: P(A) + 𝑃(A 𝑐) = 1 we derive P(A) + 𝑃(A𝑐) = 1 from P(A) + 𝑃(A 𝑐) ≠ 1, our assumption that ‘𝑃(A𝑐) = 1 − P(A) is false’ is false, 𝑃(A𝑐) = 1 − P(A) must be true ∎