TMUA preparation guide

TMUA Paper 2: Mathematical Reasoning, from Syllabus to Strategy

Of the two TMUA papers, Paper 2: Mathematical Reasoning is the one most candidates know least about. It does not test harder mathematics; it tests whether you can read, build and check a mathematical argument. Logic and proof rarely get dedicated teaching time at school, yet this paper puts them centre stage. Drawing on the official content specification and the official Notes on Logic and Proof, this guide takes Paper 2 apart statement by statement: the logic strand Arg1 to Arg4, the proof strand Prf1 to Prf5, the errors strand Err1 and Err2, what the specification explicitly excludes, and a preparation route that starts from zero.
9 sections2,298 words12 min read5 official sources
Papers
28
Questions
826
Free to try
2
TMUA Paper 2 at a Glance
Paper format
20 multiple-choice questions in 75 minutes, covering Sections 1 and 2
What it tests
Constructing and analysing arguments; the maths stays within AS pure plus GCSE
The three strands
Logic Arg1 to Arg4, proof Prf1 to Prf5, errors Err1 and Err2
Explicitly ruled out
Symbolic notation and formal truth tables; induction is not in the current specification either
Score and sittings
Both papers scaled together into one score from 1.0 to 9.0; one sitting per admissions cycle

Based on the official specification and the official Notes on Logic and Proof covering the October 2026 and January 2027 sittings; before booking, check the specification UAT-UK has published for your own sitting.

In short
  • Paper 2 tests constructing and analysing arguments with Section 1 maths: the content stays within AS pure maths plus GCSE, and the difficulty lies in reasoning training, not new knowledge.
  • The logic content is Arg1 to Arg4 (conditionals, converse and contrapositive, necessary and sufficient, quantifiers and negation); the specification explicitly rules out symbolic notation and formal truth tables.
  • The official list has exactly four proof types: direct deduction, cases, contradiction and disproof by counterexample; mathematical induction is not in the current specification, so do not budget time for it.
  • Error-spotting is its own strand: the specification names claiming b = c from ab = ac, and A = B from sin A = sin B, which stand for the division-by-zero and non-reversible-step trap families.
  • Follow the official preparation trio: read the specification, read the Notes on Logic and Proof, and answer practice papers under timed conditions; remember you may sit only once per admissions cycle.
I

Part 1 of 3

Sections 01 to 03

01

The official brief: conceptual knowledge applied to arguments

The TMUA is made up of two papers, and Paper 2 carries the official title Mathematical Reasoning: 75 minutes, 20 multiple-choice questions. The specification states its purpose in a single sentence worth reading closely: the paper tests the candidate's ability to apply conceptual knowledge to constructing and analysing mathematical arguments, and its scope covers both Section 1 and Section 2. The UAT-UK website puts the same thing in plainer terms: it assesses your ability to deal with mathematical reasoning, and simple ideas from elementary logic.
Paper 1 · Applications of Mathematical KnowledgePaper 2 · Mathematical Reasoning
What it asks of youUsing your maths to solve problems set in a variety of contextsThinking about the mathematics itself: is a statement true, does a deduction follow, where does a proof go wrong
Syllabus scopeSection 1Section 1 and Section 2
Underlying toolkitThe mathematics set out in Section 1Exactly the same Section 1 content, with a layer of reasoning about it added on top
One scoring point matters from the outset: the TMUA reports a single overall score. UAT-UK states that Papers 1 and 2 are equated and scaled together to produce one score on the 1.0 to 9.0 scale, reported to one decimal place, so there is no separate Paper 2 threshold to hit. Questions across the two papers carry equal weight, there is no penalty for wrong answers, and the official advice is to attempt every question.
02

How the syllabus is built: Section 1 underneath, Section 2 on top

The specification has two sections. Section 1 sets out the mathematical knowledge required for both papers: officially, Part 1 is almost all covered within the pure mathematics content of an AS level in maths, and Part 2 almost all within a Higher Level GCSE course. Section 2 then defines the scope of Paper 2 specifically, and the wording is explicit: the section tests the ability to think mathematically, focusing on understanding and constructing mathematical arguments in a variety of contexts, drawing on the knowledge set out in Section 1.

The TMUA specification

Section 1 serves both papers; Section 2 belongs to Paper 2 alone

