计算机判断题标准 ★ 精品

谓词逻辑推理 — 计算机判断题

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

题目

设论域非空，谓词 P(x)、Q(x) 分别表示对象 x 具有性质 P、Q。有人作出推理：前提为 ∀x(P(x)→Q(x)) 和 ∃xQ(x)，结论为 ∃xP(x)。判断“该推理有效”这一说法是否正确。