TMUA 备考指南
TMUA 逻辑与证明全解：Arg1 到 Arg4 与四类证明
Paper 2 的逻辑与证明是 TMUA 上最让人无从下手的部分：converse、only if、for some 这些表述在国内课堂几乎不出现，可它们恰恰是官方考纲 Section 2 的正文。这篇指南逐条拆解 Arg1 到 Arg4 与四类证明：四种条件语句谁推出谁、逆否命题为什么可靠、for some 为什么官方定义成「至少存在一个」、含量词的命题怎么否定、伪证里的错误藏在哪，以及《Notes on Logic and Proof》该怎么读。全部官方事实以官方考纲与官方文件为准。
- 卷数
- 28
- 题目总数
- 827
- 免费试做
- 2
先说结论
- TMUA 的逻辑考纲只有 Arg1 到 Arg4 四条，加上四类证明与两条找错要求，一页纸写得完，值得逐条吃透而不是泛泛刷题。
- "A only if B" 的推理方向是由 A 推出 B，与 "if A then B" 相同；逆否命题与原命题永远同真假，逆命题则真假独立。
- 官方把 for some 定义为「至少存在一个」，不是日常语感的「一部分」；推翻 for all 型命题只需一个反例，推翻 there exists 型命题则要排除所有情形。
- 官方明确不考符号记法与真值表，数学归纳法也不在考纲的证明类型清单里，别在这两处浪费备考时间。
- 官方备考路线就三步：读考纲、读《Notes on Logic and Proof》、限时做真题；2016 至 2023 年真题仍然有效，且答错不扣分，永远不留空。
01
逻辑与证明：Paper 2 真正的分水岭
TMUA 的两份试卷共用 Section 1 的数学知识，但 Paper 2（Mathematical Reasoning，75 分钟 20 道选择题）多出一整块 Section 2：数学论证与证明。官方在《Notes on Logic and Proof》开篇写得很直接：定理与证明这套「形式化的数学」是 Paper 2 的主要考点。换句话说，Paper 1 考你会不会用数学，Paper 2 还要考你会不会「谈论」数学：判断一个命题的真假、看懂一条推理链是否成立、指出一段伪证错在哪一步。
对中国考生来说，这块内容既陌生又不陌生。陌生在于国内课程几乎不用 converse、contrapositive、only if 这套英文表述，也很少做「把打乱的证明重新排序」这类题；不陌生在于充分必要条件、反证法这些概念高中都学过，缺的只是把它们对应到英文术语和 TMUA 的设问方式上。
好消息是这块考纲小得惊人：逻辑部分只有 Arg1 到 Arg4 四条，证明部分是 Prf1 到 Prf5 加 Err1、Err2，全部内容一页纸写得下。官方也明说这门考试设计得有难度，用来区分校内成绩同样优秀的申请者：按 2025 年 10 月场官方《Explanation of Results》的口径，典型考生总分约 4.5，约 10% 的考生高于 7.0。恰恰因为大多数人没系统学过形式推理，这一块是投入产出比最高的提分点。
02
Arg1 条件语句：四种形式，先钉死「谁推出谁」
考纲 Arg1 要求掌握真与假、and、or（官方注明是「包含性的或」：A 或 B 至少一个成立即为真，两个都成立也算）、not，以及四种条件语句：
| 语句形式 | 含义 | 推理方向 |
|---|---|---|
| if A then B | 只要 A 成立，B 必成立 | 由 A 推出 B |
| A if B | 只要 B 成立，A 必成立 | 由 B 推出 A |
| A only if B | A 成立时 B 不可能缺席 | 由 A 推出 B |
| A if and only if B | 以上两个方向都成立 | A 与 B 互相推出 |
四行里真正的坑是第三行。"A only if B" 对应中文的「只有 B 才 A」，正确含义是 B 是 A 的必要条件，也就是由 A 推出 B；但很多同学会下意识把它读成「B 推出 A」，方向恰好反了。用一个生活化的例子校准：「一个数是 4 的倍数，only if 它是偶数」显然为真，它表达的推理是「是 4 的倍数」推出「是偶数」，而不是反过来。
备考时值得做一个小练习：拿任意一个简单的数学命题，把它分别改写成四种形式，再用自己的话说出每种形式下谁推出谁。这个功夫花在前面，后面的逆否命题、必要充分、否定全都建立在它上面。
03
逆命题与逆否命题：哪个和原命题同真假
Arg1 还明确要求三样东西：逆命题（converse）、逆否命题（contrapositive），以及它们与原命题之间的真值关系。以 "if A then B" 为原命题：
| 名称 | 形式 | 与原命题的真值关系 |
|---|---|---|
| 逆命题 converse | if B then A | 真假独立：原命题为真时，逆命题可真可假 |
| 逆否命题 contrapositive | if not B then not A | 与原命题永远同真假 |
两条结论要背到条件反射：逆否命题与原命题逻辑等价，推理中可以互相替换；逆命题与原命题真假无关，由原命题为真推不出任何关于逆命题的结论。顺带一提，「否命题」（if not A then not B）正是逆命题的逆否，所以它与逆命题共进退，与原命题无关。
Paper 2 的典型考法是给出一个为真的条件语句，问哪些相关命题必然为真，选项里混着逆命题、逆否命题和否命题。能瞬间完成分类的人几十秒拿分，现场逐个推的人两分钟还可能出错。还有一个实用技巧：遇到不好直接判断的条件语句，先改写成它的逆否命题再判断，两者等价，哪个顺手用哪个。不少证明里「非 B 则非 A」式的推理，来源就在这里。
04
Arg2 必要与充分：中国考生自带的主场优势
Arg2 只有一句话：理解并使用 necessary（必要）与 sufficient（充分）。这恰好是国内高中讲得最透的内容之一，充分条件、必要条件、充要条件的判断大多数考生练过很多，真正要补的只是英文表述与条件语句之间的换算：
| 英文表述 | 等价的条件语句 | 推理方向 |
|---|---|---|
| A is sufficient for B | if A then B | 由 A 推出 B |
| A is necessary for B | B only if A，即 if B then A | 由 B 推出 A |
| A is necessary and sufficient for B | A if and only if B | 互相推出 |
记忆锚点：充分是「有它就够了」，站在推理的出发端；必要是「没它不行」，站在推理的到达端。「A 对 B 必要」翻译成推理就是「B 成立必须以 A 在场为前提」，所以是由 B 推出 A。
要提防的是复合表述，比如 "necessary but not sufficient"：A 必要但不充分，同时断言了两件事，「B 推出 A」成立而「A 推出 B」不成立。考题常把这类表述套在具体数学对象上（整除性、不等式、函数性质）。稳妥的流程是机械的：先把英文翻译成「谁推出谁、哪个方向不成立」，再逐个方向代入数学内容验证，对怀疑不成立的方向直接去找反例。凭语感硬读，恰恰是这类题设计出来要惩罚的做法。
05
Arg3 量词：for some 的官方定义是「至少存在一个」
Arg3 要求理解并使用三个量词表述：for all（对所有）、for some、there exists（存在）。官方考纲在 for some 后面特意加了括号注释：意为 for at least one，「至少存在一个」。这条注释本身就是考点。
日常英语和中文语感里，「some」往往暗示「一部分而不是全部」。但在 TMUA 的数学语言里，for some 与 there exists 完全同义：只要至少有一个对象满足条件，含 for some 的命题就为真，哪怕实际上所有对象都满足，它仍然为真。也就是说，在讨论范围非空的前提下，由「for all 成立」可以直接推出「for some 成立」。这在语感上别扭，在逻辑上却是必须接受的约定，抱着日常读法不放的考生会把真命题判成假。
判断含量词命题的真假，方法是不对称的：要证明 for all 型命题为真，需要覆盖所有情形的论证；要证明它为假，只需一个反例。for some 型正相反：一个正例就足以证真，证伪则要说明所有对象都不满足。做题时先问自己「这个命题需要我找一个例子，还是排除所有例子」，想清楚站在不对称的哪一边再动手算，能避开这一块的大部分陷阱。
06
Arg4 否定：把「所有」变成「存在一个不」
Arg4 要求对使用上述任何术语的命题作否定。这是逻辑四条里最像算法的一条，规则完全机械：
- for all x, P 的否定是 there exists x, not P：想否定「所有」，只需要断言一个反例存在。
- there exists x, P（同 for some x, P）的否定是 for all x, not P：想否定「存在」，必须所有对象都不满足。
- A and B 的否定是 not A or not B；A or B 的否定是 not A and not B（or 仍是包含性的）。
- if A then B 的否定不是 if A then not B，而是「A 成立且 B 不成立」：条件语句唯一的失败方式，是前件发生而后件缺席。
最后一条最值得划重点。把条件语句的否定写成另一个条件语句，是 Paper 2 反复利用的错误直觉。另一个高频陷阱是多重量词：否定「对所有 x 存在 y 使得 P」时，量词要逐层翻转，得到「存在 x 使得对所有 y 都非 P」，层级顺序不能乱。
练习方法很简单：把教科书里任何一个定理的表述拿来，先写出否定，再把否定翻译回自然语言，检查它是不是一句说得通的话。官方明确不要求识别或使用符号记法，平时就应该直接用文字练否定，而不是先写符号再翻译。
07
四类证明：识别特征与出手时机
Section 2 的 Prf1 列出的证明类型一共四种。先说清单上没有的：官方考纲全文与官方《Notes on Logic and Proof》里，induction 一词出现次数为零，数学归纳法不在 TMUA 的证明类型清单里。A level 里学过归纳当然不吃亏，但为 TMUA 专门练归纳属于时间错配。
| 证明类型 | 思路 | 识别特征 |
|---|---|---|
| 直接演绎 | 从已知条件一步步推到结论 | 结论对所有对象成立，且存在自然的推导路径 |
| 分情况证明 | 把全部可能拆成有限个情形逐一处理 | 对象天然分类：奇偶、正负零、按余数分 |
| 反证法 | 假设结论不成立，推出矛盾 | 结论形如「不存在」「不可能」「是无理数」 |
| 举反例证伪 | 用一个具体对象推翻普遍命题 | 任务是证明某个 for all 型命题为假 |
这四种方法和 Arg3 的量词不对称性是一体的：for all 型命题证真靠前三种，证伪靠反例；for some 型命题证真只需构造一个具体例子。
还要记住一点：Paper 2 全部是选择题，不会要求你完整写出证明。考查的是识别与检验，「这段论证用的是哪种方法」「这一步在整个方法里起什么作用」「这种方法对这个命题是否适用」。所以备考重点不是练证明写作，而是练批判性地读证明。
08
从排序到找错：Paper 2 证明题的设问方式
围绕证明，考纲还列了 Prf2 到 Prf5 四种能力与 Err1、Err2 两条找错要求，它们基本对应 Paper 2 的几类高频设问：
- Prf2 由给定命题推出蕴涵：给若干前提，问哪些结论必然成立。纪律是只接受「被逼出来的」结论，不接受「看起来很像」的。
- Prf3 由小情形提出猜想并加以论证：先在小数值上算几个结果，识别规律，再判断哪个一般性结论经得起检验。
- Prf4 把打乱的命题序列重排成完整证明：纯粹考论证结构感，每一行消耗了上文的什么、又为下文准备了什么。
- Prf5 需要复杂推理链条的问题：多步推理的综合形态，是以上能力的合并考查。
- Err1、Err2 识别伪证中的错误：给一段看似成立的论证，要求定位出错的一步。考纲自己点名了两个经典的无效推理：由 ab = ac 约去 a 得到 b = c（a 可能为零），以及由 sin A = sin B 推出 A = B（正弦相等不代表角相等）。
对付找错题有一个稳定套路：逐行追问「这一步从上一步推过来，靠的是什么隐含假设」。做除法就问除数会不会是零，开平方就问符号取哪支，用反函数就问函数在这个范围内是否可逆，不等式两边同乘就问乘数的正负。伪证几乎从不败在明面的算术上，而是败在某个没写出来的假设悄悄失效的那一行。
09
官方明确不考的：符号记法与真值表
考纲在逻辑部分末尾有一条不太起眼但非常省时间的注释：考生不需要识别或使用这些术语的符号记法，也不需要完成形式化真值表。这意味着两件事。
第一，不要背逻辑符号。蕴涵箭头、全称与存在量词符号、合取析取符号都不在要求之列：官方原话是「不要求识别或使用这些术语的符号记法」。对着离散数学教材抄符号，练的是一门 TMUA 不考的技能，还可能给自己平添一道「符号转文字」的翻译工序。
第二，不要练真值表。真值表是把逻辑可能性机械枚举的工具，TMUA 要的是在具体数学语境里直接读出逻辑结构。判断 "A only if B" 的逆否命题是什么，靠的是对四种条件形式的熟练，不是画表格。
同样的精神贯穿整门考试：不提供公式册，所需的数学工具以 Section 1 的范围为界。逻辑与证明部分除了少数定义之外没有任何东西可背，它考的是一套读写习惯。这也是为什么拿大学逻辑教材备考 TMUA 属于典型的过度准备：内容对不上，深度也对不上，同样的时间花在官方《Notes on Logic and Proof》加限时真题上，收益高得多。
10
《Notes on Logic and Proof》怎么用：一条四步备考路径
官方对 TMUA 的备考建议一共三件事：读考纲、读《Notes on Logic and Proof》、限时做练习卷。《Notes》是官方专门为 Paper 2 写的小册子，开篇即说明它面向「还没在数学课堂或课外阅读里接触过定理与证明」的考生，覆盖的正是条件语句、量词、证明这套内容。它是出自命题方视角的逻辑入门材料，阅读顺序应排在任何第三方资料之前。
落到执行，建议按四步走：
- 通读考纲 Section 2 与《Notes》，把 Arg1 到 Arg4 的每条定义用自己的话复述一遍；
- 做翻译与否定练习：四种条件语句互写、必要充分与条件语句互换、含量词命题写否定，全部用文字完成；
- 熟悉四类证明与找错套路，读任何证明时逐行标注「这一步依赖什么」；
- 用历年真题的 Paper 2 做限时训练。2016 至 2023 年的真题虽出自纸笔时代，但考纲与命题风格未变，官方备考页仍然提供，是最接近实战的材料。TMUA 答错不扣分，从第一次计时练习起就应养成不留空的习惯。
时间上，逻辑与证明的概念部分集中两三周可以过完一轮，之后的差距全在熟练度：能不能在 75 分钟 20 题的节奏里，把「谁推出谁」读成条件反射。这一步只能靠计时练习完成。方添优学的练习中心提供按年份组织的真题与机考界面下的限时模式，可以作为这套训练的载体。
FAQ
常见问题
TMUA 考数学归纳法吗？
不考。官方考纲 Prf1 列出的证明类型只有四种：直接演绎、分情况证明、反证法、举反例证伪。考纲全文与官方《Notes on Logic and Proof》里都没有出现过 induction 一词。A level 里学过归纳法没有坏处，但为 TMUA 专门练归纳属于错配时间。
"A only if B" 和 "A if B" 有什么区别？
方向相反。"A if B" 是由 B 推出 A；"A only if B" 是由 A 推出 B，与 "if A then B" 等价。only if 给出的是 A 成立的必要条件：A 发生说明 B 一定在场。两个方向都成立时，就是 "A if and only if B"，互相推出。
TMUA Paper 2 需要背逻辑符号或者练真值表吗？
不需要。官方考纲明确写明：考生不需要识别或使用这些逻辑术语的符号记法，也不需要完成形式化真值表。备考时直接用文字练习即可，不必先学符号再翻译。
for some 在 TMUA 里到底是什么意思？
官方考纲注明 for some 意为 for at least one，「至少存在一个」，与 there exists 同义。只要有一个对象满足条件，命题就为真，即使所有对象都满足也仍然为真。不要按日常语感读成「只有一部分」。
《Notes on Logic and Proof》在哪里找，值得读吗？
在 UAT-UK 官网的 TMUA 备考资料页可以免费获取。它是官方专门为 Paper 2 写的入门小册子，面向还没接触过定理与证明的考生，官方备考建议也点名要求阅读。就逻辑与证明这部分而言，它应该排在任何第三方资料之前读。
没系统学过逻辑，Paper 2 还来得及准备吗？
来得及。这块考纲本身很小：Arg1 到 Arg4 四条逻辑要求，加四类证明与两条找错要求，概念部分集中两三周可以过完一轮。真正拉开差距的是熟练度，也就是限时条件下把「谁推出谁」读成条件反射，这要靠 2016 至 2023 年真题的计时训练来积累。
逻辑与证明只在 Paper 2 考吗？
是的，只在 Paper 2。两卷共用 Section 1 的数学知识，但逻辑与证明所在的 Section 2 只划定 Paper 2 的范围：Paper 1 考数学知识在各种情境中的应用，Paper 2 在同样的数学之上加考论证与证明。逻辑训练应该明确对着 Paper 2 做。
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.
FrontierVUE 是独立的备考练习平台，与 UAT-UK、Pearson、OCR、剑桥大学、 帝国理工学院或任何官方入学考试主办方均无隶属或背书关系。
把方法用到题上
方添优学上共有 28 套 TMUA 卷，其中 10 套是按现行考试格式搭建的 Frontier Original 模考卷，每题配完整解析。前 2 套免费试做。