谓词逻辑推理 — 计算机判断题
题目
判断下列推理是否有效：设论域为某班全体学生，L(x) 表示“x 修过线性代数”，D(x) 表示“x 能读懂离散证明”。前提：(1) ∀x(L(x)→D(x))；(2) 存在某学生 a 修过线性代数，即 L(a)。结论：D(a)。推理过程：由 (2) 得存在 x 满足 L(x)，取 x=a；由 (1) 用全称指定规则得 L(a)→D(a)；再由前提 (2) 与 L(a)→D(a) 用假言推理得 D(a)。上述推理及结论是否正确？
相关题目
计算机
填空题
设个体域为某实验室的全部仪器，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)分别表…
谓词逻辑推理