- #1

- 316

- 122

Make the inductive hypothesis, assume

*P(n)*is true for some

*n*. Assume

*P(n+1)*is not true. If it follows from the assumption that

*P(n+1)*is false that

*P(n)*must also therefore be false, contradicting the inductive hypothesis, does this mean

*P(n)*must imply

*P(n+1)*?