CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.

Slides:



Advertisements
Similar presentations
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
Advertisements

CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
Introduction to Proofs
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CSE 20 DISCRETE MATH Prof. Shachar Lovett Clicker frequency: CA.
CSE 20 DISCRETE MATH Prof. Shachar Lovett Clicker frequency: CA.
Prof. Shachar Lovett Clicker frequency: CA CSE 20 Discrete math Prof. Shachar Lovett
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
Geometry Warm up Write the conditional, converse, inverse and contrapositive of the following sentences: 1.The sun is shining, it is warm. If the sun is.
CSE 20 DISCRETE MATH Prof. Shachar Lovett Clicker frequency: CA.
Logic and Proof. Argument An argument is a sequence of statements. All statements but the first one are called assumptions or hypothesis. The final statement.
So far we have learned about:
Proofs, Recursion and Analysis of Algorithms Mathematical Structures for Computer Science Chapter 2.1 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesProofs,
Mathematical Induction
Mathematical Induction Assume that we are given an infinite supply of stamps of two different denominations, 3 cents and and 5 cents. Prove using mathematical.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
Chapter 1 Section 1.4 More on Conditionals. There are three statements that are related to a conditional statement. They are called the converse, inverse.
Introduction to Proofs
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
Proofs 1/25/12.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CS106X – Programming Abstractions in C++ Cynthia Bailey Lee BFS animation slides by Keith Schwarz CS2 in C++ Peer Instruction Materials by Cynthia Bailey.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
Mathematical Preliminaries (Hein 1.1 and 1.2) Sets are collections in which order of elements and duplication of elements do not matter. – {1,a,1,1} =
Chapter 5 Existence and Proof by contradiction
The Inverse Error Jeffrey Martinez Math 170 Dr. Lipika Deka 10/15/13.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
2.4: Building a System of Geometric Knowledge
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
CompSci 102 Discrete Math for Computer Science
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
1 Discrete Structures – CNS2300 Text Discrete Mathematics and Its Applications Kenneth H. Rosen (5 th Edition) Chapter 3 The Foundations: Logic and Proof,
CSE 311 Foundations of Computing I Lecture 9 Proofs and Set Theory Autumn 2012 CSE
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
DISCRETE COMPUTATIONAL STRUCTURES CSE 2353 Fall 2010 Most slides modified from Discrete Mathematical Structures: Theory and Applications by D.S. Malik.
Chapter 2 Symbolic Logic. Section 2-1 Truth, Equivalence and Implication.
© BYU 03 BA1 Page 1 ECEn 224 Boolean Algebra – Part 1.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
DISCRETE COMPUTATIONAL STRUCTURES CSE 2353 Material for Second Test Spring 2006.
CS104:Discrete Structures Chapter 2: Proof Techniques.
CSE 311: Foundations of Computing Fall 2013 Lecture 8: Proofs and Set theory.
1 Introduction to Abstract Mathematics Proof Methods , , ~, ,  Instructor: Hayk Melikya Purpose of Section:Most theorems in mathematics.
Foundations of Discrete Mathematics Chapter 1 By Dr. Dalia M. Gil, Ph.D.
CS106X – Programming Abstractions in C++ Cynthia Bailey Lee CS2 in C++ Peer Instruction Materials by Cynthia Bailey Lee is licensed under a Creative Commons.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative.
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett
CSE 20 – Discrete Mathematics
Boolean Algebra – Part 1 ECEn 224.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett
Applied Discrete Mathematics Week 2: Proofs
CS 220: Discrete Structures and their Applications
Foundations of Discrete Mathematics
Foundations of Discrete Mathematics
Presentation transcript:

CSE 20 – Discrete Mathematics Dr. Cynthia Bailey Lee Dr. Shachar Lovett Peer Instruction in Discrete Mathematics by Cynthia Leeis licensed under a Creative Commons Attribution- NonCommercial-ShareAlike 4.0 International License. Based on a work at Permissions beyond the scope of this license may be available at LeeCreative Commons Attribution- NonCommercial-ShareAlike 4.0 International Licensehttp://peerinstruction4cs.org

Today’s Topics: 1. Proof by contraposition 2. Proof by cases 2

1. Proof by contraposition 3

Proof by contraposition  To prove a statement of the form  You can equivalently prove its contra-positive form  Remember: (p→q)  (  q→  p) 4

Contrapositive proof of p→q Procedure: 1. Derive contrapositive form: (  q→  p) 2. Assume q is false (take it as “given”) 3. Show that  p logically follows 5

Truth table for implication 6 pq~p~q~q → ~p TTFFT TFFTF FTTFT FFTTT Rule this row out!

