2026年逻辑理论考试题库及答案.doc

2026年逻辑理论考试题库及答案

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

1.在命题逻辑中，_________是指一个命题公式在任何解释下都为真。

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

3.形式证明系统中的基本构件包括_________、_________和_________。

4.在自然演绎系统中，_________规则是用来推导出蕴含式的前提。

5.逻辑悖论是指_________。

6.在命题逻辑中，_________是指一个命题公式在任何解释下都为假。

7.谓词逻辑中的自由变量是指_________。

8.逻辑等价是指两个