Year 13 CIE Spanish: Formula & Theorem Quick Reference Handbook | Year 13 CIE 西班牙语：公式定理速查手册

📚 Year 13 CIE Spanish: Formula & Theorem Quick Reference Handbook | Year 13 CIE 西班牙语：公式定理速查手册

Spanish grammar often feels like a vast landscape of exceptions, but at Year 13 CIE level, it can be reduced to a set of powerful formulas and theorems. This handbook reframes core rules as repeatable patterns—conjugation formulas, clause-structuring theorems, and fixed collocation equations—that help you tackle Paper 1, Paper 2 and the speaking exam with confidence. Master these formulas and you will always know how to build a correct, sophisticated sentence.

西班牙语语法常让人觉得例外繁多，但在 Year 13 CIE 阶段，它完全可以被提炼为一组强大的公式和定理。本手册将核心规则重构为可重复套用的模式——变位公式、从句结构定理和固定搭配方程——帮助你自信地应对卷一、卷二和口语考试。掌握这些公式，你就能随时构建出正确而高级的句子。

---

1. Present Tense Formula Collection | 现在时公式集

The present indicative is built on three verb families: -AR, -ER, -IR. Treat the endings as a substitution formula. For radical-changing verbs, apply the vowel-shift theorem: e → ie, o → ue, e → i (only in the stressed syllable, excluding nosotros/vosotros).

直陈式现在时建立在 -AR, -ER, -IR 三个动词家族上。把词尾看作替换公式。针对词根变化动词，应用元音转换定理：e → ie, o → ue, e → i（仅重读音节，排除 nosotros/vosotros）。

Pronoun	-AR (hablar)	-ER (comer)	-IR (vivir)
yo	-o	-o	-o
tú	-as	-es	-es
él/ella/usted	-a	-e	-e
nosotros	-amos	-emos	-imos
vosotros	-áis	-éis	-ís
ellos/ellas/ustedes	-an	-en	-en

Irregular yo-forms (salir → salgo, hacer → hago, conocer → conozco) follow the ‘first-person deviation postulate’: they only affect the present subjunctive and negative imperative, not the entire paradigm.

不规则 yo 形式（salir → salgo, hacer → hago, conocer → conozco）遵循“第一人称偏离公设”：它们只影响现在虚拟式和否定命令式，不影响整个词形变化表。

---

2. Preterite vs Imperfect: The Storytelling Theorem | 简单过去时与过去未完成时：叙事定理

The preterite is the narrative engine, used for completed actions with clear boundaries. The imperfect provides background description, habitual actions and ongoing processes. The theorem: when you can place the action on a timeline with a start and end point, use the preterite; when you are painting a scene or expressing repetition, use the imperfect.

简单过去时是叙事引擎，用于有明确界限的已完成动作。过去未完成时提供背景描写、习惯性动作和延续过程。定理：当你能把动作放在一个有起点和终点的时间线上时，用简单过去时；当你在描绘场景或表达重复时，用过去未完成时。

Preterite formula for regular verbs: -é, -aste, -ó, -amos, -asteis, -aron for -AR; -í, -iste, -ió, -imos, -isteis, -ieron for -ER/-IR. Watch for the ‘shoe’ stem changes in -IR verbs only in the third persons: dormir → durmió, durmieron (Theorem of the inverted boot).

规则动词简单过去时公式：-AR 结尾用 -é, -aste, -ó, -amos, -asteis, -aron；-ER/-IR 用 -í, -iste, -ió, -imos, -isteis, -ieron。注意只出现在 -IR 动词第三人称的“倒靴型”词干变化：dormir → durmió, durmieron（倒靴定理）。

Imperfect formula: -AR verbs take -aba, -abas, -aba, -ábamos, -abais, -aban; -ER/-IR verbs take -ía, -ías, -ía, -íamos, -íais, -ían. Only three irregulars: ir (iba), ser (era), ver (veía). This is the ‘near-zero irregularity property’.

过去未完成时公式：-AR 动词加 -aba, -abas, -aba, -ábamos, -abais, -aban；-ER/-IR 动词加 -ía, -ías, -ía, -íamos, -íais, -ían。只有三个不规则动词：ir (iba), ser (era), ver (veía)。这是“接近零不规则特性”。

---

3. Future and Conditional Formulas | 将来时与条件式公式

