快速通关全集2026年逻辑学导论试题库及答案.docxVIP

快速通关全集2026年逻辑学导论试题库及答案

一、选择题（每小题2分，共10小题，计20分）

1.在命题逻辑中，若一个公式在所有解释下都为真，则该公式称为（）。

A.重言式

B.矛盾式

C.可满足式

D.等值式

答案：A

2.下列哪个命题形式是永真的？（）

A.(P∧?P)→Q

B.P→(Q∨?Q)

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

D.(P∧Q)→P

答案：B

3.自然演绎系统中，分离规则（ModusPonens）的形式是（）。

A.P→Q,P/Q

B.P∧Q/P

C.P→Q,Q/P

D.P∧Q/Q

答案：A

4.谓词逻辑中，全称量词的否定等价于（）。

A.存在量词

B.存在量词的否定

C.全称量词的否定

D.存在量词的否定

答案：B

5.下列哪个论证是有效的？（）

A.如果天在下雨，那么地是湿的。天在下雨。所以地是湿的。

B.如果天在下雨，那么地是湿的。地是湿的。所以天在下雨。

C.如果天在下雨，那么地是湿的