TMUA The Logic of Arguments (ARG)

The logic of arguments is topic ARG on the TMUA syllabus, and it tests judgement rather than calculation: necessary and sufficient conditions, the connectives and/or/not and the various if-then forms, the truth relationship between a statement and its converse or contrapositive, quantifiers, and the negation of statements built from all of these. It sits in the reasoning side of TMUA, so what it asks of you is a grip on the statements themselves rather than fluency with formulae, and it introduces no new formulae to memorise. Its difficulty is unusually concentrated: the FrontierVUE catalogue holds 82 questions tagged to this topic, of which 56 are rated medium, only 11 hard and only 1 very easy. There are few free marks here and few genuine walls; what separates candidates is reading accuracy and a steady sense of which way each piece of terminology points. Every year from 2016 to 2023 is represented, so this is not a strand you can bet against.

TMUA The Logic of Arguments at a Glance

Syllabus code: ARG, with 4 points beneath it: Arg1, Arg2, Arg3 and Arg4
What it covers: Mathematical logic (true/false; and, or including inclusive or, and not; if A then B, A if B, A only if B, A iff B; converse and contrapositive and how their truth values relate); necessary and sufficient; the quantifiers for all, for some meaning at least one, and there exists; and negating statements that use any of these terms
Questions in the FrontierVUE catalogue: 82, appearing on mock papers 23 times
Difficulty (FrontierVUE catalogue): 56 medium, 14 easy, 11 hard, 1 very easy
Past paper years (FrontierVUE catalogue): Every year from 2016 to 2023 is represented, with 2021 the fullest at 6
How to treat it: A test of consistency: drill the direction of each term until it is automatic, then practise not misreading under time pressure

The scope of the topic follows the official UAT-UK test information; the version held on this site is a Chinese rendering used to describe coverage, not a verbatim quotation. Question counts, difficulty ratings and year coverage are FrontierVUE's own catalogue statistics rather than official paper-level data, since the exam board does not publish per-question topic labels. FrontierVUE has no affiliation with, endorsement from, or partnership with UAT-UK, Cambridge Assessment or the University of Cambridge.

What TMUA the logic of arguments actually covers

The logic of arguments is topic ARG on the TMUA syllabus and breaks into four points: Arg1 for mathematical logic and connectives, Arg2 for necessary and sufficient, Arg3 for quantifiers, and Arg4 for negation. What sets it apart from the rest of the syllabus is that nothing is calculated. You are given statements and asked whether one follows from another, or which rewriting is equivalent to the original. There are no new formulae to learn here. What you need is the ability to turn an English sentence into a logical structure accurately, then apply the rules. Precisely because there is nothing to memorise, many students leave this block until last, and then meet the questions that depend most on a feel for the language.

The logic of arguments (ARG)

Syllabus topic ARG, four points; counts in brackets are from the FrontierVUE catalogue. A question can carry more than one syllabus point, so these counts do not sum to the topic total

Arg2 · Necessary and sufficient43 questions in the FrontierVUE catalogue

necessary conditions
sufficient conditions
telling the two directions apart and combining them

Arg1 · Mathematical logic and connectives41 questions in the FrontierVUE catalogue

true and false
and, or including inclusive or, and not
if A then B, A if B, A only if B, A iff B
converse and contrapositive, and how their truth values relate

Arg3 · Quantifiers12 questions in the FrontierVUE catalogue

for all
for some, meaning at least one
there exists

Arg4 · Negation8 questions in the FrontierVUE catalogue

negating statements that use any of the terms above

Tap a branch to unfold

The four points do not carry equal weight. In the FrontierVUE catalogue, Arg2 on necessary and sufficient holds 43 questions and Arg1 on connectives and the contrapositive holds 41, the two largest counts in the topic. Arg3 on quantifiers holds 12 and Arg4 on negation holds 8, which is far thinner. Thin does not mean skippable, though: quantifiers and negation rarely stand alone as questions, they sit inside questions about the first two points, and getting the direction wrong there flips the conclusion of the whole question.

How much weight this topic carries in TMUA

82 questions

Held in the FrontierVUE catalogue and tagged to this topic

2016 to 2023

Every year contributes questions on this topic, with no gaps, in the FrontierVUE catalogue

