江西应用科技学院《逻辑学》2025-2026学年期末试卷.docx

江西应用科技学院《逻辑学》2025-2026学年期末试卷

一、单项选择题（本大题共10小题，每小题2分，共20分）
1. 命题逻辑中的“合取”联结词表示的是（）。
A. 非B. 或C. 且D. 若
2. 在三段论中，如果大前提为“所有S是P”，小前提为“所有M是S”，则结论为（）。
A. 所有M是P B. 所有S是M C. 有些M是P D. 有些S是P
3. 下列哪个推理形式是有效的？
A. 如果P，则Q；非Q；所以非P
B. 如果P，则Q；P；所以Q
C. 如果P，则Q；非P；所以非Q
D. 如果P，则Q；Q；所以P
4. 模态逻辑中的“必然”符号表示的是（）。
A. 可能 B. 不可能 C. 确定D. 偶然
5. 在自然推理中，以下哪个步骤属于归谬法？
A. 假设P，推导出矛盾
B. 假设P，推导出Q
C. 假设非P，推导出Q
D. 假设Q，推导出非P
6. 下列哪个是正确的逻辑等价式？
A. P且Q ≡ 非P或非Q
B. P或Q ≡ 非P且非Q
C. P或Q ≡ 非P或Q
D. P且Q ≡ 非P且Q
7. 在命题逻辑中，以下哪个公式是重言式？
A. P且非P
B. P或非P
C. P非P
D. 非P且非P
8. 下列哪个是正确的三段论形式？
A. 所有S是P，所有P是M，所以所有S是M
B. 所有S是P，有些P是M，所以有些S是M
C. 所有S是P，所有M是P，所以所有S是M
D. 所有S是P，有些S是M，所以有些P是M
9. 在谓词逻辑中，量词“∀”表示的是（）。
A. 存在 B. 任意 C. 特定 D. 确定无疑
10. 下列哪个是正确的命题逻辑推理形式？
A. 如果P，则Q；非Q；所以非P
B. 如果P，则Q；P；所以Q
C. 如果P，则Q；非P；所以非Q
D. 如果P，则Q；Q；所以P
二、多项选择题（本大题共5小题，每小题3分，共15分）
1. 下列哪些是命题逻辑的基本联结词？
A. 非 B. 或 C. 且 D. 若 E. 当且仅当
2. 在三段论中，以下哪些是正确的格？
A. 第一格 B. 第二格 C. 第三格 D. 第四格 E. 第五格
3. 下列哪些是谓词逻辑中的量词？
A. ∀ B. ∃ C. ∵ D. ∴ E. ∵
4. 下列哪些是正确的逻辑等价式？
A. P且Q ≡ 非P或非Q
B. P或Q ≡ 非P且非Q
C. P或Q ≡ 非P或Q
D. P且Q ≡ 非P且Q
E. P非P ≡ 假
5. 下列哪些是正确的命题逻辑推理形式？
A. 如果P，则Q；P；所以Q
B. 如果P，则Q；非Q；所以非P
C. 如果P，则Q；非P；所以非Q
D. 如果P，则Q；Q；所以P
E. 如果P，则Q；Q；所以非P
三、判断题（本大题共10小题，每小题2分，共20分）
1. 命题逻辑中的“非”联结词表示的是命题的否定。（）
2. 在三段论中，如果大前提为“所有S是P”，小前提为“所有M是S”，则结论为“所有M是P”。（）
3. 下列哪个推理形式是有效的？如果P，则Q；非Q；所以非P。（）
4. 模态逻辑中的“必然”符号表示的是命题的确定性。（）
5. 在自然推理中，以下哪个步骤属于归谬法？假设P，推导出矛盾。（）
6. 下列哪个是正确的逻辑等价式？P且Q ≡ 非P或非Q。（）
7. 在命题逻辑中，以下哪个公式是重言式？P或非P。（）
8. 下列哪个是正确的三段论形式？所有S是P，所有P是M，所以所有S是M。（）
9. 在谓词逻辑中，量词“∀”表示的是存在。（）
10. 下列哪个是正确的命题逻辑推理形式？如果P，则Q；P；所以Q。（）
四、材料分析题（本大题共2小题，每小题10分，共20分）
材料一：某公司规定，员工如果工作满5年，则可以享受年终奖金；如果员工工作满3年，则可以参加公司组织的旅游活动；小张工作满5年，但没有参加公司组织的旅游活动。
根据以上材料，回答以下问题：
1. 小张是否可以享受年终奖金？请说明理由。
2. 小张是否参加了公司组织的旅游活动？请说明理由。
材料二：某学校规定，学生如果考试成绩优秀，则可以参加奖学金评选；如果学生平时表现良好，则可以参加优秀学生评选；小明考试成绩优秀，但平时表现一般。
根据以上材料，回答以下问题：
1. 小明是否可以参加奖学金评选？请说明理由。
2. 小明是否可以参加优秀学生评选？请说明理由。
五、论述题（本大题共2小题，每小题15分，共30分）
1. 请详细说明命题逻辑中的“合取”联结词的含义及其推理规则。
2. 请详细说明谓词逻辑中的量词“∀”和“∃”的含义及其在逻辑推理中的应用。