Discrete Structures20795 marksProof Methods
Prove that 'If the product of two integers a and b is even then either a is even or b is even' using condition method.
Prove that 'If the product of two integers a and b is even then either a is even or b is even' using condition method. [5]
The conditional method (also called proof by contrapositive) proves a statement of the form: P → Q by instead proving its contrapositive: ¬Q → ¬P which is logically equivalent to the original statement. --- Original Statement: If a × b is even, then a is even or b is even. Let us define: - P: a ×...