Section 1 · Part 1Shared by both papers
  • Almost all within AS level pure mathematics
Section 1 · Part 2Shared by both papers
  • Almost all within a Higher Level GCSE course
Section 2 · LogicArg1 to Arg4
  • Arg1 true and false, and/or/not, four conditional forms, converse and contrapositive
  • Arg2 necessary and sufficient
  • Arg3 quantifiers: for all, for some, there exists
  • Arg4 negating statements built from those terms
Section 2 · ProofPrf1 to Prf5
  • Prf1 four proof types: deduction, cases, contradiction, counterexample
  • Prf2 deducing implications from given statements
  • Prf3 conjecturing from small cases, then justifying
  • Prf4 reordering shuffled statements into a proof
  • Prf5 problems needing a sophisticated chain of reasoning
Section 2 · ErrorsErr1 and Err2
  • Err1 identifying errors in purported proofs
  • Err2 familiarity with common error types

Tap a branch to unfold

Two consequences follow. First, Paper 2 is not a harder maths paper: it uses exactly the same toolkit as Paper 1 and never reaches beyond AS pure maths plus GCSE content. What makes it demanding is the training rather than the knowledge, since reading arguments, building them and spotting their flaws are skills most school courses touch only lightly. Second, Section 1 fluency is still the entry ticket: reasoning questions usually arrive dressed in algebra, number work or geometry, so weak foundations leave the Section 2 skills with nothing to stand on. The current specification applies to the October 2026 and January 2027 sittings.
03

The logic strand, Arg1 to Arg4: conditionals to quantifiers

Arg1

Truth, connectives and conditionals

Or is inclusive (A or B allows both); four conditional forms; a statement and its contrapositive always agree, while the converse is independent

Arg2

Necessary and sufficient

Understanding and using the terms necessary and sufficient

Arg3

Quantifiers

For all, for some, there exists, with the official gloss that for some means for at least one

Arg4

Negation

Negating statements built from any of the terms above

Of the four conditional forms, A only if B is the one candidates most often read backwards: it is equivalent to if A then B, not to if B then A. Likewise, A if B asserts that whenever B holds, A holds. Learn these forms side by side with the language of necessity and sufficiency, which is exactly what Arg2 asks for: saying B is necessary for A matches A only if B, while saying B is sufficient for A matches A if B.
Quantifiers combined with negation are the most error-prone material in this strand: negating a for all statement produces a there exists statement, and vice versa. The standard to aim for is automatic recognition, not an answer you can reconstruct given time to think.
II

Part 2 of 3

Sections 04 to 06

04

What the specification rules out: symbols and truth tables

Immediately after the logic statements, the specification adds a note that should shape how you prepare: candidates will not be expected to recognise or use symbolic notation for any of these terms, nor to complete formal truth tables.
The arrows, negation symbols and truth tables of a university discrete mathematics course are simply not required. Questions state propositions and arguments in ordinary English, and ordinary, careful English is what you answer with. Three practical consequences follow.
Do not work through a formal logic textbook
Time spent on symbolic manipulation earns almost nothing here. The paper rewards understanding what a sentence claims and when it would be false, not fluency in notation.
The language itself is part of the challenge
If English is not your first language, expressions such as only if and for some need practising in English until their precise meaning is instant. Translating first and reasoning in your own language is exactly where logical relationships get quietly distorted.
Truth tables are never demanded, yet remain a good private tool
Listing the possible cases can confirm your reading of a compound statement while you practise, even though in the exam there is neither the time nor the need for a full table.
05

The proof strand, Prf1 to Prf5: four proof types, four skills

Prf1 lists the types of proof involved in Paper 2, and the official list contains exactly four. Producing such proofs is only the starting point: a very common format hands you an argument and asks which method it uses and whether each step is valid.

Direct deductive proof

Step by step from the given conditions to the conclusion

Proof by cases

Split the problem into exhaustive cases and settle each one

Proof by contradiction

Assume the conclusion fails, then derive something impossible

Disproof by counterexample

Overturn a general claim with one concrete instance

