Practice question · Multiple choice
A student proves "if is even then is even" by assuming is odd, writing , and deriving that is odd. Which technique is this, and is the proof finished?
Hints
- Write down the contrapositive of "if is even then is even" and compare it to what was actually proved.
- The contrapositive and the converse are not the same statement.
Show the answer
A. Contrapositive, and it is finished, since the two are logically equivalent.
Why
A conditional and its contrapositive are the same statement, so once " odd odd" is proved there is nothing left to do. The last option confuses the contrapositive with the converse, which is a different claim.
Practise Proof Techniques
The app has 6 more questions on this lesson, and keeps your place in the course. Computer Science I is free to start.