谓词逻辑推理 — 计算机选择题

设个体域为全体鸟类，谓词 F(x) 表示「x 会飞」，S(x) 表示「x 是天鹅」。考察如下推理：前提 (1) ∀x(S(x)→F(x))；(2) S(t)（t 是个体常项，表示一只名叫「小白」的天鹅）。由 US 规则从 (1) 可得 S(t)→F(t)，再由 (2) 与假言推理规则可得结论 F(t)，即「小白会飞」。该推理过程：A. 正确，两步均符合谓词逻辑推理规则 B. 错误，US 规则不能用于带全称量词的公式 C. 错误，假言推理不能用于谓词公式 D. 错误，前提 (2) 不能作为推理依据