Method of Proofs
Method of Proofs
Method of Proofs
Support slides
Proof Techniques - direct proofs
Here’s what you know:
Ellen is a math major or a CS major.
If Ellen does not like discrete math, she is not
a CS major.
If Ellen likes discrete math, she is smart.
Ellen is not a math major.
Can you conclude Ellen is smart?
MC
D C
DS
((M C) (DM
C) (D S) (M)) S
?
Cs173 - Spring 2004
Proof Techniques - direct proofs
In general, to prove p q, assume p
and show that q follows.
Ellen is smart!
Proof Techniques - vacuous proofs
In general, to prove p q, assume p and show that q
follows.
(a + b ≥ 15) (a ≥ 8) v (b ≥ 8)
Given: R G
H G
H R
Show: H
((R G) (H G) (H R))
Cs173 - Spring 2004
H
?
Proof Techniques - proof by contradiction
Given: R G
H G
H R
Show: H
1. R G Given
2. H G Given
3. H R Given
4. H assume to the contrary
5. R MP (3,4)
6. G MP (1,5)
7. G MP (2,4)
8. G G contradiction
H
Proof Techniques - proof by contradiction
Classic proof that 2 is irrational.
Constructive Non-constructive