2025年逻 辑 学 - 吉林大学 哲学社会学院.pdfVIP

子曰:“知者不惑，仁者不忧，勇者不惧。”——《论语》

逻辑学

主讲教师：田忠锋

一、课程主要目的：

通过对各种推理形式及其相应规则的讲授，使学生能够掌握并熟

练应用各种推理形式，提高学生的推理能力和逻辑思维能力。

二、课程教学进程表：（长学期16周，短学期5周）

课程名称：逻辑学专业：哲学社会学社工心理年级：20122010

讲授教师：田忠锋总学时数：48

周课堂讲授实践、实验课作业、测验其它

次题目名称和教学内容学题目名称和学题目名称学题目名称学

时内容时和内容时和内容时

1第一章绪论3

第二章命题逻辑

第一节基本复合命题

2第二节复合命题推理3

3第三节真值联结词1

第四节基本命题逻辑公式2

4第五节真值形式真值断定2

第六节真值函项1

为天地立心，为生民立命，为往圣继绝学，为万世开太平。——张载

5第三章真值表范式形式

证明

第一节永真公式1

第二节真值表方法2

周课堂讲授实践、实验课作业、测验其它

次题目名称和教学内容学题目名称和学题目名称学题目名称学

时内容时和内容时和内容时

6第三节简化的真值表方法3

7第四节范式3

8第五节简化范式3

9第六节命题逻辑的形式证3

明

10第七节形式证明的推理规3

则

去留无意，闲看庭前花开花落；宠辱不惊，漫随天外云卷云舒。——《幽窗小记》

11第四章概念3

12第五章传统谓词逻辑

第一节直言命题1

第二节直言命题对当关系2

13第三节直言命题直接推理3

14第四节三段论3

15第四节三段论3

16第六章模态逻辑3

三、授课基本方式：讲授

四、考试方式：（满分100分）

期末考试所占比例100%；平时成绩所占比例0%；论文所占比例

0%

五、课程主要参考书目：