a)
An error has been made.
A general statement is derived from a particular statement.
if n2⋮4 then n⋮4
Counter-example:
62=36⋮4−true;6⋮4−false
Statement If n is an integer and n2 is divisible by 4, then n is divisible by 4 is false
b)
Statement: Let p and q be integers and r = pq + p + q, then r is even if and only
if p and q are both even is true.
But for completeness of the proof, it is necessary to prove that
If one or both of the numbers p, q are odd then r is odd.
Let one of the numbers p, q be odd then:
pq−is even number
p+q is odd number
pq+p+q is odd number
r is odd number
Let both numbers p and q be odd then:
pq−is odd number
p+q is even number
pq+p+q is odd number
r is odd number
Comments