23 appearances

Times these questions appear on mock papers in the FrontierVUE catalogue

These figures come from how FrontierVUE has catalogued and tagged its own questions. They are not official paper-level statistics, because the official specification lists syllabus content rather than tagging individual questions. What they can answer is one thing: inside a bank organised against the syllabus, how much of it is this topic. The answer is that the weight is steady. There are 82 questions, the years run unbroken from 2016 to 2023, 2021 is the fullest at 6, and even the thinnest years contribute 2. The practical reading is blunt: you will meet this material every year, so treating it as optional when you plan revision carries real risk.

	What it covers	Questions in the FrontierVUE catalogue
Arg2 · Necessary and sufficient	necessary and sufficient	43
Arg1 · Mathematical logic and connectives	true and false; and, or including inclusive or, and not; if A then B, A if B, A only if B, A iff B; converse and contrapositive and how their truth values relate	41
Arg3 · Quantifiers	for all, for some meaning at least one, and there exists	12
Arg4 · Negation	negating statements that use any of the terms above	8

The coverage column follows the official syllabus; the version held on this site is a Chinese rendering used to describe scope, not a verbatim quotation. The counts are FrontierVUE catalogue statistics, not official paper-level data. A question can carry more than one syllabus point, so these counts do not sum to the topic total.

How to read this grid

FrontierVUE catalogue

The year-by-year counts below are FrontierVUE catalogue statistics, not official paper-level data

2016

2017

2018

2019

2020

2021

the fullest year in the catalogue

2022

2023

Where the difficulty sits and how marks get lost

Of the 82 logic of arguments questions in the FrontierVUE catalogue, 56 are rated medium, 14 easy, 11 hard and 1 very easy. These are FrontierVUE's own catalogue ratings, not official paper statistics.

The shape is telling. Medium sits clearly above every other band at 56, hard holds only 11, and just 1 question falls in the very easy band, all on the FrontierVUE catalogue's own ratings. There are almost no free marks here and very few real walls; nearly everything lands in the same range. That makes the study logic different from a calculation topic. You are unlikely to gain an edge by grinding through a handful of hard questions, because the edge comes from not misreading and not reversing a direction on any of them. Consistency is the score.

Necessary and sufficient come out the wrong way round

Arg2 is the largest point in this topic, with 43 questions in the FrontierVUE catalogue. A sufficient condition is one whose presence settles the matter; a necessary condition is one whose absence rules it out. Stated that way the difference is obvious, but under time pressure people judge by feel and sooner or later reverse one. The dependable habit is to rewrite every statement into the same arrow form before deciding, rather than ruling on the sentence as it stands.

Reading if, only if and iff in the wrong direction

Arg1 lists if A then B, A if B, A only if B and A iff B explicitly. In English they differ by a word or two, yet they point in different directions. A only if B trips people up most often, because the intuitive reading and the actual meaning do not line up. There is no shortcut here: drill which direction each form carries until it is automatic, then keep checking in practice that you have not quietly conflated if with only if.

Treating the converse as equivalent

Converse and contrapositive are named in Arg1, and they carry the classic trap: if a statement is true its contrapositive is true as well, while its converse need not be. Most students can recite that. What they cannot always do is recognise which one is in front of them once the statement has been wrapped in ordinary prose. So the thing to practise is recognition rather than the rule: recover the hypothesis and the conclusion of the original, then look at which end the rewriting has moved.

Not having the English feel for or and at least one

The syllabus flags inclusive or under Arg1 and glosses for some as at least one under Arg3. Both are places where everyday intuition pulls away from the strict meaning: or is often heard as an exclusive choice, and some is often heard as implying not all. TMUA is set in English and only the strict reading is safe, so both words are worth an extra half second on the page.

Quantifiers and negation are thin on count but carry the highest risk

Arg3 holds 12 questions and Arg4 holds 8 in the FrontierVUE catalogue, thin counts that hide the highest per-question risk in the topic. Negating a for all statement gives you the existence of a counterexample, not a for all not statement, and negating a compound statement swaps and with or. Get that step backwards and everything after it runs smoothly to the opposite conclusion, with nothing along the way to warn you.

