逻辑与创新思维 教学课件.pptVIP

第一章 逻辑学——通向思维科学之桥梁 一 什么是逻辑学？ 逻辑学是研究思维的形式结构及其规律的科学。 思维的形式结构（或称逻辑形式），是指思维内容各部分的联结方式。具体地说，就是指具有不同内容的思维形式所共同具有的一般形式结构。 思维的形式结构由逻辑常项和逻辑变项构成。 逻辑学研究的核心问题—— 推理及其有效形式的判定 第三章 命题逻辑 几种基本类型的复合命题 联言命题 定义 联言命题是反映若干事物情况同时存在的命题。 选言命题 定义 选言命题是反映若干可能的事物情况至少有一种存在的命题。 假言命题 定义：假言命题是断定事物情况之间的条件关系的复合命题。 充分条件关系 事物情况之间的条件关系 必要条件关系 充分必要条件关系 假言命题 分类：根据事物的条件关系的不同，假言命题可以分为充分条件、必要条件和充要条件假言命题三种。 负命题 定义：负命题是否定一个命题所得到的命题。 如：“并非闪光的都是金子”就是负命题。 复合命题推理 联言推理 相容选言推理 选言推理 不相容选言推理 充分条件假言推理 假言推理 必要条件假言推理 充要条件假言推理 联言推理 选言推理 相容选言推理 相容选言推理 不相容选言推理 不相容选言推理 根据以上规则，不相容选言推理有两个有效式： 肯定否定式和否定肯定式： p q p q p ﹁ p ∴ ﹁ q ∴ q 假言推理 充分条件假言推理 充分条件假言推理 充分条件假言推理 必要条件假言推理 必要条件假言推理 必要条件假言推理 充分必要条件假言推理 充分必要条件假言推理 按照命题的量和质的不同，可把直言命题分为六类： 注意： 在传统逻辑中，单称命题常被当作全称命题对待，即把单称肯定命题和单称否定命题分别看作A命题和E命题。这样，直言命题就只有A、E、I、O四种了。 假言推理 充分条件假言推理 必要条件假言推理 充分必要条件假言推理 假言推理是前提中至少有一个是假言命题，并根据假言命题的逻辑性质进行的推理。假言推理有以下类型： 充分条件假言推理是前提中有一个充分条件假言命题，并且根据充分条件假言命题前后件之间的条件关系推出结论的假言推理。 充分条件假言推理有两条规则： （1）肯定前件就要肯定后件；否定后件就要否定前件。 （2）否定前件不能否定后件；肯定后件不能肯定前件。 根据以上规则，充分条件假言推理有两个有效式： 1、肯定前件式 p?q p ∴ q 2、否定后件式 p?q ? q ∴ ? p 违反充分条件假言推理的规则，就会出现两个无效式： 1、否定前件式 p?q ?p ∴ ? q 2、肯定后件式 p?q q ∴ p 必要条件假言推理是前提中有一个必要条件假言命题，并且根据必要条件假言命题前后件之间的条件关系推出结论的假言推理。 必要条件假言推理有两条规则： （1）否定前件就要否定后件；肯定后件就要肯定前件。 （2）肯定前件不能肯定后件；否定后件不能否定前件。 根据以上规则，必要条件假言推理有两个有效式： 1、否定前件式 p←q ? p ∴ ? q 2、肯定后件式 p←q q ∴ p 违反必要条件假言推理的规则，就会出现两个