2026年大四哲学（逻辑学谓词逻辑）核心考点练习题.docxVIP

2026年大四哲学（逻辑学谓词逻辑）核心考点练习题

一、单选题（每题3分，共15分）

1.在谓词逻辑中，以下哪个选项不是命题函项的正确形式？

A.?x(P(x))

B.?x(Q(x))

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

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

答案：C

2.以下哪个谓词表示“所有哲学家都是逻辑学家”？

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

B.?x(L(x)→P(x))

C.?x(P(x)∧L(x))

D.?x(L(x)∨P(x))

答案：A

3.根据德摩根定律，以下哪个选项正确地表示了“不是所有的学生都是逻辑学的爱好者”？

A.?x(S(x)∧?L(x))

B.?x(S(x)→?L(x))

C.??x(S(x)→L(x))

D.??x(S(x)∧L(x))

答案：C

4.如果P和Q是两个命题，以下哪个逻辑表达式表示“P和Q中至少有一个为真”？

A.P∨Q

B.?P∨?Q

C.?(P∧Q)

D.?(P∨Q)

答案：A

5.在谓词逻辑中，以下哪个命题函项表示“有些学生不是逻辑学的爱好者”？

A.?x(S(x)→?L(x))