Both tenses are built on the full infinitive plus a set of endings. The future formula: infinitive + -é, -ás, -á, -emos, -éis, -án. The conditional formula: infinitive + -ía, -ías, -ía, -íamos, -íais, -ían. The irregular stems are identical for both tenses (the ‘parallel stem theorem’): tener → tendr-, salir → saldr-, poder → podr-, among others.

这两个时态都建立在完整动词原形加一套词尾之上。将来时公式：动词原形 + -é, -ás, -á, -emos, -éis, -án。条件式公式：动词原形 + -ía, -ías, -ía, -íamos, -íais, -ían。不规则词干在两个时态中完全一致（“平行词干定理”）：tener → tendr-，salir → saldr-，poder → podr- 等。

For advanced writing, apply the ‘future probability theorem’: use the future simple to express conjecture in the present (¿Dónde estará Juan? = I wonder where Juan is). Similarly, the conditional expresses probability in the past (Serían las diez = It was probably ten o’clock).

在高级写作中，运用“将来时推测定理”：用简单将来时表达对现在的猜想（¿Dónde estará Juan? = 胡安会在哪里呢？）。同样，条件式表达对过去的推测（Serían las diez = 那时大概是十点）。

---

4. The Subjunctive: Trigger and Clause Formulas | 虚拟式：触发条件与从句公式

The subjunctive is not a tense but a mood, governed by the ‘WEIRDO theorem’ and the ‘noun clause formula’. WEIRDO stands for Wishes, Emotions, Impersonal expressions, Recommendations, Doubt/denial, and Ojalá. When the main clause expresses one of these and the subject changes, use: que + [subjunctive] .

虚拟式不是时态而是语式，受“WEIRDO 定理”与“名词性从句公式”支配。WEIRDO 代表愿望、情感、无人称表达、建议、怀疑/否定和 Ojalá。当主句表达上述之一且主语变化时，使用：que + [虚拟式]。

Noun clause formula: S1 + V1 (WEIRDO verb) + que + S2 + V2 (subjunctive). Example: Quiero que tú vengas. S1 = yo, V1 = quiero, S2 = tú, V2 = vengas. If S1 = S2, use infinitive: Quiero venir.

名词性从句公式：S1 + V1 (WEIRDO 动词) + que + S2 + V2 (虚拟式)。例句：Quiero que tú vengas。如果 S1 与 S2 相同，则用动词原形：Quiero venir。

Adverbial clause theorem: conjunctions like ‘para que’, ‘a menos que’, ‘con tal de que’ always demand subjunctive if the main clause is not a command or habitual fact. ‘Cuando’, ‘hasta que’, ‘tan pronto como’ use subjunctive when referring to future events. Time expressions in the future: cuando + future event → subjunctive.

状语从句定理：如 ‘para que’、’a menos que’、’con tal de que’ 等连词总是要求虚拟式，除非主句是命令或习惯事实。’Cuando’、’hasta que’、’tan pronto como’ 在指未来事件时用虚拟式。未来时间表达：cuando + 未来事件 → 虚拟式。

---

5. Imperative Formula: Affirmative and Negative | 命令式公式：肯定与否定

The affirmative imperative is formed from the present indicative tú form minus the final -s (for tú), and from the present subjunctive for usted, nosotros, vosotros and ustedes. The negative imperative uses the present subjunctive across all persons. This is the ‘subjunctive-as-imperative theorem’.

肯定命令式由直陈式现在时 tú 形式去掉末尾 -s 构成（tú 形式），usted、nosotros、vosotros 和 ustedes 则用现在虚拟式。否定命令式所有人称都用现在虚拟式。这是“虚拟式即命令式定理”。

• Tú affirmative: habla, come, vive (regular). Irregulars: di, ve, sal, haz, ten, ven, pon, sé.
• Tú 肯定：habla, come, vive（规则）。不规则的：di, ve, sal, haz, ten, ven, pon, sé。
• Tú negative: no hables, no comas, no vivas.
• Tú 否定：no hables, no comas, no vivas。

When attaching object pronouns to an affirmative command, apply the ‘stress preservation theorem’: count back three syllables from the end and add a written accent if the original stress syllable is more than two back. Example: dígamelo (accent on í).

当宾格代词附着在肯定命令式上时，应用“重音保持定理”：从末尾起数三个音节，如果原重音音节落在倒数第三音节之前，则加书面重音。例如：dígamelo（重音在 í）。

---

6. Compound Tenses and Sequence of Tenses | 复合时态与时态呼应定理

