TMUA Paper 2: How to Prepare for Logic and Proof

You can be very good at school maths and still find TMUA Paper 2 rather unfamiliar. You may be perfectly comfortable with calculus, only to discover that “if” and “only if” are causing you considerably more trouble.

This does not necessarily mean you are bad at mathematical reasoning. You may simply not have been taught some of the language and ideas that Paper 2 expects you to use.

My recommendation is straightforward: work through my logic course on JZMaths, chapter by chapter, before you start attempting full Paper 2 papers. Learn the ideas first, then use the papers to practise applying them.

Why do universities want you to learn this?

My own view is that universities want you to start becoming a better mathematician: someone who can think precisely, understand what a statement actually claims, and distinguish a convincing-looking argument from a valid proof.

That is my interpretation, rather than an official explanation of their intentions. But I think it is a useful way to approach this part of your preparation.

As mathematics becomes more advanced, getting an answer is only part of the work. You also need to explain why it is correct, what assumptions it depends on, and whether your reasoning covers every case.

For example:

• Does your argument establish the statement, or only its converse?
• Have you found a condition that guarantees the conclusion, or one that is merely necessary?
• Do a few examples support your claim, or actually prove it?
• If you think a statement is false, what would a genuine counterexample need to show?

These are useful mathematical habits, well beyond the TMUA. I would like you to come away from your preparation thinking more clearly, as well as answering more questions correctly.

Learn the language before testing yourself on it

Formal logic gives familiar words very precise meanings. “Every”, “some”, “and”, “or”, “if” and “only if” can each change what a statement says.

Consider:

If an integer is divisible by 6, then it is divisible by 3.

That is true. But reversing the direction gives:

If an integer is divisible by 3, then it is divisible by 6.

That is false: 9 is a counterexample.

The mathematics here is easy. The important part is the relationship between the two statements. When these distinctions appear inside a longer problem, you want to recognise them without having to invent your understanding from scratch.

The same applies to necessary and sufficient conditions, negation, contrapositives and proof. These ideas deserve to be learned properly before you try to use them at speed.

Start with the JZMaths logic course

You can find my logic course under Logic on JZMaths. Work through the chapters in sequence, rather than jumping straight to whichever heading sounds most relevant to a question you have just missed.

I recommend the following approach:

1. Read the explanation carefully. Pay particular attention to the meaning of the language, not just the symbols.
2. Try the examples yourself before reading the answers. Recognising an explanation is much easier than producing the reasoning independently.
3. Explain the idea in your own words. If you cannot explain why an implication differs from its converse, spend a little more time on it.
4. Work through the accompanying practice. Use mistakes to identify which distinction you have not yet understood.
5. Move on when the main ideas make sense. You do not need to be flawless, but you should not be relying entirely on memorised wording.

You can also consult the official Notes on Logic and Proof, linked from UAT-UK’s preparation resources.

What if you have already done lots of maths challenges?

That experience is valuable. You may already be good at exploring unfamiliar problems, spotting patterns and finding clever arguments.

However, being an experienced problem-solver does not necessarily mean you have studied formal logic systematically. There may still be plenty of new material worth knowing before you attempt Paper 2.

You might reason correctly by instinct but struggle to identify the precise negation of a statement. Or you might understand a proof while finding the language of necessary and sufficient conditions unfamiliar.

Do not assume you need to spend the same amount of time on every chapter. If something is genuinely familiar, you can move through it quickly. But I would still work through the course in order and check your understanding, rather than assume your maths challenge experience covers everything.

Why not just learn by doing papers?

You certainly learn from papers. But repeatedly attempting them before learning the underlying ideas is often wasteful and ineffective.

If you have never properly learned what a contrapositive is, getting a question about it wrong tells you very little beyond the fact that you have not learned it yet. You then read a solution, perhaps understand that particular example, and risk making the same mistake when the wording changes.

Meanwhile, you have used up a fresh paper that could have been more useful later.

I would much rather you spend that time building the foundations, then use papers to find out how well you can apply them. This is about preparing efficiently, not accumulating the largest possible number of completed papers.

Then move on to Paper 2 practice

Once you have worked through the course, start applying the ideas in Paper 2 questions. Give yourself time to reason carefully at first, then introduce full timed attempts.

When reviewing, be specific about what went wrong:

• Unfamiliar idea: revisit the relevant part of the course.
• Misread statement: identify exactly which word or condition you overlooked.
• Invalid reasoning: find the first step that was not justified.
• Mathematical difficulty: work on the algebra, geometry or other content involved.
• Time pressure: consider whether you chose an unnecessarily long method or stayed with the question for too long.

Paper 2 still requires mathematical knowledge and problem-solving. Learning logic will not make every question easy, but it gives you a much better foundation from which to tackle them.

My aim is not for you to memorise a collection of logical tricks. It is for you to understand what you are saying, why your reasoning works, and when it does not. That is useful preparation for the TMUA—and a worthwhile step towards becoming a better mathematician.