《数理逻辑》试卷附答案.pdfVIP

《数理逻辑》期末试卷附答案

一、判断题每（题1分，共10分）

1.命题公式$（Pland\negP）$是永真式。（*）

2.任何命题公式都存在与之等价的析取范式。（4）

3.在自然演绎系统中，推理规则MP（ModusPonens）可以表示

为：若$\alpha\to\beta$和$\alpha$为真，则$\beta$为真。（4）

4.谓词逻辑中，全称量词$\forall$的辖域可以包含存在量词

$\exists$o（）

5.若公式$\alpha\models\beta$，则$\alpha$是$\beta$的逻辑

后承。（X）

6.任何矛盾式在真值表中至少有一行为真。（x）

7.集合论中的ZFC公理系统是一个完备的逻辑系统。（x）

8.命题逻辑中的重言式在任意赋值下均为真。（4）

9.谓词逻辑中的替换实例规则只能应用于全称量词。（x