大学离散数学（大学通用）上册《谓词逻辑》练习题

共 27 道沉淀题 · AI 对照课标原创 · 三重审校答案可核对

需要完整试卷（离散数学（大学通用）上册《谓词逻辑》单元测试卷）？

按本单元考点 AI 生成整卷：正卷 + 答案页 + 逐题解析，PDF 精排 / Word 可编辑 / 打印装订寄到家。

生成完整试卷 →

本单元考点（5 个）

谓词与量词谓词公式及解释自由变元与约束变元前束范式谓词逻辑推理

题目预览（5/27 题）

选择题 ★ 精品详情 →

1. 设论域为全体学生，P(x) 表示“x 通过逻辑测验”，Q(x) 表示“x 完成了全部练习”，R(x) 表示“x 参加了复测”。已知：每个通过逻辑测验的学生都完成了全部练习；有学生参加了复测但没有完成全部练习。由此必然推出的是： A. 有学生参加了复测但没有通过逻辑测验　B. 每个参加复测的学生都没有通过逻辑测验　C. 有学生通过了逻辑测验但没有参加复测　D. 每个没有完成全部练习的学生都参加了复测

登录查看答案

判断题 ★ 精品详情 →

2. 设论域为某档案库中的全部记录，V(x) 表示“记录 x 已通过校验”，A(x) 表示“记录 x 已归档”。已知：每条通过校验的记录都已归档，且存在未归档的记录。判断：由此可以推出存在未通过校验的记录。

登录查看答案

判断题 ★ 精品详情 →

3. 判断：对谓词公式 ∀u(R(u,v)→∃v S(u,v,t))，命题“自由变元集合为{v,t}，约束变元集合为{u,v}，且 v 只作为约束变元出现”正确。

登录查看答案

选择题 ★ 精品详情 →

4. 设个体域为全体实数，谓词 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))

登录查看答案

判断题 ★ 精品详情 →

5. 判断：在谓词公式 ∀x(P(x,y) ∧ ∃y Q(x,y,z)) 中，约束变元集合为{x,y}，自由变元集合为{y,z}；因此，约束变元集合与自由变元集合必不相交。

登录查看答案

还有 22 题在题库沉淀中，进入题库浏览全部，或直接生成整卷练习。

离散数学（大学通用）其他单元练习题

命题逻辑（27题）集合论（27题）关系（27题）函数（27题）图论基础（27题）树（27题）组合计数（27题）递推关系与生成函数（27题）代数系统（27题）格与布尔代数（18题）

题目由 AI 对照课标原创生成并经机审+人审，如发现质量问题可联系我们。