MTH 231 Lecture Notes - Lecture 10: Contraposition, Constructive Proof

42 views5 pages
20 Jul 2018
Department
Course
Professor

Document Summary

To prove (cid:1868)(cid:2869) (cid:1868)(cid:2870) (cid:1710) (cid:1868),instead of: (cid:1868)(cid:2869) (cid:1868)(cid:2870, (cid:1868)(cid:2870) (cid:1868)(cid:2871) (cid:1709) (cid:4666)(cid:1866) (cid:883)(cid:4667) (cid:1868) (cid:2869) (cid:1868), use a ring of implication. 2) (cid:1868)(cid:2870) (cid:1868)(cid:2871) (cid:1842)(cid:2869) (cid:4666)(cid:1866) (cid:883)(cid:4667)(cid:1868) (cid:2869) (cid:1868) (cid:1842) (cid:4666)(cid:1866)(cid:4667)(cid:1868) (cid:1868)(cid:2869) (cid:4666)(cid:1866)+(cid:883)(cid:4667) conclude (cid:1868)(cid:2869) (cid:1868)(cid:2870) (cid:1710) (cid:1868). Ex (cid:1868)(cid:2869) (cid:1868)(cid:2870) (cid:1868)(cid:2871) ring of implications (cid:1842)(cid:2870) (cid:1842)(cid:2869) (cid:1842)(cid:2871) (cid:1842)(cid:2870: direct proof, direct proof. Of ring of implication (cid:1868)(cid:2869):(cid:1866) is odd (cid:1868)(cid:2870):(cid:1866)+(cid:883) is even (cid:1868)(cid:2871):(cid:1866)(cid:2870) is odd. Proof (cid:1868)(cid:2869) (cid:1868)(cid:2870: suppose (cid:1866) is odd, then (cid:1866)+(cid:883)=(cid:884)+(cid:883) for some (cid:1873, then (cid:1866)+(cid:883)=(cid:884)+(cid:883)+(cid:883) Since +(cid:883) (cid:1873),(cid:1866)+(cid:883) is even (5) so if (cid:1866) is odd, (cid:1866)+(cid:883) is even. Proof (cid:1868)(cid:2870) (cid:1868)(cid:2871: suppose that (cid:1866)+(cid:883) is even, then (cid:1866)+(cid:883)=(cid:884) for some (cid:1873, (cid:1866)(cid:2870)=(cid:4666)(cid:884) (cid:883)(cid:4667)(cid:2870) Since (cid:2870) (cid:884) (cid:1873), (cid:1866)(cid:2870) is odd. (5) so if (cid:1866)+(cid:883) is even, (cid:1866)(cid:2870) is odd. Proof (cid:1868)(cid:2871) (cid:1868)(cid:2869: suppose (cid:1866) is even (cid:4666)>(cid:1869)(cid:4667, then (cid:1866)=(cid:884) for some (cid:1873, (cid:1866)(cid:2870)=(cid:4666)(cid:884)(cid:4667)(cid:2870) Since (cid:884)(cid:2870) (cid:1873), (cid:1866)(cid:2870) is even: proof by contraposition.

Get access

Grade+
$40 USD/m
Billed monthly
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
10 Verified Answers
Class+
$30 USD/m
Billed monthly
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
7 Verified Answers

Related Documents

Related Questions