Question Bank

谓词逻辑练习

量词、谓词公式、解释、前束范式、Skolem 范式与公式蕴涵。 共 14 题,其中判断题 11 题,单选题 1 题,简答题 2 题。

返回章节
判断题 11单选题 1简答题 2
01单选题easy

如果论域为整数,下列语句为假的是

#历年真题#谓词逻辑#量词#解释
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))。

简答题提交后展示参考答案和解析,暂不自动评分。

#期末真题#谓词逻辑#量词分配#等价公式