Intro to Analysis in-class_Part_3

Intro to Analysis in-class_Part_3 - 0.2 Logic and inference...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
11 Indirect proof: Proof by contrapositive. ( A = B ) ( ¬ B = ⇒ ¬ A ) , so show ¬ B = ⇒ ¬ A directly. Example 0.2.3 (contrapositive) . 3 n + 2 odd = n odd. The contrapositive is: n even = 3 n + 2 even. 1. Assume n is an even integer. 2. Then n = 2 k , for some integer k , so 3 n + 2 = 3(2 k ) + 2 = 6 k + 2 = 2(3 k + 1) = 2 m, for some m Z . 3. Thus, 3 n + 2 is even. Example 0.2.4 (contrapositive) . n 2 even = n even. This is just the contrapositive of the prev. example. Indirect proof: Proof by contradiction. In order to show that A is true by contradiction, 1. assume that A is false (assume ¬ A is true) 2. derive a contradiction (show that ¬ A implies something which is clearly false/impossible) Example 0.2.5 (contradiction) . 2 is irrational. 1. Assume the negative of the statement: 2 = m n , for some m,n Z . 2. If m,n have a common factor, we can cancel it out to obtain 2 = a b , in lowest terms ( * ) 2 = a 2 b
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 11/26/2011 for the course MAT 4944 taught by Professor Wong during the Fall '11 term at FSU.

Page1 / 2

Intro to Analysis in-class_Part_3 - 0.2 Logic and inference...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online