MTH 231 Lecture Notes - Lecture 9: Contraposition, If And Only If
Document Summary
(3) unpack defs (3) unpack defs (1) proof by contraposition (1) prof by contradiction. Last time proving (cid:1868) (cid:1869) (2) suppose (cid:1869) (2) suppose (cid:1868) (cid:1869) (4) argue that (cid:1868) is true (4) argue that (cid:1870) (cid:1870) are true for some proposition (cid:1870) (5) conclude (cid:1868) (cid:1869) (5) conclude (cid:1868) (cid:1869). To prove (cid:1868) (cid:1869: show (cid:1868) (cid:1869, show (cid:1869) (cid:1868, conclude (cid:1868) (cid:1869) . To prove (cid:1868)(cid:2869) (cid:1868)(cid:2870) (cid:1710) (cid:1868) (1) (cid:1868)(cid:2869) (cid:1868)(cid:2870) (cid:884)(cid:4666)(cid:1866) (cid:883)(cid:4667) (2) (cid:1868)(cid:2870) (cid:1868)(cid:2871) arguments (cid:1709) (cid:4666)(cid:1866) (cid:883)(cid:4667)(cid:1868) (cid:2869) (cid:1868) To prove (cid:1868)(cid:2869) (cid:1868)(cid:2870) (cid:1868) (1) (cid:1868)(cid:2869) (cid:1868)(cid:2870) (2) (cid:1868)(cid:2870) (cid:1868)(cid:2871) (cid:1709) (cid:1866) argument (cid:4666)(cid:1866) (cid:883)(cid:4667)(cid:1868) (cid:2869) (cid:1868) (cid:4666)(cid:1866)(cid:4667)(cid:1868) (cid:1868)(cid:2869) Saving of (cid:4666)(cid:1866)+(cid:883)(cid:4667) conclude (cid:1868)(cid:2869) (cid:1868)(cid:2870) (cid:1710) (cid:1868) (cid:884)(cid:4666)(cid:1866) (cid:883)(cid:4667) (cid:1866)=(cid:1866) (cid:884) arguments for (cid:1866) propositions. Example: (cid:1868)(cid:2869) (cid:1868)(cid:2870) (cid:1868) (cid:2869) (cid:2870) (cid:2871) (1) direct proof. Example: (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) (2) suppose (cid:1866) is odd (3) then (cid:1866)=(cid:884)+(cid:883) for some (4) then (cid:1866)+(cid:883)=(cid:4666)(cid:884)+(cid:883)(cid:4667)+(cid:883)