TMUA 高频失分点：官方点名的错误、逻辑陷阱与分数预期

TMUA 和校内考试有一个根本区别：它是刻意造难的选拔性考试。官方明确说这套考试设计得有挑战性，目的是把能力很强的申请者进一步区分开，并提醒考生不要指望考出校内考试那样的高分。换句话说，命题方非常清楚数学成绩好的学生会在哪里犯错，并且会围绕这些点命题。

证据就写在考纲里。考纲 Section 2 专门设了 Err1 与 Err2 两个条目：Err1 要求识别伪证（purported proofs）中的错误，Err2 更是直接举出两个具体的无效推理作为例子（由 ab = ac 推出 b = c，由 sin A = sin B 推出 A = B）。一门入学考试把「你大概率会怎么错」写进自己的考纲，这相当罕见，也说明这些错误不是偶发失误，而是可以被预判、也可以被训练掉的系统性漏洞。

下面按代价从高到低，把 TMUA 的高频失分点分成三组：代数与三角里的无效推理、逻辑题里的方向与量词错误、以及策略层面的误判（包括拿旧标度的分数给自己定目标）。每一组先讲为什么错，再讲怎么防。

消去 a 的动作，本质是两边同除以 a，而除法只有在除数不为零时才合法。当 a = 0 时，ab = ac 对任意 b 和 c 都成立，此时 b = c 完全没有依据。所以「若 ab = ac 则 b = c」不是有效推理，官方在 Err2 里把它列为第一个反面例子。

正确的处理方式是移项加因式分解：ab - ac = 0，即 a(b - c) = 0，于是 a = 0 或 b = c。注意结论是「或」，两种情形都必须保留，除非题面另有条件排除掉 a = 0。

考试里这个错误很少以原始形态出现，更多是变形：两边同除以 x、除以 (x - 1)、除以两个可能相等的式子之差、除以一个可能为零的对数或三角式。找错型题目里，错误行常常就是一步看起来理所当然的约分；那些「证明」出荒谬结论的伪证，矛盾多半也是从「除以了一个其实等于零的量」这一步混进来的。

防错习惯只有一条：凡是想「两边同除」，先问一句「这个因子会不会是零」。更进一步，平时解方程时把「约分」一律改写成「移项 + 因式分解」，这个习惯能同时救你两次：解方程时不丢根，读别人的证明时无效的约分会自动跳出来。

sin 不是一一对应的函数：同一个正弦值对应无穷多个角。sin A = sin B 的完整含义是 A = B + 360°k 或 A = 180° - B + 360°k（k 为整数），单独取 A = B 只是其中一支。官方把「由 sin A = sin B 推出 A = B」列为 Err2 的第二个反面例子，原因正在于此。

这个错误背后是一整个家族：

共同点都是对一个不可逆的运算强行「求逆」。在数解个数类的题目里（给定区间内方程有几个解），这类错误的代价最直接：漏掉一支通解，个数就数错，而错误的个数往往恰好就躺在选项里等你。

防错动作有两个：对函数「求逆」之前，先问它在当前定义域上是否一一对应；做过平方或开方的每一步，单独标记出来，最后回代检验是否引入或丢掉了解。

考纲 Arg1 明确要求掌握逆命题（converse）、逆否命题（contrapositive），以及它们与原命题真值之间的关系。规则其实很短：原命题与逆否命题永远同真假；原命题为真时，逆命题可真可假，两者没有必然联系。

高频失分场景是「以下哪个结论必然成立」类的逻辑题：正确答案往往是逆否命题，而最诱人的错误选项就是逆命题。举个生活化的例子：「若一个数是 4 的倍数，则它是偶数」为真，它的逆否命题「若一个数不是偶数，则它不是 4 的倍数」同样为真；但逆命题「若一个数是偶数，则它是 4 的倍数」显然为假。

为什么容易错：日常语言习惯把「如果 A 那么 B」听成「A 和 B 绑在一起」，于是方向感消失。官方说明不要求符号记法，也不考形式化真值表，但你自己在草稿上完全可以画箭头：把命题写成「A 指向 B」，逆否命题就是「非 B 指向非 A」（同一件事的另一种说法），逆命题是「B 指向 A」（完全是另一个命题）。两秒钟的箭头图，能挡住这一类里大半的错。

Arg1 列出四种条件语句：if A then B、A if B、A only if B、A if and only if B。中间两种是重灾区：

A if B 里，B 是条件，方向是「B 推 A」；而 A only if B 的方向恰恰相反，是「A 推 B」。多数人凭语感把 only if 读成语气加重的 if，方向一反，分就丢了，而且丢得毫无知觉。