Marks leak here in one characteristic way: not from ignorance but from an arrow pointed the wrong way. The useful review question is therefore not why the question was hard, but at which step the direction was reversed.

How to shore this topic up

01Step 1

Nail down the direction of every term

The terminology in Arg1 and Arg2 has to become automatic: which direction each of if A then B, A if B, A only if B and A iff B carries, which end necessary and sufficient each describe, and which of the converse and contrapositive is equivalent to the original. This step is memorisation and checking. Until it is done, practising questions only rehearses the same mistake.

02Step 2

Take the two backbone points in topic practice

In the FrontierVUE catalogue Arg2 carries 43 questions and Arg1 carries 41, the two largest counts in the topic. Work them separately until they are steady and most questions here have a handle you can grab.

03Step 3

Add the thin points: quantifiers and negation

Arg3 holds 12 questions and Arg4 holds 8 in the FrontierVUE catalogue: small counts, but the highest risk per question, so they deserve a focused round of their own, especially negating compound statements built from for all, for some, and and or. Practise them inside compound statements rather than as isolated definitions.

04Step 4

Test yourself against the past papers

Every year from 2016 to 2023 contributes questions on this topic in the FrontierVUE catalogue. Sitting complete papers by year shows whether your reading still holds up when the clock is running.

05Step 5

Finish with full mock papers

The catalogue records 23 appearances of these questions on mock papers. Meeting them again inside a full paper tests whether you still read every word of a statement when you are behind on time, not whether you know the rules.

When you review, sort the errors into two kinds. If they cluster on one syllabus point, that is a gap in understanding and the fix is to rebuild that point. If they are spread across points but always occur at the moment of judging direction, the terminology has not become reflex yet, and what you need is repetition rather than new material. Progress on this topic usually shows quickly, because the ways of losing marks are specific, easy to pin down, and do not depend on calculation fluency.

The scope of this topic, the difficulty picture and the study route are all public on this page and readable without an account. Only starting a practice session requires a login: questions and worked solutions live inside the practice interface so that paper content is not exposed.

FAQ

Frequently asked questions

What does the logic of arguments cover on TMUA?

It covers four points, Arg1 to Arg4 under syllabus topic ARG. Arg1 is mathematical logic: true and false; and, or including inclusive or, and not; the conditional forms if A then B, A if B, A only if B and A iff B; and the converse and contrapositive together with how their truth values relate. Arg2 is necessary and sufficient. Arg3 is the quantifiers for all, for some meaning at least one, and there exists. Arg4 is negating statements that use any of those terms. The topic asks for judgement rather than calculation, and adds no formulae to learn.

How hard are the logic of arguments questions on TMUA?

The difficulty is concentrated in the medium band. Of the 82 questions catalogued against this topic by FrontierVUE, 56 are medium, 14 easy, 11 hard and 1 very easy. There are few free marks and few genuine walls, with most questions landing in the same range. What separates candidates is therefore consistency: reading each statement accurately and getting each direction right. These ratings are FrontierVUE catalogue statistics, not official paper-level data.

Does TMUA test logic every year?

In the FrontierVUE catalogue every year from 2016 to 2023 contributes questions tagged to this topic, with no gaps. 2021 is the fullest at 6 and even the thinnest years contribute 2, giving 82 questions in total, plus 23 appearances on mock papers. It is not a strand you can bet against, and leaving it to the end of revision carries real risk. These are FrontierVUE catalogue statistics rather than official paper-level data, since the exam board does not publish per-question topic labels.

Are quantifiers and negation worth practising separately for TMUA?

Yes. Arg3 on quantifiers holds 12 questions in the FrontierVUE catalogue and Arg4 on negation holds 8, the two smallest counts of the four points, but the cost of an error is the highest in the topic. Negating a for all statement gives the existence of a counterexample, and negating a compound statement swaps and with or; reverse that step and the conclusion of the whole question reverses with it. They also rarely appear on their own, sitting instead inside questions about necessary and sufficient or about connectives, so practise them inside compound statements rather than as isolated definitions.

Sources

Official sources

By topic

Practise this TMUA topic

Filter the question bank down to this topic and work through it in a timed interface with worked solutions. Sign up free to start; the first 2 papers of each subject are free.

Start practising All TMUA papers