Prf2 deducing implications from given statements
Working out what else must follow from a set of conditions.
Prf3 making conjectures from small cases, then justifying them
These questions first invite you to spot a pattern, then test whether the conjecture genuinely holds.
Prf4 rearranging shuffled statements into a complete proof
A direct test of whether you grasp the architecture of a proof rather than just its individual lines.
Prf5 problems requiring a sophisticated chain of reasoning
The statement that leaves room for the most demanding questions on the paper.
For students whose school course treats proof lightly, the biggest adjustment is learning to read proofs as material in their own right. Ordinary problem-solving ends when the answer appears; Paper 2 expects you to examine an argument the way a marker would: is it watertight, which link is missing, where does a step quietly change the conditions? That ability comes from reading and dissecting proofs, not from computing more answers.
06

Mathematical induction is not on the syllabus

This deserves its own section because it runs against many students' instincts. The proof types listed under Prf1 are exactly the four described above, and mathematical induction appears nowhere in the text of either the TMUA Content Specification or the official Notes on Logic and Proof.

Four

Proof types on the official Prf1 list

Zero

Mentions of induction in the specification or the official notes

Oct 2026 · Jan 2027

The two sittings covered by the specification used here

The practical implication is straightforward: you do not need to train induction proofs for this test. If you have met induction through A level Further Maths, that knowledge does no harm, but budgeting TMUA preparation time for writing induction arguments is a mismatch with what the paper assesses. Prf3, conjecturing from small cases and then justifying the conjecture, can look superficially like induction territory, but what it examines is the observe-conjecture-check habit of mind, and the justification stays within the four proof types on the official list.
A note of caution belongs here: specifications are published per assessment period, and this guide follows the version covering October 2026 and January 2027. Before you book, check the specification UAT-UK has published for your sitting, and treat the original document, not any second-hand summary (this one included), as the final word.
III

Part 3 of 3

Sections 07 to 09

07

The errors strand, Err1 and Err2: two named classic mistakes

The final group in Section 2 is about errors. Err1 requires you to identify errors in purported proofs: you are shown an argument that reads smoothly and must locate the step that fails. Err2 requires familiarity with common mathematical errors in purported proofs, and the specification names two examples outright, noting explicitly that neither is a valid deduction. Each stands for a whole family of traps.
The step that failsWhy it does not follow
Claiming b = c from ab = acIt amounts to dividing both sides by aA might equal 0, and then the original equation holds for any b and c whatsoever, so nothing follows
Assuming A = B from sin A = sin BIt inverts an operation that is not one-to-oneThe sine function takes the same value at different angles, so sin A = sin B cannot pin down A = B
Cancelling the squares in x² = y²The same non-reversible move, applied to squaringFrom x² = y² you may conclude only that x = ±y; cancelling throws away half the cases

The first two rows are named in the specification; the third is a common variant of the same trap. Many widely circulated fake proofs of absurd conclusions hide exactly one division by zero at their core.

When you practise error-spotting questions, carry a short checklist: at every step that divides both sides, takes a square root, undoes a function, or multiplies an inequality through, stop and ask whether the step is reversible in every case. Could the divisor be zero? Could the multiplier be negative? The list is short, but it covers the error types the specification names and their close relatives.
08

The official Notes on Logic and Proof: written for this paper

UAT-UK publishes a document specifically for this paper: the Notes on Logic and Proof. Its opening lines set out its purpose plainly: the formal side of mathematics, that of theorems and proofs, is a major part of the subject and the main focus of Paper 2, and the notes are intended as a brief introduction to the ideas involved, for candidates who have not yet met them in their maths classes or their wider mathematical reading.
The official preparation advice names three essentials: read the test specification, read the Notes on Logic and Proof, and answer practice papers under timed conditions.
01Step 1

Read it through at the very start

Put it at the very beginning of your Paper 2 preparation: one full pass to build the frame, the Arg1 to Arg4 vocabulary and the four proof types.
02Step 2

Then move into past-paper work

With the frame in place, start on questions, so that the abstract points in the notes acquire concrete weight.
03Step 3

Return to the notes when you slip

Whenever you misjudge a question (the direction of a conditional and the negation of a quantified statement are the two usual culprits), go back to the relevant passage: it comes from the test owner itself, which makes it the most reliable reference.
04Step 4

Two or three passes across a cycle

It is short by design, which makes rereading realistic: the first pass builds the framework, and each later pass reads differently because of the questions you have accumulated in between.
09

