TMUA 备考指南

TMUA 逻辑与证明全解：Arg1 到 Arg4 与四类证明

Q: TMUA 考数学归纳法吗？

不考。官方考纲 Prf1 列出的证明类型只有四种：直接演绎、分情况证明、反证法、举反例证伪。考纲全文与官方《Notes on Logic and Proof》里都没有出现过 induction 一词。A level 里学过归纳法没有坏处，但为 TMUA 专门练归纳属于错配时间。

Q: "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"，互相推出。

Q: TMUA Paper 2 需要背逻辑符号或者练真值表吗？

不需要。官方考纲明确写明：考生不需要识别或使用这些逻辑术语的符号记法，也不需要完成形式化真值表。备考时直接用文字练习即可，不必先学符号再翻译。

Q: for some 在 TMUA 里到底是什么意思？

官方考纲注明 for some 意为 for at least one，「至少存在一个」，与 there exists 同义。只要有一个对象满足条件，命题就为真，即使所有对象都满足也仍然为真。不要按日常语感读成「只有一部分」。

Q: 《Notes on Logic and Proof》在哪里找，值得读吗？

在 UAT-UK 官网的 TMUA 备考资料页可以免费获取。它是官方专门为 Paper 2 写的入门小册子，面向还没接触过定理与证明的考生，官方备考建议也点名要求阅读。就逻辑与证明这部分而言，它应该排在任何第三方资料之前读。

Q: 没系统学过逻辑，Paper 2 还来得及准备吗？

来得及。这块考纲本身很小：Arg1 到 Arg4 四条逻辑要求，加四类证明与两条找错要求，概念部分集中两三周可以过完一轮。真正拉开差距的是熟练度，也就是限时条件下把「谁推出谁」读成条件反射，这要靠 2016 至 2023 年真题的计时训练来积累。

Q: 逻辑与证明只在 Paper 2 考吗？

是的，只在 Paper 2。两卷共用 Section 1 的数学知识，但逻辑与证明所在的 Section 2 只划定 Paper 2 的范围：Paper 1 考数学知识在各种情境中的应用，Paper 2 在同样的数学之上加考论证与证明。逻辑训练应该明确对着 Paper 2 做。

Paper 2 的逻辑与证明是 TMUA 上最让人无从下手的部分：converse、only if、for some 这些表述在国内课堂几乎不出现，可它们恰恰是官方考纲 Section 2 的正文。这篇指南逐条拆解 Arg1 到 Arg4 与四类证明：四种条件语句谁推出谁、逆否命题为什么可靠、for some 为什么官方定义成「至少存在一个」、含量词的命题怎么否定、伪证里的错误藏在哪，以及《Notes on Logic and Proof》该怎么读。全部官方事实以官方考纲与官方文件为准。

10 个小节3,992 字约 10 分钟读完6 条官方来源

练习 28 套 TMUA 卷（2 套免费）查看完整 TMUA 考情

卷数: 28
题目总数: 826
免费试做: 2

逻辑与证明速查

考在哪里: 只在 Paper 2（Mathematical Reasoning，75 分钟 20 道选择题）
考纲清单: 逻辑 Arg1 到 Arg4，证明 Prf1 到 Prf5，找错 Err1、Err2，一页纸写得完
方向铁律: "A only if B" 由 A 推出 B；逆否命题与原命题同真假，逆命题真假独立
官方定义: for some 意为「至少存在一个」，与 there exists 同义
明确不考: 符号记法、形式化真值表；数学归纳法也不在证明类型清单里

以上口径出自 TMUA 官方考纲 Section 2 与官方《Notes on Logic and Proof》。两卷共用 Section 1 的数学知识，Section 2 只划定 Paper 2 的范围，逻辑训练应该明确对着 Paper 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 年真题仍然有效，且答错不扣分，永远不留空。

第 1 部分 / 共 3 部分

涵盖第 01 到 04 节

逻辑与证明：Paper 2 真正的分水岭

