Community mocks

Daniel J Smith Custom TMUA alpha · Q5

Logic & proof

Let P(n)P(n) be a statement about integers with the following properties:

P(1)P(1) and P(2)P(2) are true;

for all n≥1n\geq1 the following statement is true: (P(n)P(n) and P(n+1)P(n+1)) is sufficient for P(n+2)P(n+2)

What is the strongest conclusion that necessarily follows?

AP(n)P(n) is true for all n≥1n\geq1
BP(n)P(n) is true for all sufficiently large nn, but not necessarily for all nn
CP(n)P(n) is true for infinitely many nn, but not necessarily for all nn
DP(n)P(n) is true for all odd nn but not necessarily for all even nn
EP(n)P(n) is true for all even nn but not necessarily for all odd nn
FNo general conclusion can be drawn beyond P(1)P(1) and P(2)P(2)

Read the questions freely. Sign in to check your answer, see the worked solution and save your progress.