谓词逻辑推理 — 计算机选择题
题目
设个体域为全体实数，谓词 P(x)：x 是有理数，Q(x)：x 可表示为有限小数，R(x)：x 是代数数。已知下列前提均为真：(1) ∀x(P(x)→Q(x))；(2) ∀x(Q(x)→R(x))；(3) ∃x P(x)。在谓词逻辑中，由这三个前提经正确推理可必然得出的结论是（ ）
A. ∃x R(x)
B. ∀x R(x)
C. ∃x ¬R(x)
D. ∀x(P(x)∧R(x))
相关题目
计算机
填空题
设个体域为某实验室的全部仪器，P(x)、Q(x)、R(x)分别表示“…
谓词逻辑推理
计算机
填空题
设个体域为某动物园的全部动物，谓词 M(x) 表示「x 是哺乳动…
谓词逻辑推理
计算机
判断题
设论域非空，谓词 P(x)、Q(x) 分别表示对象 x 具有性质 P、Q。…
谓词逻辑推理
计算机
填空题
设个体域为某图书馆的全部藏书，谓词 C(x) 表示「x 是经典著…
谓词逻辑推理
计算机
选择题
设个体域为全体鸟类，谓词 F(x) 表示「x 会飞」，S(x) 表示「x…
谓词逻辑推理
计算机
选择题
设论域为某研究团队的全部成员，A(x)、B(x)、C(x)、D(x)分别表…
谓词逻辑推理