TMUA 的两份试卷共用 Section 1 的数学知识，但 Paper 2（Mathematical Reasoning，75 分钟 20 道选择题）多出一整块 Section 2：数学论证与证明。官方在《Notes on Logic and Proof》开篇写得很直接：定理与证明这套「形式化的数学」是 Paper 2 的主要考点。换句话说，Paper 1 考你会不会用数学，Paper 2 还要考你会不会「谈论」数学：判断一个命题的真假、看懂一条推理链是否成立、指出一段伪证错在哪一步。

考纲 Section 2：数学论证与证明

只划定 Paper 2 的范围，全部内容一页纸写得下

逻辑 Arg1 到 Arg4四条要求

Arg1 真与假、and、or、not 与四种条件语句
Arg1 逆命题、逆否命题与真值关系
Arg2 必要（necessary）与充分（sufficient）
Arg3 量词 for all、for some、there exists
Arg4 对使用上述任何术语的命题作否定

证明 Prf1 到 Prf5四类证明加四种能力

Prf1 直接演绎、分情况、反证法、举反例证伪
Prf2 由给定命题推出蕴涵
Prf3 由小情形提出猜想并加以论证
Prf4 把打乱的命题序列重排成完整证明
Prf5 需要复杂推理链条的问题

找错 Err1、Err2识别伪证中的错误

由 ab = ac 约去 a 得到 b = c
由 sin A = sin B 推出 A = B

官方明确不考省下来的备考时间

逻辑术语的符号记法
形式化真值表
数学归纳法（不在证明类型清单里）

点击分支 · 生长展开

20 题 / 75 分钟

Paper 2 的作答规模，全部为选择题

约 4.5

2025 年 10 月场官方口径下典型考生的总分

约 10%

总分高于 7.0 的考生比例

对中国考生来说，这块内容既陌生又不陌生。陌生在于国内课程几乎不用 converse、contrapositive、only if 这套英文表述，也很少做「把打乱的证明重新排序」这类题；不陌生在于充分必要条件、反证法这些概念高中都学过，缺的只是把它们对应到英文术语和 TMUA 的设问方式上。官方也明说这门考试设计得有难度，用来区分校内成绩同样优秀的申请者；恰恰因为大多数人没系统学过形式推理，这一块是投入产出比最高的提分点。

Arg1 条件语句：四种形式，先钉死「谁推出谁」

考纲 Arg1 要求掌握真与假、and、or、not，以及四种条件语句。官方对 or 特意注明是「包含性的或」：A 或 B 至少一个成立即为真，两个都成立也算。

	含义	推理方向
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 互相推出

第三行是失分重灾区：only if 的推理方向与 if A then B 相同，不是反过来。

"A only if B" 对应中文的「只有 B 才 A」，正确含义是 B 是 A 的必要条件，也就是由 A 推出 B；但很多同学会下意识把它读成「B 推出 A」，方向恰好反了。用一个生活化的例子校准：「一个数是 4 的倍数，only if 它是偶数」显然为真，它表达的推理是「是 4 的倍数」推出「是偶数」，而不是反过来。

值得做一个小练习：拿任意一个简单的数学命题，把它分别改写成四种形式，再用自己的话说出每种形式下谁推出谁。这个功夫花在前面，后面的逆否命题、必要充分、否定全都建立在它上面。

逆命题与逆否命题：哪个和原命题同真假

Arg1 还明确要求三样东西：逆命题（converse）、逆否命题（contrapositive），以及它们与原命题之间的真值关系。全部以「if A then B」为原命题来看。

逆命题 converse

if B then A

真假独立：原命题为真时，逆命题可真可假

逆否命题 contrapositive

if not B then not A

与原命题永远同真假，推理中可以互相替换

否命题 inverse

if not A then not B

是逆命题的逆否，与逆命题共进退，与原命题无关

两条结论要背到条件反射：逆否命题与原命题逻辑等价，推理中可以互相替换；逆命题与原命题真假无关，由原命题为真推不出任何关于逆命题的结论。

