2025年逻辑学专业题库——形式逻辑与语言学的交叉研究

考试时间：______分钟总分：______分姓名：______

一、单项选择题（本大题共20小题，每小题1分，共20分。在每小题列出的四个选项中，只有一个是符合题目要求的，请将正确选项字母填在题后的括号内。错选、多选或未选均无分。）

1.在形式逻辑中，“所有S是P”与“所有P是S”的关系是（）

A.等值关系

B.矛盾关系

C.反对关系

D.下反对关系

2.谓词逻辑中的“?x(P(x)→Q(x))”表示的意思是（）

A.所有的x都是P，且所有的x都是Q

B.对于任意