01判断题easy
在非空论域中，∀xP(x) 一定蕴含 ∃xP(x)。
#量词逻辑#全称量词#存在量词
Question Bank
量词逻辑练习
包含量词公式、前束范式、Skolem 范式及常见练习题。 共 13 题，其中判断题 8 题，单选题 2 题，简答题 3 题。
返回章节
判断题 8单选题 2简答题 3
02判断题medium
∃x∀yP(x,y) 一定蕴含 ∀y∃xP(x,y)。
#量词逻辑#量词顺序#蕴涵
03判断题medium
∀y∃xP(x,y) 一定蕴含 ∃x∀yP(x,y)。
#量词逻辑#量词顺序#反例
04判断题medium
∀x(P(x)∧Q(x)) 与 ∀xP(x)∧∀xQ(x) 等价。
#量词逻辑#量词分配#等价公式
05判断题medium
∀x(P(x)∨Q(x)) 与 ∀xP(x)∨∀xQ(x) 等价。
#量词逻辑#量词分配#等价公式
06单选题medium
公式 ∀x∃yP(x,y) 的 Skolem 化结果可以写为
#量词逻辑#Skolem 范式#前束范式
07单选题easy
论域为整数时，下列命题为假的是
#量词逻辑#论域#解释
08简答题medium
简述把谓词公式化为前束范式的一般步骤。
简答题提交后展示参考答案和解析，暂不自动评分。
#量词逻辑#前束范式#简答题
09简答题medium
如何判断一个变量在谓词公式中的出现是自由出现还是约束出现？
简答题提交后展示参考答案和解析，暂不自动评分。
#量词逻辑#自由变元#约束变元#简答题
10判断题medium
Skolem 化通常保持逻辑等价性。
#量词逻辑#Skolem 范式#可满足性
11判断题easy
¬∀xP(x) 与 ∃x¬P(x) 等价。
#期末真题#量词逻辑#量词否定
12判断题easy
¬∃xP(x) 与 ∀x¬P(x) 等价。
#期末真题#量词逻辑#量词否定
13简答题medium
写出 ¬(∀xP(x)∧∃yQ(y)) 的等价形式。
简答题提交后展示参考答案和解析，暂不自动评分。
#期末真题#量词逻辑#量词否定#De Morgan 律