ASSINGMENT
ASSINGMENT
ASSINGMENT
PA106/G/22424/24
1.DIRECT PROOF
We use direct proof to prove statements of the form “if p then q” which can be written as p q.
we take statements p which we assume to be true and use it to show another statement q is
true.
Use what we know about p and other facts as necessary to deduce that another
Example
Direct proof that if n is an odd integer then then n2 is also an odd integer
Solution: assume that n is an odd integer then by definition (n=2k+1) for some integer k, we will
N2=(2k+1)2 =(2k+1) (2k+1) =4k2+2k+2k+1 =2(2k2+2k) +1: hence we have shown that n2 has the
form of an odd integer. Therefore we have shown that p=q and so we have completed our proof
2.PROOF BY INDUCTION
Proof by induction is a mathematical method for proving that a statement is true for all natural
numbers
Prove directly that p corrects for the initial value of n. This is called the base case
Assume for some value k that p(k) is correct. This is called induction hypothesis. We will now
prove directly that p(k)=p(k+1). This means prove directly that p(k+1) s correct by using the fact
Example
Solution: let p(n)be the mathematical statement n3+2n is divisible by 3. when n=0 we have 03+0=0=3*0
The contrapositive of a conditional statement is the mixing of the converse and inverse
To form the contrapositive of the conditional statement, interchange the hypothesis and the
To prove that p q it is sufficient to prove that (not p) (not q) is the contrapositive of the
implication p q
Example
even thus odd then n=2k+1 for some integer k now n2=(2k+1)2=4k2+4k+1=2(2k2+2k)+1. Since
4.PROOF BY CONTRADICTION
This is a method that establishes the truth of a statement by showing that assuming the
In mathematics a contradiction occurs when we get a statement p such that p is true and its
In this case we have to assume that the statement p is true and also manage to show that the
statement q is true hence we have arrived at a contradiction because the statement q implies
Example
X+(49/X) =>14
Solution: assume that there is a positive and real value of x such that