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

2026年逻辑用语考试题及答案

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

1.在命题逻辑中，_________是判断命题真假的基本单位。

2.谓词逻辑中的量词包括_________和_________。

3.命题公式G是重言式当且仅当G的所有_________都是重言式。

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

5.哥德尔完备性定理表明，命题逻辑的任何定理都可在其_________中证明。

6.谓词逻辑中的Skolem范式是一种_________范式。

7.在命题逻辑中，_________是联结词的一种，表示命题的否定。

8.谓词逻辑中的_________是命题逻辑的推广，引入了个体和谓词的概念。

9.在谓词逻辑中，_________是量词的一种，表示存在量词。

10.哥德尔不可判定性定理表明，谓词逻辑的_________问题是不可判定的。

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

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

2.谓词逻辑可以表达命题逻辑无法表达的所有命题。（）

3.在命题逻辑中，命题公式G是重言式当且仅当G的否定是矛盾式。（）

4.谓词逻辑中的Skolem范式是一种等价范式。（）

5.哥德尔完备性定理表明，命题逻辑的任何定理都可在其公理系统中证明。（）

6.在谓词逻辑中，量词只包括全称量词。（）

7.