- #1

- 314

- 122

## Main Question or Discussion Point

Assuming you've sufficiently proven your inductive basis, can you complete a proof by induction in the following manner:

Make the inductive hypothesis, assume

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)*?