逻辑题经典题目及答案.docVIP

逻辑题经典题目及答案

一、填空题，(总共10题，每题2分)

1.在命题逻辑中，一个公式为重言式当且仅当其______。

2.谓词逻辑中，量词?x表示______。

3.在自然推理系统中，推理规则______允许从前提p和?p推导出任意结论q。

4.哥德尔第一不完备定理指出，任何包含基本算术的足够强的形式系统中，都存在一个命题，该命题在系统中既不能被证明为真，也不能被证明为假，这个命题被称为______。

5.在命题逻辑中，联结词“非”的符号表示为______。

6.谓词逻辑中，量词?x表示______。

7.在证明论中，______是一种通过反证法进行推理的证明方法。

8.在命题逻辑中，联结词“或”的符号表示为______。

9.哥德尔第二不完备定理指出，任何包含基本算术的足够强的形式系统中，都存在一个命题，该命题的真假在系统中无法被判定，这个命题被称为______。

10.在谓词逻辑中，谓词符号P(x)表示______。

二、判断题，(总共10题，每题2分)

1.在命题逻辑中，重言式是指在任何解释下都为真的公式。（正确）

2.谓词逻辑比命题逻辑更强大，因为它可以表达更复杂的命题。（正确）

3.在自然推理系统中，推理规则“假言推理”允许从前提p→q和p推导出q。（正确）

4.哥德尔第一不完备