Paper 2 的典型考法是给出一个为真的条件语句，问哪些相关命题必然为真，选项里混着逆命题、逆否命题和否命题。能瞬间完成分类的人几十秒拿分，现场逐个推的人两分钟还可能出错。还有一个实用技巧：遇到不好直接判断的条件语句，先改写成它的逆否命题再判断，两者等价，哪个顺手用哪个。不少证明里「非 B 则非 A」式的推理，来源就在这里。

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	互相推出

记忆锚点：充分是「有它就够了」，站在推理的出发端；必要是「没它不行」，站在推理的到达端。

要提防的是复合表述，比如 "necessary but not sufficient"：A 必要但不充分，同时断言了两件事，「B 推出 A」成立而「A 推出 B」不成立。考题常把这类表述套在具体数学对象上，例如整除性、不等式、函数性质。凭语感硬读，恰恰是这类题设计出来要惩罚的做法，稳妥的流程是机械的三步。

01第 1 步

先翻译成推理方向

把英文表述换成「谁推出谁、哪个方向不成立」，在没写清楚方向之前不碰数学内容。

02第 2 步

逐个方向代入数学内容

把整除性、不等式、函数性质这些具体对象代进去，一个方向一个方向地验证，不合并处理。

03第 3 步

对怀疑不成立的方向去找反例

怀疑哪个方向是假的，就直接去找反例。这一步与考纲后面的证明能力直接相连。

第 2 部分 / 共 3 部分

涵盖第 05 到 08 节

Arg3 量词：for some 的官方定义是「至少存在一个」

Arg3 要求理解并使用三个量词表述：for all（对所有）、for some、there exists（存在）。官方考纲在 for some 后面特意加了括号注释：意为 for at least one，「至少存在一个」。这条注释本身就是考点。

日常英语和中文语感里，「some」往往暗示「一部分而不是全部」。但在 TMUA 的数学语言里，for some 与 there exists 完全同义：只要至少有一个对象满足条件，命题就为真，哪怕实际上所有对象都满足，它仍然为真。也就是说，在讨论范围非空的前提下，由「for all 成立」可以直接推出「for some 成立」。抱着日常读法不放的考生会把真命题判成假。

	证明为真	证明为假
for all 型（对所有）	需要覆盖所有情形的论证	只需一个反例
for some / there exists 型（存在）	一个正例就足够	要说明所有对象都不满足

判断含量词命题的真假，方法就是这样不对称的。做题时先问自己「这个命题需要我找一个例子，还是排除所有例子」，想清楚站在不对称的哪一边再动手算，能避开这一块的大部分陷阱。这也正是 Paper 2 想检验的那种精确。

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

否定之后 and 变成 or

A or B

not A and not B

or 仍然是包含性的，否定后两边都必须不成立

if A then B

A 成立且 B 不成立

不是 if A then not B：条件语句唯一的失败方式，是前件发生而后件缺席

最后一条最值得划重点。把条件语句的否定写成另一个条件语句，是 Paper 2 反复利用的错误直觉，在反证法开头「假设命题不成立」的地方还会再出现一次。另一个高频陷阱是多重量词：否定「对所有 x 存在 y 使得 P」时，量词要逐层翻转，得到「存在 x 使得对所有 y 都非 P」，层级顺序不能乱。

练习方法很简单：把教科书里任何一个定理的表述拿来，先写出否定，再把否定翻译回自然语言，检查它是不是一句说得通的话。官方明确不要求识别或使用符号记法，平时就应该直接用文字练否定，而不是先写符号再翻译。

四类证明：识别特征与出手时机

Section 2 的 Prf1 列出的证明类型一共四种。先说清单上没有的：官方考纲全文与官方《Notes on Logic and Proof》里，induction 一词出现次数为零，数学归纳法不在 TMUA 的证明类型清单里。A level 里学过归纳当然不吃亏，但为 TMUA 专门练归纳属于时间错配。

	思路	识别特征
直接演绎	从已知条件一步步推到结论	结论对所有对象成立，且存在自然的推导路径
分情况证明	把全部可能拆成有限个情形逐一处理	对象天然分类：奇偶、正负零、按余数分
反证法	假设结论不成立，推出矛盾	结论形如「不存在」「不可能」「是无理数」
举反例证伪	用一个具体对象推翻普遍命题	任务是证明某个 for all 型命题为假

