2025年数理逻辑游戏题库及答案.docVIP

2025年数理逻辑游戏题库及答案

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

1.下列哪个命题在数理逻辑中是恒真的？

A.P∧?P

B.P∨?P

C.P→P

D.P?P

答案：B

2.逻辑表达式(P∧Q)→P的等价形式是？

A.P∨Q

B.P∧Q

C.?P∨Q

D.?P∧?Q

答案：C

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

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

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

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

D.(P→Q)∧(Q→P)

答案：A

4.逻辑表达式?(P∧Q)的等价形式是？

A.?P∧?Q

B.?P∨?Q

C.P∧?Q

D.P∨Q

答案：B

5.下列哪个是命题逻辑中的蕴涵式？

A.P∨Q

B.P∧Q

C.P→Q

D.P?Q

答案：C

6.在命题逻辑中，下列哪个是永假式？

A.P∨?P

B.P∧?P

C.P→P

D.P?P

答案：B

7.逻辑表达式(P∧Q)∨(P∧?Q)的等价形式是？

A.P∧Q

B.P∨Q

C.P∧?Q

D.?P∧?Q

答案：B

8.下列哪个是命题逻辑中的等价式？

A.P∧Q

B.P∨Q

C.P?Q

D.P→Q

答案：C

9.逻辑表达式(P→Q)∧(Q→P)的等价形式是？

A.P?Q

B.P∨Q

C.P∧Q

D.?P∧?Q

答案：A

10.在命题逻辑中，下列哪个是自相矛盾的？

A.P∨?P

B.P∧?P

C.P→P

D.P?P

答案：B

二、多项选择题（每题2分，共10题）

1.下列哪些是命题逻辑中的基本联结词？

A.∧（与）

B.∨（或）

C.→（蕴涵）

D.?（等价）

E.?（非）

答案：A,B,C,D,E

2.下列哪些是命题逻辑中的重言式？

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

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

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

D.(P→Q)∧(Q→P)

E.P∨?P

答案：A,E

3.下列哪些是命题逻辑中的永假式？

A.P∨?P

B.P∧?P

C.P→P

D.P?P

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

答案：B

4.逻辑表达式(P∧Q)∨(P∧?Q)的等价形式包括？

A.P∧Q

B.P∨Q

C.P∧?Q

D.?P∧?Q

E.P?Q

答案：B

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

A.P∧Q

B.P∨Q

C.P?Q

D.P→Q

E.?P∧?Q

答案：C

6.逻辑表达式?(P∧Q)的等价形式包括？

A.?P∧?Q

B.?P∨?Q

C.P∧?Q

D.P∨Q

E.?P∧?Q

答案：B

7.下列哪些是命题逻辑中的蕴涵式？

A.P∨Q

B.P∧Q

C.P→Q

D.P?Q

E.?P∧?Q

答案：C

8.在命题逻辑中，下列哪些是自相矛盾的？

A.P∨?P

B.P∧?P

C.P→P

D.P?P

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

答案：B

9.逻辑表达式(P→Q)∧(Q→P)的等价形式包括？

A.P?Q

B.P∨Q

C.P∧Q

D.?P∧?Q

E.?P∨?Q

答案：A

10.下列哪些是命题逻辑中的基本联结词？

A.∧（与）

B.∨（或）

C.→（蕴涵）

D.?（等价）

E.?（非）

答案：A,B,C,D,E

三、判断题（每题2分，共10题）

1.命题逻辑中的重言式是指在任何解释下都为真的命题。

答案：正确

2.命题逻辑中的永假式是指在任何解释下都为假的命题。

答案：正确

3.逻辑表达式(P∧Q)∨(P∧?Q)可以简化为P。

答案：正确

4.逻辑表达式?(P∧Q)等价于?P∧?Q。

答案：错误

5.逻辑表达式(P→Q)∧(Q→P)等价于P?Q。

答案：正确

6.命题逻辑中的基本联结词包括∧、∨、→、?和?。

答案：正确

7.逻辑表达式(P∧Q)∨(P∧?Q)可以简化为P∨Q。

答案：错误

8.命题逻辑中的自相矛盾是指在任何解释下都为假的命题。

答案：正确

9.逻辑表达式?(P∧Q)等价于?P∨?