Logic & Proof

Topic overview

Statements, counterexamples, induction, invariants and rigorous argument.

Key concepts

Supplementary assessment for some colleges; currently available public sources are insufficient to confirm the paper structure on this site. For preparation training only; no claim is made that it is a current full mock paper.

Key points

◆Follow the prerequisite knowledge requirements given by the examination body; new concepts may only be used when the question provides sufficient guidance.
◆The examples on this site are training with a limited scope and do not represent full syllabus coverage or official difficulty.

Worked examples

Try each example yourself before checking the explanation.

1Written examples within the scope

Prove that if n^2 is even then n is even.

Explain why checking many examples is not a proof.

State and prove the corresponding claim for divisibility by 3.

Ready to practise this topic?

Practise the available questions for this topic. Difficulty labels are platform references.

Practise Logic & Proof →