这四种方法和 Arg3 的量词不对称性是一体的：for all 型命题证真靠前三种，证伪靠反例；for some 型命题证真只需构造一个具体例子。识别题型的第一步，其实就是先看清命题带的是哪个量词。

还要记住一点：Paper 2 全部是选择题，不会要求你完整写出证明。考查的是识别与检验，「这段论证用的是哪种方法」「这一步在整个方法里起什么作用」「这种方法对这个命题是否适用」。所以备考重点不是练证明写作，而是练批判性地读证明。

从排序到找错：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（正弦相等不代表角相等）。

对付找错题有一个稳定套路：逐行追问「这一步从上一步推过来，靠的是什么隐含假设」。常见的四个追问点如下。

做除法

除数会不会是零

开平方

符号取哪一支

用反函数

函数在这个范围内是否可逆

不等式两边同乘

乘数是正是负

伪证几乎从不败在明面的算术上，而是败在某个没写出来的假设悄悄失效的那一行。

III

第 3 部分 / 共 3 部分

涵盖第 09 到 10 节

官方明确不考的：符号记法与真值表

考纲在逻辑部分末尾有一条不太起眼但非常省时间的注释：考生不需要识别或使用这些术语的符号记法，也不需要完成形式化真值表。这句话有两个实际后果。

逻辑符号

不要背

蕴涵箭头、全称与存在量词符号、合取析取符号都不在要求之列

真值表

不要练

Paper 2 要的是在具体数学语境里直接读出逻辑结构

公式册

不提供

所需的数学工具以考纲 Section 1 的范围为界

对着离散数学教材抄符号，练的是一门 TMUA 不考的技能，还可能给自己平添一道「符号转文字」的翻译工序。真值表则是把逻辑可能性机械枚举的工具，而判断「A only if B」的逆否命题是什么，靠的是对四种条件形式的熟练，不是画表格。

逻辑与证明部分除了少数定义之外没有任何东西可背，它考的是一套读写习惯。这也是为什么拿大学逻辑教材备考 TMUA 属于典型的过度准备：内容对不上，深度也对不上，同样的时间花在官方《Notes on Logic and Proof》加限时真题上，收益高得多。

《Notes on Logic and Proof》怎么用：一条四步备考路径

官方对 TMUA 的备考建议一共三件事：读考纲、读《Notes on Logic and Proof》、限时做练习卷。《Notes》是官方专门为 Paper 2 写的小册子，开篇即说明它面向「还没在数学课堂或课外阅读里接触过定理与证明」的考生，覆盖的正是条件语句、量词、证明这套内容。它出自命题方视角，阅读顺序应排在任何第三方资料之前。

01第 1 步

通读考纲 Section 2 与《Notes》

把 Arg1 到 Arg4 的每条定义用自己的话复述一遍，说不顺的那条就是漏洞所在。

02第 2 步

做翻译与否定练习

四种条件语句互写、必要充分与条件语句互换、含量词命题写否定，全部用文字完成，不写符号。

03第 3 步

熟悉四类证明与找错套路

读任何证明时逐行标注「这一步依赖什么」，把批判性阅读变成默认动作。

04第 4 步

用历年真题做限时训练

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 做。

SOURCES

官方来源

MORE GUIDES

其它 TMUA 备考指南

登录后按课学习

难点在哪

3 分钟 · 4 题检核 · 进度会记下来

这篇指南对应的学生任务版：一次读得完，读完当场检核。

FrontierVUE 是独立的备考练习平台，与 UAT-UK、Pearson、OCR、剑桥大学、帝国理工学院或任何官方入学考试主办方均无隶属或背书关系。

把方法用到题上

方添优学上共有 28 套 TMUA 卷，其中 10 套是按现行考试格式搭建的 Frontier Original 模考卷，每题配完整解析。前 2 套免费试做。

免费试做 TMUA 卷查看定价