Computer Science I / Proof Techniques
Practice question · Multiple choice

A student proves "if n2n^{2} is even then nn is even" by assuming nn is odd, writing n=2k+1n = 2k+1, and deriving that n2n^{2} is odd. Which technique is this, and is the proof finished?

Hints
  1. Write down the contrapositive of "if n2n^{2} is even then nn is even" and compare it to what was actually proved.
  2. 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 "nn odd n2\Rightarrow n^{2} odd" is proved there is nothing left to do. The last option confuses the contrapositive with the converse, which is a different claim.

Read the lesson: Proof Techniques →

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.

More questions on Proof Techniques