Saturday, 2 August 2014

proof by contradiction

Give a proof by contradiction of the theorem
show that  “If 3n + 2 is odd, then n is odd.”

Solution:
Let
 p : “3n + 2 is odd” 
 q:  “n is odd.” 
 ¬ p: “3n + 2 is even”
 ¬ q: “n is even.”
To construct a proof by contradiction,
we have to prove that 
 ¬ q → ¬ p is true i.e " If n is even 3n + 2 , then 3n + 2 is even"
 Because n is even, there is an integer k such
that n = 2k.
 This implies that
 3n + 2 = 3(2k) + 2 = 6k + 2 = 2(3k + 1)  is even which is contradiction where 3n + 2 is odd.
therefore,   ¬ q → ¬ p is true that implies that   q →  p is true
so, If 3n + 2 is odd, then n is odd