01单选题easy
如果论域为整数，下列语句为假的是
#历年真题#谓词逻辑#量词#解释
Question Bank
谓词逻辑练习
量词、谓词公式、解释、前束范式、Skolem 范式与公式蕴涵。 共 14 题，其中判断题 11 题，单选题 1 题，简答题 2 题。
返回章节
判断题 11单选题 1简答题 2
02判断题medium
公式 ∀y∃xP(x,y) 与 ∀x∃yP(y,x) 等价。
#历年真题#谓词逻辑#约束变元#公式等价
03判断题medium
谓词公式与它的 Skolem 范式一定等价。
#历年真题#谓词逻辑#Skolem 范式#等价
04判断题medium
谓词公式与它的 Skolem 范式可满足性等价。
#历年真题#谓词逻辑#Skolem 范式#可满足性
05判断题easy
在非空论域下，∀xP(x) 蕴含 ∃xP(x)。
#历年真题#谓词逻辑#全称量词#存在量词#蕴涵
06判断题medium
∃x∀yP(x,y) 蕴含 ∀y∃xP(x,y)。
#历年真题#谓词逻辑#量词顺序#蕴涵
07判断题medium
∀y∃xP(x,y) 蕴含 ∃x∀yP(x,y)。
#历年真题#谓词逻辑#量词顺序#蕴涵
08判断题medium
在谓词公式中，一个变量只能是自由变量或约束变量中的一种。
#历年真题#谓词逻辑#自由变元#约束变元
09判断题easy
∃xP(x) 的 Skolem 范式可以写为 P(a)，其中 a 为常量符号。
#历年真题#谓词逻辑#Skolem 范式#存在量词
10判断题medium
∀x(P(x)∨Q(x)) 与 ∀xP(x)∨∀xQ(x) 等价。
#历年真题#谓词逻辑#量词分配#公式等价
11简答题hard
说明 Skolem 化为什么通常保持可满足性，但不保持逻辑等价性。
简答题提交后展示参考答案和解析，暂不自动评分。
#谓词逻辑#简答题#Skolem 范式#可满足性#逻辑等价
12判断题medium
谓词公式的前束范式与原公式逻辑等价。
#期末真题#谓词逻辑#前束范式#逻辑等价
13判断题medium
若解释 I 满足谓词公式 G，则 I 一定满足 G 的 Skolem 范式。
#期末真题#谓词逻辑#Skolem 范式#解释
14简答题medium
说明为什么 ∀xG(x)∨∀xH(x) 不一定等价于 ∀x(G(x)∨H(x))。
简答题提交后展示参考答案和解析，暂不自动评分。
#期末真题#谓词逻辑#量词分配#等价公式