2026年大学应用逻辑试题及答案.docVIP

2026年大学应用逻辑试题及答案

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

1.在命题逻辑中，______是指一个命题的否定形式。

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

3.在自然推理系统中，______规则允许我们从假设中推导出结论。

4.矛盾式是指命题公式在所有解释下都为______的命题公式。

5.在命题逻辑中，______是指一个命题公式在所有解释下都为真的命题公式。

6.在谓词逻辑中，______是指一个命题公式在所有解释下都为假的命题公式。

7.在逻辑证明中，______是指从一系列前提推导出结论的推理过程。

8.在命题逻辑中，______是指一个命题公式在某个解释下为真的最小集合。

9.在谓词逻辑中，______是指一个命题公式在某个解释下为真的最小集合。

10.在逻辑系统中，______是指一个命题公式不能被证明为真也不能被证明为假的命题公式。

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

1.命题逻辑的公理系统是完备的。（）

2.谓词逻辑的公理系统是完备的。（）

3.在自然推理系统中，假设可以随意引入和消除。（）

4.矛盾式在命题逻辑中是重言式。（）

5.在谓词逻辑中，量词的顺序不影响命题的真值。（）

6.在命题逻辑中，析取式是合取式的对偶式。（）

7.在谓词逻辑中，全称量词和存在量词是互相对偶的。（）