2026年数理逻辑基础试题库.docxVIP

第PAGE页共NUMPAGES页

2026年数理逻辑基础试题库

一、单项选择题（每题2分，共10题）

1.题目：命题公式“?(P∧Q)”等价于（）。

A.“P∨?Q”

B.“?P∨?Q”

C.“?P∧Q”

D.“P∧?Q”

2.题目：以下哪项是命题公式？

A.“P∧Q∨R”

B.“(P∧Q)∨”

C.“?P∨(Q”

D.“P∨Q∧”

3.题目：命题公式“P→Q”与“?Q→?P”的关系是（）。

A.等价

B.互斥

C.对偶

D.非对称

4.题目：以下哪项是永真式？

A.“P∧?P”

B.“P∨?P”

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

D.“P∧(Q∨R)”

5.题目：谓词逻辑中，“?x(P(x)→Q(x))”的否定是（）。

A.“?x(?P(x)∧Q(x))”

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

C.“?x(P(x)∧?Q(x))”

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

二、填空题（每题3分，共5题）

6.题目：命题公式“P∧Q→P”的成真赋值是________。

7.题目：谓词逻辑中，“?x(P(x)∧Q(x))”的否定是________。

8.题目：命题公式“P?Q”的等价形式是________。

9.题目：命题逻辑中，永真式的另一种表达是________。

10.题目：谓词逻辑中，“?x(P(x)∨Q(x))”