普通逻辑的研究对象.pptVIP

第一章 引论 逻辑是一门研究思维的形式、规律和方法的科学。 任何一种思维逻辑形式都是由逻辑常项和逻辑变项两部分组成的。其中，逻辑常项决定逻辑形式的性质，是区分不同逻辑形式的依据。 普通逻辑的研究对象 第二章 逻辑基本规律 同一律、矛盾律、排中律的内容和要求 违反同一律、矛盾律、排中律的错误 矛盾律与排中律作用范围的异同 第三章 定 义 第一节 概念和概念间的关系 第二节 定义的类型和方法 第三节 定义的规则 第四节 划分 概念的分类 概念间外延关系的分类 概念的限制 概念的概括 定义的类型和方法 一、定义的三大类型 二、定义的构成 三、常用的定义方法 定义的规则 划 分 一、什么是划分 二、划分的构成 三、划分的方法 四、划分的规则 划分的规则 第四章 论 证 论证由论题、论据、论证方式三部分组成。 论证的方法 命题的分类 推理的分类（思维进程的方向） 推理的分类（前提的数量） 推理的分类（推出关系） 必然性推理的分类 或然性推理 复合命题的逻辑特性 肢命题的真假决定复合命题的真假 1.p∧q 一假即假，全真才真。 2.p∨q 一真即真，全假才假。 3.p?q 一真才真，其余为假。 4.p→q 前真后假为假，其余为真。 5.p←q 前假后真为假，其余为真。 6.p?q 前件、后件等值为真，其余为假。 7. ?p 肢真负假，肢假负真。 一、非否定命题的等值式 1、 p∧ q? ?(? p∨? q) 2 、p∨ q? ?(? p ∧ ? q) 3、 p? q? (p∧ ?q )∨ (?p∧ q ) p? q? (p∨ q)∧? (p∧ q ) 4、 (p→ q)? ?p∨ q 5、 (p← q)? p∨ ?q 6、(p? q)? (p∧ q)∨ (? p∧? q) (p? q)? (p→ q)∧ (p← q) 二、否定命题的等值式 1、 ?(? p)? p 2、 ?(p∧ q)? ? p∨? q 3 、 ?(p∨ q)? ? p ∧? q 4、?(p? q）? (p∧ q )∨ (?p∧ ?q ) 5、?(p→ q)? p ∧? q 6、 ? (p← q)? ?p ∧ q 7、 ?(p? q)? (p ∧?q)∨ (?p∧ q) 三、假言命题交换的等值式 (p← q)? ? p → ? q (p← q)? q→ p 其他常见的有效推理式 1、附加律 p→ p∨ q 3、假言易位推理 4、假言联锁推理 （1）肯定式： ( p?q ) ? ( q?r ) ? ( p?r ) （2）否定式： ( p?q ) ? ( q?r ) ? ( ?r??p ) 注意：假言联锁推理不是互推式。 5、反三段论推理 ( p? q ? r ) ? ( p? ?r ? ?q ) ( p? q ? r ) ? (q? ?r ? ?p ) 7、条件移出入推理 条件证明 p→(q→r)? p∧q→ r p┣ q→ r p （前提集合） q 假设前提 . . . r q→ r 若前提集合p加上假设前提q能推出r，则前提集合p必然能推出q→ r。 间接证明（归谬证明） p （前提集合） ?q 假设前提 . . . r∧ ?r q 若前提集合p加上假设前提?q能推出r∧ ?r，那么就必然证明假设前提?q为假，从而间接证明了推理的结论q。 传统逻辑上把A、E、I、O之间的真假关系称为“对当关系”。对当关系可用下面的图形表示。 命题变形推理 换质法：两变两不变 1.两变： 联项、谓项变； 2.两不变：量项、主项不变。 换位法：一变一不变 1.一变：主、谓项位置改变。 2.一不变：联项不变。 3.前提中不周延的项在结论中不得周延。 三段论 1.三段论规则 2.三段论的格式 3.三段论有效性的检验 4.省略三段论的检验 5.三段论证明 关系命题及其推理 关系