Preparation strategy: pacing, materials and scoring reality

Time and questions

75 minutes for 20 questions

Reasoning and error questions carry more reading than computation

What you may use

No formulae booklet, no calculator, no dictionary

Every formula has to come from memory

Wrong answers

No penalty

So never leave a blank

Sittings

Only once within an admissions cycle

October versus January is a choice of date, not a second attempt

On pacing: when you practise under timed conditions, track separately how long the wordier stems cost you, and settle into a stable read-probe-decide rhythm. On materials: beyond the specification and the Notes on Logic and Proof, the official preparation materials page provides past papers for each year from 2016 to 2023, with Paper 1, Paper 2, worked answers and an answer key for every year. For Paper 2 it is better to sit full papers against the clock than to cherry-pick questions topic by topic, because the difficulty curve and the mixing of question styles are themselves things to acclimatise to.

About 4.5

Where the scale is designed to place a typical candidate

Roughly 10%

Share scoring above 7.0, per the October 2025 Explanation of Results

6.5 = 5.0

Durham states that a 6.5 from 2023 equates to a 5.0 from 2024 onwards

UAT-UK states openly that its tests are designed to be challenging in order to separate highly capable applicants, and that candidates should not expect to score as highly as they do in school exams. Whenever you meet a target score, check its year and its scale: the TMUA scale changed in 2024, so numbers from the old scale do not carry over. And the hard rule frames everything else: you may sit only once within an admissions cycle, October versus January being a choice of date rather than a second attempt, so your preparation has to peak the first time.
FAQ

Frequently asked questions

What does TMUA Paper 2 test, and how is it different from Paper 1?
Paper 2 (Mathematical Reasoning) tests applying conceptual knowledge to constructing and analysing mathematical arguments: 20 multiple-choice questions in 75 minutes, covering Sections 1 and 2 of the specification (logic, proof and error-spotting). Paper 1 tests applying mathematical knowledge in a variety of contexts and draws on Section 1 only. The two papers share the same underlying maths; Paper 2 adds a layer of reasoning about arguments themselves.
Do I need mathematical induction for the TMUA?
No. Prf1 in the official specification lists exactly four proof types (direct deduction, cases, contradiction and disproof by counterexample), and induction appears nowhere in the specification or the official Notes on Logic and Proof. Under the current specification, covering the October 2026 and January 2027 sittings, induction is not examinable, so do not budget preparation time for it.
Does TMUA Paper 2 require truth tables or logic symbols?
No. The specification states that candidates will not be expected to recognise or use symbolic notation for the logic terms, nor to complete formal truth tables. Everything is phrased in ordinary English, so preparation should focus on the precise meaning of expressions such as only if and for some, rather than on formal symbolic work.
What are the Notes on Logic and Proof, and should I read them?
They are an official UAT-UK document written specifically for Paper 2. The opening explains that theorems and proofs are the main focus of Paper 2, and that the notes offer a brief introduction for candidates who have not yet met these ideas in class. The official preparation advice lists three things: read the specification, read the notes, and answer practice papers under timed conditions. Read them through before you start past papers.
Is Paper 2 harder than Paper 1, and does it have its own score?
The TMUA reports no per-paper score, so there is no separate Paper 2 number to compare: Papers 1 and 2 are equated and scaled together into a single overall score from 1.0 to 9.0, with all questions carrying equal weight. UAT-UK publishes no grade boundaries; the official Explanation of Results for October 2025 states that typical candidates score around 4.5 and that approximately 10% score higher than 7.0.
I have never studied logic or proof. How do I start preparing for Paper 2?
Follow the official sequence: read Section 2 of the specification so you know what the Arg, Prf and Err strands cover; read the Notes on Logic and Proof to build the conceptual frame; then work through the official past papers from 2016 to 2023 as full timed sittings, returning to the notes whenever a concept lets you down. You need neither a formal logic textbook nor any induction practice.

FrontierVUE is an independent practice platform. It is not affiliated with or endorsed by UAT-UK, Pearson, OCR, the University of Cambridge, Imperial College London, or any official admissions-test owner.

Put it into practice

28 TMUA papers on FrontierVUE, including 10 Frontier Original mocks built to the current format, every question with a worked solution. The first 2 papers are free.