mat 2720 discrete mathematics section 2.1 mathematical systems, direct proofs, and counterexamples
DESCRIPTION
Attendance Policy Coming to class is extremely important. You are expected to be on time*. You will not get a course grade higher than C- if you do not have at least 90% of attendance*. You will not get a course grade higher than D if you do not have at least 80% of attendance*. *Except those who have approval from the instructor.TRANSCRIPT
![Page 1: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/1.jpg)
MAT 2720Discrete Mathematics
Section 2.1 Mathematical Systems,
Direct proofs, and Counterexamples
http://myhome.spu.edu/lauw
![Page 2: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/2.jpg)
Incomplete Policy No incomplete will be given if you do not
already have a passing grade (70%) at the time of the request.
![Page 3: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/3.jpg)
Attendance Policy Coming to class is extremely important. You are expected to be on time*. You will not get a course grade higher than C-
if you do not have at least 90% of attendance*. You will not get a course grade higher than D if
you do not have at least 80% of attendance*.*Except those who have approval from the
instructor.
![Page 4: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/4.jpg)
Preview Set up common notations. Direct Proof Counterexamples
![Page 5: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/5.jpg)
Implication Implication Example
If 2 then 3 5
2 3 5x xx x
![Page 6: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/6.jpg)
Goals We will look at how to prove or disprove
Theorems of the following type:
Direct Proofs Indirect proofs
If ( ), then ( ).statements statements
![Page 7: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/7.jpg)
Theorems Example:
2 If is odd, then is also odd.m m
![Page 8: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/8.jpg)
Theorems Example:
Underlying assumption:
2 If is odd, then is also odd.m m
Hypothesis Conclusion
m
![Page 9: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/9.jpg)
Example 12 If is odd, then is also odd.m m
Analysis Proof
![Page 10: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/10.jpg)
Direct Proof2 If is odd, then is also odd.m m
Proof: Direct Proof of If-then Theorem• Restate the hypothesis of the result. • Restate the conclusion of the result.• Unravel the definitions, working forward from the beginning of the proof and backward from the end of the proof.• Figure out what you know and what you need. Try to forge a link between the two halves of your argument.
![Page 11: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/11.jpg)
Example 2 If is odd and is even, then is odd.m n m n
Analysis proof
![Page 12: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/12.jpg)
Example 3
Analysis Proof
A B A B
A B
A B
![Page 13: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/13.jpg)
Counterexamples To disprove
we simply need to find one number x in the domain of discourse that makes false.
Such a value of x is called a counterexample
x P x
P x
![Page 14: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/14.jpg)
Example 4, 2 1 is primenn Z
Analysis The statement is false
![Page 15: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/15.jpg)
MAT 2720Discrete Mathematics
Section 2.2 More Methods of Proof
Part I
http://myhome.spu.edu/lauw
![Page 16: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/16.jpg)
Goals Indirect Proofs
• Contrapositive• Contradiction• Proof by Contrapositive is considered as a
special case of proof by contradiction• Proof by cases
![Page 17: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/17.jpg)
Example 1 If 3 2 is odd, then is also odd.n n
![Page 18: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/18.jpg)
Indirect Proof: ContrapositiveTo prove
we can prove the equivalent statement in contrapositive form:
or
If 3 2 is odd, then is also odd.n n
If is odd, then 3 2 is not no d.t odn n
If is , theven en 3 2 is en.evn n
![Page 19: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/19.jpg)
RationaleWhy?
If 3 2 is odd, then is also odd.n n
If is odd, then 3 2 is not no d.t odn n
![Page 20: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/20.jpg)
Background: Negation (1.2)Statement: n is oddNegation of the statement: n is not odd Or: n is even
![Page 21: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/21.jpg)
Background: Negation (1.2)Notations
Note:
P: is odd~P: is not odd
nn
The text uses P
![Page 22: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/22.jpg)
Contrapositive (1.3) The contrapositive form of
is
If then P Q
If ~ then ~Q P
![Page 23: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/23.jpg)
Example 1
Analysis Proof: We prove the contrapositive:
If 3 2 is odd, then is also odd.n n
If is even, then 3 2 is even.n n
![Page 24: MAT 2720 Discrete Mathematics Section 2.1 Mathematical Systems, Direct proofs, and Counterexamples](https://reader036.vdocuments.site/reader036/viewer/2022081502/5a4d1b927f8b9ab0599c1c0e/html5/thumbnails/24.jpg)
Contrapositive
Analysis Proof by Contrapositive of If-then Theorem• Restate the statement in its equivalent contrapositive form.• Use direct proof on the contrapositive form.•State the origin statement as the conclusion.
If 3 2 is odd, then is also odd.n n