The perfect and pluperfect are formed with the auxiliary ‘haber’ plus a past participle. The present perfect formula: he, has, ha, hemos, habéis, han + [-ado / -ido]. The pluperfect: había, habías, había, habíamos, habíais, habían + past participle. The future perfect and conditional perfect follow the same logic with their respective auxiliaries.

现在完成时和过去完成时由助动词 haber 加过去分词构成。现在完成时公式：he, has, ha, hemos, habéis, han + [-ado / -ido]。过去完成时：había, habías, había, habíamos, habíais, habían + 过去分词。将来完成时和条件式完成时依同类逻辑分别使用对应助动词。

Sequence of tenses in subjunctive (the ‘concordance theorem’): If the main verb is in present, future, or present perfect, the subordinate subjunctive must be present or present perfect. If the main verb is in preterite, imperfect, conditional or pluperfect, the subordinate subjunctive must be imperfect or pluperfect. This is non-negotiable in formal writing.

虚拟式时态呼应（“一致性定理”）：如果主句动词为现在时、将来时或现在完成时，从句虚拟式必须用现在虚拟式或现在完成虚拟式。如果主句动词为过去时态（简单过去时、过去未完成时、条件式或过去完成时），从句必须用过去虚拟式或过去完成虚拟式。这在正式写作中不容妥协。

---

7. Pronoun Placement and Redundancy Formulas | 代词位置与重复公式

The ‘one verb, one option rule’: with a single conjugated verb, object pronouns go directly before it. With an infinitive or gerund, they can be attached to the end, creating one word. With a conjugated verb + infinitive/gerund, you have two correct options: before the conjugated verb or after the infinitive/gerund. This is the ‘dual placement theorem’.

“一个动词，一个位置规则”：单个变位动词，宾格代词直接置于动词前。与动词原形或副动词连用时，可以后置并连写成一个词。变位动词 + 动词原形/副动词时，有两个正确位置：置于变位动词前，或置于动词原形/副动词后。这是“双位定理”。

• Te lo voy a dar. = Voy a dártelo.
• Te lo estoy explicando. = Estoy explicándotelo.

Redundant indirect object pronoun formula: even when the indirect object is explicitly stated, the pronoun is obligatory (le, les). Example: Le di el libro a María. The ‘le’ is not optional; this is the ‘redundancy requirement’. When both direct and indirect third-person objects appear together, ‘le/les’ changes to ‘se’ (the ‘se-avoidance theorem’): Se lo dije (a ellos).

与格代词重复公式：即使间接宾语明确出现，与格代词（le, les）也必须出现。例如：Le di el libro a María。这里‘le’不是可选的，这是“重复性要求”。当直接宾语和间接宾语同现且都是第三人称时，’le/les’ 变为 ‘se’（“se 避让定理”）：Se lo dije (a ellos)。

---

8. Comparative and Superlative Constructions | 比较级与最高级构成公式

Comparisons of inequality follow the formula: más/menos + adjective/adverb/noun + que . For numbers, use ‘de’ instead of ‘que’: más de cinco. The ‘comparison of equality theorem’ uses: tan + adjective/adverb + como , or tanto/a/os/as + noun + como .

不对称比较遵循公式：más/menos + 形容词/副词/名词 + que。数字前用 ‘de’ 替代 ‘que’：más de cinco。“对等比较定理”使用：tan + 形容词/副词 + como，或 tanto/a/os/as + 名词 + como。

The absolute superlative formula: adjective without the last vowel + -ísimo/a/os/as. Before the suffix, apply spelling adjustments: rico → riquísimo, largo → larguísimo. This is the ‘extreme quality theorem’.

绝对最高级公式：形容词去掉末元音 + -ísimo/a/os/as。加缀前需进行拼写调整：rico → riquísimo, largo → larguísimo。这是“极致特性定理”。

---

9. Connectors and Complex Sentence Formulas | 连接词与复合句公式

At CIE A Level, candidates must deploy a range of connectors to build cohesion. These can be memorised as formulaic pairs: not only … but also … = no solo … sino que también … ; on the one hand … on the other hand = por un lado … por otro lado . The contrast/concession theorem requires subjunctive after ‘aunque’ only when referring to a hypothetical or unknown scenario; if it is a known fact, use indicative.

在 CIE A Level 中，考生必须运用一系列连接词来建立语篇凝聚力。这些可作为公式化搭配记忆：’not only … but also … ‘ = no solo … sino que también … ；’on the one hand … on the other hand’ = por un lado … por otro lado 。让步/对别定理规定 ‘aunque’ 后只有在指假设或未知情景时才用虚拟式；如果是已知事实，则用直陈式。

