2026年二元思辨题目及答案.docVIP

2026年二元思辨题目及答案

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

1.在二元逻辑中，命题“P且Q”为真的是什么条件？

A.P为真，Q为假

B.P为假，Q为真

C.P和Q都为真

D.P和Q都为假

答案：C

2.下列哪个命题是永真的？

A.P或非P

B.P且非P

C.非P或非Q

D.P且Q

答案：A

3.在命题逻辑中，下列哪个符号表示“非”？

A.∧

B.∨

C.→

D.?

答案：D

4.逻辑等价式P→Q与下列哪个命题等价？

A.P且Q

B.P或Q

C.非P或Q

D.非P且非Q

答案：C

5.在谓词逻辑中，量词“?”表示什么？

A.存在

B.对于所有

C.或

D.如果

答案：B

6.下列哪个是正确的量化命题？

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

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

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

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

答案：B

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

A.合取引入

B.附加

C.拒绝

D.双重否定

答案：A

8.谓词逻辑中的自由变量是什么？

A.被量化的变量

B.未被量化的变量

C.常量

D.函数

答案：B

9.在逻辑中，下列哪个是正确的归谬法步骤？

A.假设P，推导出Q

B.假设非P，推导出Q

C.假设P，推导出非Q

D.假设非P，推导出非Q

答案：