谓词逻辑章节测试题（含详细答案解析）.docxVIP

谓词逻辑章节测试题（含详细答案解析）

适用范围：逻辑学、离散数学本科基础章节

考试时长：90分钟

满分：100分

说明：本试题涵盖谓词、量词、谓词公式翻译、公式解释与赋值、等值演算、前束范式、推理证明等核心考点，题型贴合常规期末及随堂测试，无偏题怪题。

一、填空题（每空2分，共20分）

1.在谓词逻辑中，原子命题被拆分为________和________两部分。

2.量词分为全称量词和存在量词，其中“?”表示________，“?”表示________。

3.谓词公式中，被量词约束的变元称为________，未被量词约束的变元称为________。

4.一个谓词公式如果________，则该公式为永真式（重言式）。

5.谓词公式等值变换中，量词否定等值式：??xP(x)?________，??xP(x)?________。

6.任意一个谓词公式都可以化为唯一的________范式。

二、单项选择题（每题3分，共15分）

1.下列关于个体变元的说法正确的是（）

A.约束变元可以随意替换名称

B.自由变元不受量词作用范围约束

C.一个公式中变元只能是约束变元或自由变元，不能同时存在

D.量词仅对紧邻的谓词起作用，与变元无关

2.命题“所有整数都是有理数”的正确谓词翻译是（）

设：P(x)：x是整数，Q(x)：x是有理数

A.?x(P(x)→Q(x))