Cause and effect formulas: ya que / puesto que / dado que + indicative (since, given that); como + indicative (since, placed at the start). Purpose formulas: para que / a fin de que + subjunctive. Remember the ‘matching mood theorem’ for each connector group.

因果关系公式：ya que / puesto que / dado que + 直陈式（既然，鉴于）；como + 直陈式（由于，置于句首）。目的公式：para que / a fin de que + 虚拟式。记住每个连接词组对应的“语式匹配定理”。

---

10. Passive Voice and Impersonal Formulas | 被动语态与无人称公式

The ‘ser + past participle (agreeing in gender and number) + por + agent’ formula is the classic passive. However, the ‘passive refieja’ (se + third-person verb) is far more common: Se venden casas. The theorem: when the object is a thing and no agent is specified, the reflexive passive is preferred.

经典被动公式为“ser + 过去分词（性与数一致）+ por + 施动者”。然而，“被动自复结构”（se + 第三人称动词）更为常见：Se venden casas。定理：当对象为事物且不指明施动者时，优先使用自复被动。

Impersonal ‘se’ formula: se + verb always in third-person singular, used with intransitive verbs or when the noun is preceded by ‘a’ (personal a). Example: Se vive bien aquí. Distinguish it from the accidental ‘se’ (se me olvidó), which follows the ‘unplanned occurrence theorem’: se + indirect object pronoun + third-person verb + subject (the thing).

无人称 se 公式：se + 动词始终用第三人称单数，用于不及物动词或名词前有 ‘a’（指人 a）时。例句：Se vive bien aquí。区分它和意外 se（se me olvidó），后者遵循“非计划事件定理”：se + 与格代词 + 第三人称动词 + 主语（事物）。

---

11. Ser vs Estar: The Identity vs State Theorem | Ser 与 Estar：本质与状态定理

This fundamental distinction can be reduced to a clear theorem: ‘ser’ expresses identity, origin, material, possession, time of events and inherent characteristics; ‘estar’ expresses location, temporary conditions and ongoing actions. Use ‘ser’ for a permanent career, ‘estar’ for a temporary job. However, note the ‘location of events’ exception: events take place with ‘ser’ (La fiesta es en casa), not ‘estar’, even though location normally demands ‘estar’.

这一根本区别可归纳为清晰定理：’ser’ 表达身份、来源、材料、所属、事件时间和内在特性；’estar’ 表达位置、暂时状态和正在进行的动作。长期职业用 ‘ser’，临时工作用 ‘estar’。但注意“事件地点”例外：事件发生地用 ‘ser’（La fiesta es en casa），不用 ‘estar’，尽管地点通常要求 ‘estar’。

Adjectives that change meaning: aburrido (ser = boring, estar = bored); listo (ser = clever, estar = ready); verde (ser = green, estar = unripe). This is the ‘semantic shift theorem with ser/estar’.

形容词意义变化：aburrido（ser = 令人厌烦的，estar = 感到无聊的）；listo（ser = 聪明的，estar = 准备好的）；verde（ser = 绿色的，estar = 未熟的）。这是“ser/estar 语义转换定理”。

---

12. Reported Speech and Tense Shifting Formula | 间接引语与时态后退公式

When reporting what someone said, apply the ‘backshift theorem’. If the introductory verb (dijo que, afirmó que) is in the past, shift the original tense one step back: present → imperfect, preterite/perfect → pluperfect, future → conditional, and present subjunctive → imperfect subjunctive. The only exception: imperfect and pluperfect do not shift.

转述他人话语时，应用“后移定理”。如果引述动词（dijo que, afirmó que）为过去时，将原时态后退一步：现在时 → 过去未完成时，简单过去时/现在完成时 → 过去完成时，将来时 → 条件式，现在虚拟式 → 过去虚拟式。唯一例外：过去未完成时和过去完成时不再后移。

Example: ‘Tengo frío’ → Dijo que tenía frío. ‘Iré mañana’ → Dijo que iría al día siguiente. Note the time expressions also shift: mañana → al día siguiente, aquí → allí, este → ese/aquel. This is the ‘deictic shift theorem’.

例句：’Tengo frío’ → Dijo que tenía frío。’Iré mañana’ → Dijo que iría al día siguiente。注意时间表达也发生变化：mañana → al día siguiente，aquí → allí，este → ese/aquel。这是“指示转换定理”。

Published by TutorHao | CIE Spanish Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）