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

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

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

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

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

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

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

本章讨论以复合命题为前提的必然性推理。所谓复合命题即包含其他命题的命题，构成复合命题的命题称为该复合命题的肢命题

1. 词项 2. 直言命题 3. 直言推理 4. 三段论

上海交通大学：《离散数学》课程教学资源（讲义）第二章 命题逻辑的等值与推理