研究推理的一门学科 数理逻辑：用数学方法研究推理的一门数学学科-------- 一套符号体系 + 一组规则

第一节线性三段论 第二节三段论推理 第三节命题检验

上海交通大学：《逻辑学导论》课程教学资源（PPT课件）第五、六章 复合命题及其推理（上、下）

上海交通大学：《逻辑学导论》课程教学资源（PPT课件）第三、四章 简单命题及其推理（上、下）

第一节联言命题及其推理 一、什么是联言命题 联言命题是断定两种或两种以上事物情况同时存在的命题,它反映的是同一对象或不 同对象的不同属性的共同性和相容性。例如:

一、什么是逻辑基本规律？ 逻辑基本规律就人们用概念、命题、推理等思维形式进行思维时必须遵守的最一般的准则。 逻辑基本规律有三条：同一律、矛盾律、排中律

福州大学：《离散数学》课程教学资源（课件讲稿）第三章 命题逻辑的推理理论

福州大学：《离散数学》课程教学资源（教案讲义）第三章 命题逻辑的推理理论

上海交通大学：《离散数学》课程教学资源（PPT课件）命题逻辑的推理

命题逻辑研究的是命题的推理演算． 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化