命题比赛模拟数学试卷.docxVIP

命题比赛模拟数学试卷

一、选择题（每题1分，共10分）

1.在命题逻辑中，下列哪个公式是重言式？

A.(P→Q)?(?Q→?P)

B.P?(Q?P)

C.(P∧Q)→P

D.(P∨Q)?(Q∨P)

2.在谓词逻辑中，下列哪个量词表示“存在”？

A.?

B.?

C.→

D.?

3.在命题逻辑中，下列哪个推理规则是正确的？

A.合取引入

B.附加

C.拒绝

D.双重否定

4.在谓词逻辑中，下列哪个谓词表示“小于”？

A.B.≤

C.=D.≥

5.在命题逻辑中，下列哪个公式是可满足的？

A.(P∧?P)

B.(P∨?P)

C.(P∧Q)

D.(P∨Q)

6.在谓词逻辑中，下列哪个公式是永假的？

A.?x(P(x)→Q(x))

B.?x(P(x)∧?Q(x))

C.?x(P(x)∨?P(x))

D.?x(P(x)∧Q(x))

7.在命题逻辑中，下列哪个公式是等价的？

A.(P→Q)?(Q→P)

B.(P∧Q)?(Q∧P)

C.(P∨Q)?(?P∧?Q)

D.(P→Q)?(?P∨Q)

8.在谓词逻辑中，下列哪个公式是可证明的？

A.?x(P(x)→Q(x))

B.?x(P(x)∧?Q(x))

C.?x(P(x)∨?P(x))

D.?x(P(x)∧Q(x))

9.在命题逻辑中，下列哪个公式是永真的？

A.(P∧?P)

B.(P∨?P)

C.(P∧Q)

D.(P∨Q)

10.在谓词逻辑中，下列哪个公式是等价的？

A.?x(P(x)→Q(x))??x(?Q(x)→?P(x))

B.?x(P(x)∧Q(x))??x(Q(x)∧P(x))

C.?x(P(x)∨Q(x))?(?xP(x)∨?xQ(x))

D.?x(P(x)∨Q(x))?(?xP(x)∨?xQ(x))

二、多项选择题（每题4分，共20分）

1.在命题逻辑中，下列哪些是正确的推理规则？

A.合取引入

B.附加

C.拒绝

D.双重否定

2.在谓词逻辑中，下列哪些量词表示全称量化？

A.?

B.?

C.→

D.?

3.在命题逻辑中，下列哪些公式是可满足的？

A.(P∧?P)

B.(P∨?P)

C.(P∧Q)

D.(P∨Q)

4.在谓词逻辑中，下列哪些公式是永假的？

A.?x(P(x)→Q(x))

B.?x(P(x)∧?Q(x))

C.?x(P(x)∨?P(x))

D.?x(P(x)∧Q(x))

5.在命题逻辑中，下列哪些公式是等价的？

A.(P→Q)?(?Q→?P)

B.(P?Q)?(P→Q∧Q→P)

C.(P∧Q)?(Q∧P)

D.(P∨Q)?(Q∨P)

三、填空题（每题4分，共20分）

1.在命题逻辑中，公式(P∧Q)→P的对偶式是_______。

2.在谓词逻辑中，量词?xP(x)∨?xQ(x)等价于_______。

3.在命题逻辑中，推理规则“假言推理”的形式是(P→Q),?Q??P。

4.在谓词逻辑中，公式?x(P(x)→Q(x))∨?x(P(x)∧?Q(x))是_______式。

5.在命题逻辑中，公式(P?Q)?(P∧Q∨?P∧?Q)的逻辑含义是_______。

四、计算题（每题10分，共50分）

1.在命题逻辑中，判断公式(P∧(Q→R))→(P∧Q→R)是否为重言式。

2.在谓词逻辑中，求公式?x(P(x)→Q(x))?y(R(y)∧?Q(y))的否定。

3.在命题逻辑中，使用真值表证明公式(P?Q)?(P→Q∧Q→P)是重言式。

4.在谓词逻辑中，证明公式?x(P(x)→Q(x))?xP(x)→?xQ(x)是可证明的。

5.在命题逻辑中，使用间接证明法证明公式(P∧?Q)→(R→P)是重言式。

本专业课理论基础试卷答案及知识点总结如下

一、选择题答案及解析

1.C

解析：该公式是合取引入规则，根据合取的定义，如果P和Q都为真，则P和Q的合取也为真。

2.B

解析：?表示存在量词，用于表示至少存在一个个体满足谓词P。

3.A

解析：合取引入规则允许从P和Q推导出P∧Q，如果P和Q都