2026年逻辑用语综合试题及答案.docVIP

2026年逻辑用语综合试题及答案

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

1.在命题逻辑中，________是命题变元的最小集合。

2.谓词逻辑中的量词分为________和________两种。

3.命题公式G是重言式当且仅当G的________是重言式。

4.在谓词逻辑中，谓词的________表示谓词的函数性质。

5.命题逻辑中的________是指从一组前提推导出结论的推理规则。

6.谓词逻辑中的________是指在一个谓词公式中，所有量词的作用范围。

7.在命题逻辑中，________是指一个命题公式的主析取范式。

8.谓词逻辑中的________是指一个谓词公式的主合取范式。

9.命题逻辑中的________是指一个命题公式的主析取范式和主合取范式的统称。

10.在谓词逻辑中，________是指一个谓词公式中所有量词的排列顺序。

二、判断题（每题2分，共20分）

1.命题逻辑中的重言式在谓词逻辑中也是重言式。（）

2.谓词逻辑中的全称量词可以转换为存在量词。（）

3.命题逻辑中的合取范式和析取范式是唯一的。（）

4.谓词逻辑中的自由变元可以出现在量词的作用范围内。（）

5.命题逻辑中的推理规则在谓词逻辑中也是适用的。（）

6.谓词逻辑中的谓词可以表示命题变元。（）

7.命题逻辑中的主析取范式和主合取范式是唯一的。（）

8