📚 Spanish Formula & Theorem Quick Reference Guide | 西班牙语公式定理速查手册
Welcome to your ultimate quick-reference companion for Year 12 Cambridge Spanish. This handbook reframes essential grammar, syntax, and usage rules as clear ‘formulae’ and ‘theorems’ — designed to help you internalise patterns, predict structures, and apply them with confidence in both written and spoken assessments. Think of verb endings as algebraic substitutions, trigger hypotheses as conditional statements, and prepositions as logical lemmas. By mastering these building blocks, you will approach A Level tasks analytically and expressively.
欢迎来到 Year 12 剑桥西班牙语课程的终极速查手册。本书将核心语法、句法和语用规则重塑为清晰的“公式”与“定理”，旨在帮助你内化模式、预判结构，并在写作和口语评估中自信运用。把动词词尾想象成代数替换，把虚拟语气触发假设为条件语句，把介词理解为逻辑引理。掌握这些积木块后，你将以分析性和表现力应对 A Level 任务。
1. Present Tense Conjugation Formula | 现在时动词变位公式
For regular verbs, the present indicative follows a straightforward suffix formula based on the infinitive ending. Remove the -ar, -er, or -ir to isolate the stem, then add the corresponding present-tense endings. This forms the ‘base layer’ of Spanish expression and underpins many subordinate structures.
对于规则动词，陈述式现在时遵循基于不定式词尾的简单后缀公式。去掉 -ar、-er 或 -ir 得到词干，然后添加相应的现在时词尾。这构成了西班牙语表达的“基础层”，并支撑起众多从属结构。
The mapping works like this: -ar verbs adopt the sequence -o, -as, -a, -amos, -áis, -an. -er verbs use -o, -es, -e, -emos, -éis, -en. -ir verbs mirror -er except in the ‘nosotros’ and ‘vosotros’ forms: -o, -es, -e, -imos, -ís, -en. These suffix arrays function as universal plug-and-play ‘conjugation templates’.
映射方式如下：-ar 动词采用序列 -o、-as、-a、-amos、-áis、-an。-er 动词使用 -o、-es、-e、-emos、-éis、-en。-ir 动词除了“nosotros”和“vosotros”形式外与 -er 相似：-o、-es、-e、-imos、-ís、-en。这些后缀数组可作为通用的即插即用“变位模板”。
Many high-frequency verbs resist these regular patterns and must be memorised as exceptional ‘irregular stems’. Stem-changing verbs (e.g. pensar > pienso, volver > vuelvo) follow predictable vowel shifts: e → ie, o → ue, e → i. Treat these as modified stem theorems within the same ending framework.
许多高频动词不符合这些规则模式，必须作为异常“不规则词干”来记忆。词干变化动词（如 pensar > pienso、volver > vuelvo）遵循可预测的元音转变：e → ie、o → ue、e → i。把这些视为相同词尾框架内的修正词干定理。
2. Preterite vs Imperfect: The Theorems of Past Narration | 过去时态叙事定理
Choosing between the preterite and imperfect requires applying two fundamental narrative theorems. The preterite (simple past) acts as the ‘event mover’: it reports completed actions, specific instants, and sequences that advance the storyline. The imperfect serves as the ‘scene setter’: it describes ongoing states, habitual actions, and background context without focusing on completion.
在简单过去时和未完成过去时之间做选择，需要运用两条基本叙事定理。简单过去时充当“事件推进者”：它报告已完成动作、特定瞬间以及推进情节的序列。未完成过去时则充当“场景设定者”：它描述持续的状态、习惯性动作和背景语境，而不着眼于完成。
The preterite conjugation formula involves a distinct set of endings: for -ar verbs, -é, -aste, -ó, -amos, -asteis, -aron; for -er and -ir verbs, -í, -iste, -ió, -imos, -isteis, -ieron. Note the accent marks, which are crucial for correct spelling and often appear in ‘trigger words’ like ayer, de repente, and una vez.
简单过去时的变位公式包含一套独特的词尾：-ar 动词使用 -é、-aste、-ó、-amos、-asteis、-aron；-er 和 -ir 动词使用 -í、-iste、-ió、-imos、-isteis、-ieron。注意重音符号，这对正确拼写至关重要，并常出现在“触发词”如 ayer、de repente 和 una vez 中。
The imperfect formula is remarkably stable and has fewer irregularities. -Ar verbs take -aba, -abas, -aba, -ábamos, -abais, -aban. -Er and -ir verbs share -ía, -ías, -ía, -íamos, -íais, -ían. The only three irregular imperfects are ir (iba, ibas…), ser (era, eras…), and ver (veía, veías…). Associated triggers include siempre, mientras, and cada día.
未完成过去时的变位公式异常稳定，不规则形式极少。-ar 动词采用 -aba、-abas、-aba、-ábamos、-abais、-aban。-er 和 -ir 动词共用 -ía、-ías、-ía、-íamos、-íais、-ían。仅有的三个不规则未完成过去时是 ir（iba、ibas…）、ser（era、eras…）和 ver（veía、veías…）。相关触发词包括 siempre、mientras 和 cada día。
3. Subjunctive Mood Trigger Theorem | 虚拟语气触发定理
The subjunctive is not a tense but a mood governed by a ‘trigger theorem’. Whenever the main clause expresses desire, doubt, emotion, denial, impersonal judgement, or uncertainty about a different subject, the dependent verb enters the subjunctive. The formula: QUE + [subjunctive form]. The subjunctive relies on present, imperfect, perfect, and pluperfect schemes all derived from distinct stem rules.
虚拟语气不是一种时态，而是受“触发定理”支配的语式。每当主句表达愿望、怀疑、情感、否定、非人称判断或对另一主语的不确定性时，从属动词就进入虚拟语气。公式为：QUE + [虚拟形式]。虚拟语气依赖现在时、未完成时、完成时和过去完成时框架，均由特定的词干规则衍生而来。
For the present subjunctive, take the ‘yo’ form of the present indicative, drop the -o, and add opposite-vowel endings: -e, -es, -e, -emos, -éis, -en for -ar verbs; -a, -as, -a, -amos, -áis, -an for -er and -ir verbs. This ‘reverse-vowel theorem’ generates most regular subjunctives. Irregularities (e.g. ser → sea, saber → sepa) are predictable if you know the irregular ‘yo’ form.
对于现在时虚拟式，取陈述式现在时“yo”形，去掉 -o，加上相反元音词尾：-ar 动词用 -e、-es、-e、-emos、-éis、-en；-er 和 -ir 动词用 -a、-as、-a、-amos、-áis、-an。这个“反向元音定理”生成大多数规则的虚拟形式。如果你知道不规则的“yo”形，不规则形式（如 ser → sea、saber → sepa）也是可预测的。
Common subjunctive triggers include: querer que, dudar que, es importante que, para que, a menos que, and ojalá que. Negative opinion phrases (no creer que, no pensar que) almost always drive the subjunctive, while their affirmative counterparts may trigger the indicative if the speaker is certain.
常见的虚拟语气触发词包括：querer que、dudar que、es importante que、para que、a menos que 和 ojalá que。否定意见短语（no creer que、no pensar que）几乎总是驱动虚拟语气，而其肯定形式如果说话者确定则可能触发陈述式。
4. Conditional Sentence Formulae: Type I, II, and III | 条件句公式：第一类、第二类和第三类
Spanish conditional sentences rely on precise tense-sequencing formulas. Type I (real conditions) uses Si + present indicative → future/certainty. This expresses likely or realistic outcomes: Si estudias, aprobarás. Type II (unlikely present/future) follows Si + imperfect subjunctive → conditional simple: Si tuviera dinero, viajaría. Type III (impossible past) adopts Si + pluperfect subjunctive → conditional perfect: Si hubiera sabido, habría venido.
西班牙语条件句依赖精确的时态序列公式。第一类（真实条件）使用 Si + 陈述式现在时 → 将来时/确定性。这表达可能或现实的结果：Si estudias, aprobarás。第二类（不大可能的现在/将来）遵循 Si + 未完成虚拟式 → 简单条件式：Si tuviera dinero, viajaría。第三类（不可能过去）采用 Si + 过去完成虚拟式 → 条件完成时：Si hubiera sabido, habría venido。
These templates are rigid: you cannot mix a present indicative si-clause with a conditional simple, nor can you replace the subjunctive with an infinitive. The three types form a logical hierarchy of speculation, and recognising the temporal ‘distance’ helps you choose automatically.
这些模板是严格的：你不能将陈述式现在时的 si 从句与简单条件式混用，也不能用不定式代替虚拟式。这三类构成了一个逻辑化的推测层次，识别时间上的“距离”有助于你自动做出选择。
Note that the conditional simple itself is formed by adding the imperfect endings -ía, -ías, -ía, -íamos, -íais, -ían directly to the full infinitive (or to irregular future stems like tendr-, podr-, dir-). This ‘infinitive + imperfect ending’ formula is elegantly uniform.
请注意，简单条件式本身是通过将未完成时词尾 -ía、-ías、-ía、-íamos、-íais、-ían 直接加在完整的不定式（或如 tendr-、podr-、dir- 等不规则将来词干）上来构成的。这个“不定式 + 未完成时词尾”的公式异常统一。
5. Si Clause Tense Sequencing Theorem | Si 从句时态序列定理
Beyond the basic if-then types, the si-clause theorem governs how main and subordinate clauses interact in the subjunctive-conditional continuum. When the main verb is in a past tense and the subordinate in subjunctive, imperfect subjunctive must be used even if the condition refers to the present. This ‘tense harmony’ ensures logical coherence.
除了基本的 if-then 类型之外，Si 从句定理还支配着虚拟-条件连续体中主从句如何相互作用。当主句动词为过去时，而从句为虚拟语气时，即使条件指的是现在，也必须使用未完成虚拟式。这种“时态和谐”确保了逻辑连贯。
For example: Me pidió que lo hiciera (He asked me to do it) illustrates that the triggering verb in the past forces the dependent subjunctive into the imperfect, not the present. This principle applies across noun, adjective, and adverbial clauses introduced by que, cuando, aunque, etc., as long as the main verb is past or conditional.
例如：Me pidió que lo hiciera（他让我做这件事）表明，过去时的触发动词强制使从属虚拟语气变为未完成时，而非现在时。这一原则适用于由 que、cuando、aunque 等引导的名词性、形容词性和状语从句，只要主句动词为过去时或条件式。
Adverbial conjunctions like para que, sin que, antes de que always require subjunctive, and their tense automatically aligns with the main verb. If the main verb is present or future, use present subjunctive; if past or conditional, use imperfect subjunctive. This alignment rule eliminates guesswork.
诸如 para que、sin que、antes de que 等状语连词始终要求虚拟语气，其时态自动与主句动词对齐。如果主句动词为现在或将来时，使用现在时虚拟式；如果为过去或条件式，则使用未完成虚拟式。这一对齐规则消除了猜测。
6. Object Pronoun Placement Formula | 宾语代词位置公式
Direct and indirect object pronouns adhere to strict positioning formulas. In declarative statements and negative commands, they precede the conjugated verb: Te lo doy (I give it to you). In affirmative commands, infinitives, and gerunds, they attach to the end of the verb, creating a single word: dámelo (give it to me), decírtelo (to tell it to you), diciéndoselo (telling it to him/her).
直接和间接宾语代词遵循严格的定位公式。在陈述句和否定命令中，它们置于变位动词之前：Te lo doy（我给你这个）。在肯定命令、不定式和副动词中，它们附着在动词末尾，构成一个单词：dámelo（给我那个）、decírtelo（把它告诉你）、diciéndoselo（正在把它告诉他/她）。
The order formula when both appear is indirect object pronoun + direct object pronoun, and ‘le/les’ morphs to ‘se’ before ‘lo/la/los/las’: Se lo compré (I bought it for him/her/them). This transformation is a mechanical ‘consonantal shift’ triggered by the clash of two ‘l’ sounds.
两者同时出现时的顺序公式为 间接宾语代词 + 直接宾语代词，并且 ‘le/les’ 在 ‘lo/la/los/las’ 前变为 ‘se’：Se lo compré（我给他/她/他们买了它）。这种转换是一个机械的“辅音音变”，由两个 ‘l’ 音冲突触发。
With compound verbs (e.g. auxiliary + infinitive/gerund), the pronouns can either precede the auxiliary or attach to the non-finite form: Lo estoy leyendo or Estoy leyéndolo. This flexibility is a valuable stylistic tool for emphasis and rhythm.
在复合动词中（例如助动词 + 不定式/副动词），代词既可以置于助动词前，也可以附着在非谓语形式上：Lo estoy leyendo 或 Estoy leyéndolo。这种灵活性是强调和调控节奏的宝贵风格工具。
7. The Impersonal and Passive ‘Se’ Formulae | 无人称和被动 Se 公式
The pronoun ‘se’ acts as a syntactic transformer with two distinct but related formulas. The impersonal ‘se’ constructs sentences where no specific agent is mentioned; the verb always appears in the third-person singular: Se vive bien aquí (One lives well here) or Se dice que… (It is said that…). This is the ‘anonymous subject’ theorem.
代词 ‘se’ 充当句法转换器，拥有两种不同但相关的公式。无人称 ‘se’ 构造不提及具体施事者的句子；动词始终以第三人称单数形式出现：Se vive bien aquí（这里生活得很好）或 Se dice que…（据说……）。这是“匿名主语”定理。
The passive ‘se’ formula applies when the grammatical subject is an inanimate object that receives the action. The verb agrees in number with this passive subject: Se venden coches (Cars are sold) versus Se vende un coche (A car is sold). The rule: if the noun after the verb is plural, the verb is plural.
被动 ‘se’ 公式适用于语法主语是承受动作的无生命物体时。动词在数上与这个被动主语保持一致：Se venden coches（汽车出售）对比 Se vende un coche（一辆车出售）。规则：如果动词后面的名词是复数，动词也要用复数。
To distinguish the two, check whether an explicit (often post-verbal) subject exists. Impersonal ‘se’ rarely has a concrete subject; passive ‘se’ almost always has one. This diagnostic separates Se necesita personal (Staff is needed, passive) from Se trabaja mucho aquí (One works a lot here, impersonal).
要区分二者，检查是否存在明确的（通常后置的）主语。无人称 ‘se’ 很少有一个具体主语；被动 ‘se’ 几乎总是有一个。这个诊断法可将 Se necesita personal（需要员工，被动）与 Se trabaja mucho aquí（这里工作量大，无人称）区分开来。
8. Por and Para Distinction Theorems | Por 与 Para 区分定理
The two prepositions for ‘for’ are governed by a set of semantic theorems. PARA points toward a destination, goal, recipient, deadline, or purpose: para ti (for you), estar para salir (about to leave), para el lunes (by Monday). Its core function is ‘directed finality’.
两个表示“for”的介词由一组语义定理支配。PARA 指向目的地、目标、接收者、截止期限或目的：para ti（给你）、estar para salir（正要出门）、para el lunes（在下周一前）。它的核心功能是“定向终结”。
POR conveys cause, exchange, duration, motive, means, and movement through a place: gracias por todo (thanks for everything), cambiar por (exchange for), por la mañana (in the morning), enviar por correo (send by mail), pasar por el parque (pass through the park). Its essence is ‘backward connection, passage, or agency’.
POR 传达原因、交换、持续时间、动机、方式和穿越某地的运动：gracias por todo（感谢一切）、cambiar por（用……交换）、por la mañana（在上午）、enviar por correo（由邮局发送）、pasar por el parque（穿过公园）。它的本质是“向后连接、通道或施事”。
Use the ‘DREAM’ mnemonic for PARA: Destination, Recipient, Effect (purpose), Aim (opinion: para mí…), and Motive (in the sense of in-order-to). For POR, think ‘ADDRESS’: Around (time/diffusion), Duration, Reason, Exchange, Subsitution/manner, and Stepping through (path). These mental frameworks make choice intuitive.
使用 ‘DREAM’ 记忆法记 PARA：Destination（目的地）、Recipient（接受者）、Effect（目的）、Aim（意见：para mí…）和 Motive（目的性）。对于 POR，记 ‘ADDRESS’：Around（时间/传播）、Duration（持续时间）、Reason（原因）、Exchange（交换）、Sustitution/manner（替代/方式）和 Stepping through（路径）。这些心智框架让选择变得直觉化。
9. Perfect Tenses Compound Formula: Haber + Past Participle | 完成时复合公式：Haber + 过去分词
All perfect tenses – present perfect, pluperfect, future perfect, conditional perfect, and perfect subjunctive – share one stable formula: HABER conjugated to the required tense/mood + past participle (invariable in -o). The participle never agrees in gender/number in these compound tenses, unlike adjectives. This seamless formula eliminates concord errors.
所有完成时态——现在完成时、过去完成时、将来完成时、条件完成时和完成虚拟式——共享一个稳定的公式：将 HABER 变位到所需时态/语式 + 过去分词（以不变词尾 -o 结尾）。在这些复合时态中，分词从不与性数配合，与形容词不同。这一无缝公式消除了配合错误。
Conjugation of “haber” for the key tenses: Present: he, has, ha, hemos, habéis, han. Imperfect: había, habías, había, habíamos, habíais, habían. Preterite: hube, hubiste, hubo, hubimos, hubisteis, hubieron (rare). Future: habré, habrás, habrá, habremos, habréis, habrán. Conditional: habría, habrías, habría, habríamos, habríais, habrían. Subjunctive present: haya, hayas, haya, hayamos, hayáis, hayan.
“haber” 在关键时态中的变位：现在时：he, has, ha, hemos, habéis, han。未完成时：había, habías, había, habíamos, habíais, habían。简单过去时：hube, hubiste, hubo, hubimos, hubisteis, hubieron（少见）。将来时：habré, habrás, habrá, habremos, habréis, habrán。条件式：habría, habrías, habría, habríamos, habríais, habrían。虚拟现在时：haya, hayas, haya, hayamos, hayáis, hayan。
Irregular past participles must be memorised, but they often fall into phonetic patterns: abrir → abierto, cubrir → cubierto, decir → dicho, escribir → escrito, hacer → hecho, poner → puesto, romper → roto, ver → visto, volver → vuelto. These participial ‘exceptions’ are finite and highly frequent.
不规则过去分词必须记忆，但它们常遵循语音模式：abrir → abierto、cubrir → cubierto、decir → dicho、escribir → escrito、hacer → hecho、poner → puesto、romper → roto、ver → visto、volver → vuelto。这些分词“例外”是有限且高度常用的。
10. Adjective Agreement and Position Theorem | 形容词配合与位置定理
Spanish adjectives are governed by a gender-number agreement theorem: they must match the noun in masculine/feminine and singular/plural. Most adjectives ending in -o change to -a for feminine, add -s for plural: un chico alto, una chica alta, chicos altos.
Published by TutorHao | Year 12 西班牙语 Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导