理解 only if 的正确方式是从必要条件入手（这正是 Arg2 的考点）：A only if B 说的是「没有 B 就没有 A」，即非 B 推非 A，取逆否恰好是 A 推 B。所以 only if 后面跟的是必要条件，if 后面跟的是充分条件。用同一套话说：「A 是 B 的充分条件」等于「A 推 B」，「A 是 B 的必要条件」等于「B 推 A」。

这些表述在考卷上会包着数、函数、几何的外衣反复出现。上面那张表值得背到条件反射的程度，因为限时状态下你没有余力现场重推一遍。

Arg3 给 for some 的官方定义是「至少一个」（for at least one）。这里藏着两个高频错误。

第一，把 for some 读成「恰好一个」或「只有一部分」。按官方定义，如果一个性质对所有 x 都成立，那么「对某些 x 成立」同样为真，两者是相容的，不是对立的。判断题里，因为性质其实对全体成立就把 for some 命题判成假，是典型丢分点。

第二，否定量词命题时漏改量词。正确的规则是量词与内层命题一起翻转：

标志性的错误形态是把「所有天鹅都是白的」否定成「所有天鹅都不是白的」：谓词被否定了，量词却原地不动。第三行同样值得单独注意：「若 A 则 B」的否定是「A 且非 B」，不是「若 A 则非 B」。一个条件命题被驳倒，只需要一个「前提成立而结论不成立」的实例，这也正是反例法起作用的原理。

Arg4 把「否定含上述术语的命题」单独列为一条考纲要求。这是纯机械技能，而机械技能是可以练的：把各种形式的命题反复做否定，练到不经思考也不出错为止。

Paper 2 的真假判断类题目里，判「假」的标准动作是构造反例。漏找反例的位置高度集中在几类取值上：

动手找之前先确认定义域：题面说的是全体实数、正数还是整数？量词管到哪些对象？同一个命题换个定义域，真假可能完全不同。

顺带澄清一个常见误区，因为它直接影响备考时间怎么分配：官方考纲 Prf1 列出的证明类型只有四种（直接演绎、分情况、反证、举反例证伪），数学归纳法既不在这份列表里，也没有在官方的 Notes on Logic and Proof 里出现过。为 TMUA 专门去刷归纳法，不如把同样的时间投给反例构造训练。

Err1 的题型是给出一段伪证，要求找出其中的错误。时间压力之下，最常见的做法错位是把它当成「验证证明」来读：从头到尾顺一遍，每一步都「看起来差不多对」，最后要么找不到错，要么凭感觉选一行。

正确的姿势恰好相反：题型本身保证了错误一定存在，所以要用证伪者的眼睛读，而不是学习者的眼睛。带着一张清单逐行审问，而这张清单基本就是本文前几节的目录：

Prf4 的排序证明题（把打乱的命题重排成一段完整证明）考的是同一种能力的正向版本：只有看清每一行依赖哪些前提的人，才能排出唯一合法的顺序。

节奏上，75 分钟 20 题折算约 3 分 45 秒一题（这是算术参考，官方没有这样规定）。找错题通常比计算题更耗时，别把它们全部堆到最后十分钟。

TMUA 报告单一总分，1.0 到 9.0，精确到一位小数。很多考生的目标分来自论坛帖子和学长经验，但这里有一个致命的时间差：分数标度在 2024 年换过。杜伦官网写明，2023 年的 6.5 等同于 2024 年起的 5.0，2023 年的 4.5 等同于 2024 年起的 3.2 至 3.5。拿 2023 年以前的「6.5」当目标，等于凭空把要求抬高了一大截：模考达不到就恐慌，正式考试里动作变形，这是纯粹的自我加害。

现行标度下，官方给过的锚点来自每季发布的 Explanation of Results：典型考生约 4.5 分，约 10% 的考生高于 7.0。UAT-UK 不公布任何分数线，也没有及格分。目前有官方出处的院校数据是三家：杜伦（TMUA 达 5.0 及以上自动有资格被考虑降一档 offer）、华威数学（上一轮绝大多数 offer 给了 5.0 及以上的申请者）、帝国理工（公布了逐系数据：2025 入学季数学系 offer 均分 7.6，Overseas 申请者 8.4；帝国理工同时声明这是历史数据，不代表未来周期的要求）。这些数字并不矛盾，它们只是竞争强度完全不同的学校。看到任何分数目标，先问三件事：哪一年、哪个标度、谁公布的。

最后一个策略误判也放在这里：把 10 月和 1 月当成两次机会。官方规定一个申请周期内只能考一次，两个考季也没有优劣之分，不存在「先试水再刷分」。

官方给的备考建议一共三条：读考纲、读 Notes on Logic and Proof、限时做练习卷。把本文的错误清单落进日常，只需要四个动作：

FrontierVue 的练习与模考模块提供计时机考环境和按类别的错题复盘，可以直接配合上面这份清单使用。更完整的备考路径，参见我们的 TMUA 总览页与本系列其余指南。