数理逻辑笔试题.docxVIP

数理逻辑笔试题

考试时间：______分钟总分：______分姓名：______

一、单项选择题

1.下列命题中，逻辑真值为真的是：

(A)如果2+2=5，那么地球是平的。

(B)2+2=4且2+2=5。

(C)2+2=4或2+2=5。

(D)2+2≠4。

2.命题公式(p→q)?(?q→?p)是：

(A)重言式(Tautology)。

(B)可满足式(Satisfiable)但非重言式。

(C)矛盾式(Contradiction)。

(D)无法判断其类型。

3.给定命题公式p∧(q∨r)，下列哪个命题公式与它等价？

(A)(p∧q)∨(p∧r)

(B)p∧q∨p∧r

(C)p∨(q∧r)

(D)(p∨q)∧(p∨r)

4.命题公式(p∨q)→r的对偶式是：

(A)(p∧q)→r

(B)(?p∨?q)→?r

(C)?p∨(?q→r)

(D)?(p∨q)→?r

5.根据推理规则，从所有人都是会死的和苏格拉底是人可以必然推出：

(A)苏格拉底会死