厦门大学《形式逻辑》2025-2026学年期末试卷.docxVIP

厦门大学《形式逻辑》2025-2026学年期末试卷

一、单项选择题（本大题共10小题，每小题2分，共20分）

1.命题逻辑中，逻辑常项是指（）。

A.变项B.命题联结词C.命题变项D.简单命题

2.“所有S是P”与“所有P是S”在逻辑上等值吗？

A.等值B.不等值C.部分等值D.无法判断

3.“如果p那么q”的逻辑形式是（）。

A.p∧qB.p∨qC.p→qD.p?q

4.“这个S不是P”与“所有S是P”之间具有什么关系？

A.矛盾关系B.反对关系C.下反对关系D.从属关系

5.负命题“非p”的逻辑形式是（）。

A.p∧?pB.p∨?pC.?pD.p??p

6.“这个S是P”与“所有S不是P”之间具有什么关系？

A.矛盾关系B.反对关系C.下反对关系D.从属关系

7.假言推理的有效式“肯定前件式”的形式是（）。

A.(p→q),p∴qB.(p→q),?q∴?pC.(p→q),q∴pD.(p→q),?p∴?q

8.“这个S是P”与“这个S不是P”之间具有什么关系？

A.矛盾关系B.反对关系C.下反对关系D.从属关系

9.联言推理的有效式“肯定后件式”的形式是（）。

A.(p∧q),p∴qB.(p∧q),q∴pC.