2. 米尔五法：假设生成与检验的工具
2.1 求同法（Method of Agreement）——找必要条件
逻辑：
案例1：因素A、B、C → 现象x发生
案例2：因素A、D、E → 现象x发生
─────────────────────────────
∴ A 是 x 的必要条件（无A则无x）法律应用： 确定"构成某法律后果的必要事实要件"
示例： 所有盗窃案都有"取走行为"→"取走行为"是盗窃的必要条件
2.2 求异法（Method of Difference）——找充分条件
逻辑：
案例1：因素A、B、C → 现象x发生
案例2： B、C → 现象x不发生
─────────────────────────────
∴ A 是 x 的充分条件（有A则有x）法律应用： 判断某行为是否"足以"导致特定法律后果
示例： 有警告→无事故；无警告→有事故→警告是防止事故的充分条件
2.3 求同求异并用法（Joint Method）——必要+充分
逻辑： 同时应用求同法和求异法，强化因果推断
法律应用： 确定"关键事实"或"决定性因素"
2.4 剩余法（Method of Residues）——解释剩余部分
逻辑：
已知：A+B+C → x+y+z
已知：B → y，C → z
────────────────────
∴ A → x（剩余部分由新原因解释）法律应用： 识别"额外因素"（如歧视动机、精神损害）
2.5 共变法（Method of Concomitant Variation）——变量关系
逻辑：
A增强 → x增强
A减弱 → x减弱
────────────────────
∴ A 与 x 存在因果或共同原因关系法律应用： 识别程度关系（如过失程度与损害程度）