Example  Thm.: “Let x,y be numbers such that x  0. Then either x+y  0 or x-y  0.”  Proof:  Given (contrapositive form): Let  WTS (contrapositive form): …  Conclusion: … 7 ???

Example  Thm.: “Let x,y be numbers such that x  0. Then either x+y  0 or x-y  0.”  Proof:  Given (contrapositive form): Let … A. x+y  0 or x-y  0 B. x+y=0 or x-y=0 C. x+y=0 and x-y=0 D. y  0 E. None/more/other 8 ???

Example  Thm.: “Let x,y be numbers such that x  0. Then either x+y  0 or x-y  0.”  Proof:  Given (contrapositive form): Let x+y=0 and x-y=0  WTS (contrapositive form): A. x  0 B. x=0 C. x+y  0 or x-y  0 D. x+y=0 or x-y=0 E. None/more/other 9 ???

Example  Thm.: “Let x,y be numbers such that x  0. Then either x+y  0 or x-y  0.”  Proof:  Given (contrapositive form): Let x+y=0 and x-y=0  WTS (contrapositive form): x=0  Conclusion: … 10 Try yourself first

Example  Thm.: “Let x,y be numbers such that x  0. Then either x+y  0 or x-y  0.”  Proof:  Given (contrapositive form): Let x+y=0 and x-y=0  WTS (contrapositive form): x=0  Conclusion: x=0, which is what was to be shown, so the theorem is true. 11

When should you use contra- positive proofs?  You want to prove  Which is equivalent to  So, it shouldn’t matter which one to prove  In practice, one form is usually easier to prove - depending which assumption gives more information (either P(x) or  Q(x)) 12

2. Proof by cases 13

Breaking a proof into cases  Assume any two people either know each other or not (if A knows B then B knows A)  We will prove the following theorem  Theorem: among any 6 people, there are 3 who all know each other (a club ) OR 3 who don’t know each other ( strangers ) 14

Breaking a proof into cases  Theorem: Every collection of 6 people includes a club of 3 people or a group of 3 strangers  Proof: The proof is by case analysis. Let x denote one of the 6 people. There are two cases: Case 1: x knows at least 3 of the other 5 people Case 2: x knows at most 2 of the other 5 people  Notice it says “there are two cases”  You’d better be right there are no more cases!  Cases must completely cover possibilities  Tip: you don’t need to worry about trying to make the cases “equal size” or scope  Sometimes 99% of the possibilities are in one case, and 1% are in the other  Whatever makes it easier to do each proof 15

Breaking a proof into cases  Theorem: Every collection of 6 people includes a club of 3 people or a group of 3 strangers  Case 1: suppose x knows at least 3 other people  Cases 1.1: No pair among these 3 people met each other. Then these are a group of 3 strangers. So the theorem holds in this subcase.  Case 1.2: Some pair among these people know each other. Then this pair, together with x, form a club of 3 people. So the theorem holds in this subcase.  Notice it says: “This case splits into two subcases”  Again, you’d better be right there are no more than these two!  Subcases must completely cover the possibilites within the case 16

Breaking a proof into cases  Theorem: Every collection of 6 people includes a club of 3 people or a group of 3 strangers  Case 2: Suppose x knows at most 2 other people. So he doesn’t know at least 3 people.  Cases 2.1: All pairs among these 3 people met each other. Then these are a club of 3. So the theorem holds in this subcase.  Case 2.2: Some pair among these people don’t know each other. Then this pair, together with x, form a group of 3 strangers. So the theorem holds in this subcase. 17

Breaking a proof into cases  Theorem: …  Proof: There are two cases to consider  Case 1: there are two cases to consider  Case 1.1: Verify theorem directly  Case 1.2: Verify theorem directly  Case 2: there are two cases to consider  Case 2.1: Verify theorem directly  Case 2.2: Verify theorem directly 18

Perspective: Theorem in language of graphs  Graph: diagram which captures relations between pairs of objects  Example: objects=people, relation=know each other 19 A B C D A,B know each other A,C know each other A,D know each other B,C know each other B,D don’t know each other C,D don’t know each other

Perspective: Theorem in language of graphs  Graph terminology  People = vertices  Know each other = edge  Don’t know each other = no edge 20 A B C D A,B know each other A,C know each other A,D know each other B,C know each other B,D don’t know each other C,D don’t know each other

Perspective: Theorem in language of graphs 21  Theorem: Every collection of 6 people includes a club of 3 people or a group of 3 strangers  Equivalently…  Theorem: any graph with 6 vertices either contains a triangle (3 vertices with all edges between them) or an empty triangle (3 vertices with no edges between them)  Instance of “Ramsey theory”