计算机填空题标准 ★ 精品

谓词逻辑推理 — 计算机填空题

离散数学（大学通用）谓词逻辑 AI 三重审校通过

题目

设个体域为某实验室的全部仪器，P(x)、Q(x)、R(x)分别表示“仪器x通过初检”“仪器x通过复检”“仪器x获准使用”。已知前提：∀x(P(x)→Q(x))，∀x(Q(x)→R(x))，¬R(a)。由谓词逻辑推理可得¬P(a)，其关键中间结论为____。