形式逻辑学 全套课件.PPT

形式逻辑学 第一章 绪论 第一节 思维的内容和形式 第二节 逻辑学的内涵和演变 第三节 学习逻辑学的意义和方法 第一章 绪论 第一节 思维的内容和形式 一、思维的内容 二、思维的形式 三、思维内容和形式的关系 第一章 绪论 第一节 思维的内容和形式 一、思维的内容 思维的内容是事物的属性和关系 例如： “江西理工大学是公办全日制普通高校” “人往高处走，水往低处流” 其中：“公办”、“全日制”、“普通”、“高校”、 “高处”、“低处”等均是思维的内容 第一章 绪论 第四节 假言判断推理 三、必要条件假言判断推理 2、必要条件假言判断间接推理 （3）必要条件假言判断间接推理的规则 肯定后件就要肯定前件，肯定前件不能肯定后件 否定前件就要否定后件，否定后件不能否定前件 第六章 复合判断推理 · · 1 0 0 0 1 0 1 0 1 1 1 1 P←q q p 第四节 假言判断推理 三、必要条件假言判断推理 2、必要条件假言判断间接推理 （4）必要条件假言判断间接推理的有效式 肯定后件就要肯定前件，肯定前件不能肯定后件 否定前件就要否定后件，否定后件不能否定前件 肯定后件式： (p←q)∧q→p 否定前件式：(p←q)∧?p→?q 第六章 复合判断推理 · 第四节 假言判断推理 四、充要条件假言判断推理 1、充要条件假言判断直接推理 （1）充要条件假言判断直接推理的定义 充要条件假言判断直接推理是以一个充要条件假言判断为前提根据等值关系直接推出结论的推理 例如：“当且仅当人活着，那么人呼吸，所以，或者人 活着并且人呼吸或者人死去并且人不呼吸” 第六章 复合判断推理 · · 第四节 假言判断推理 四、充要条件假言判断推理 1、充要条件假言判断直接推理 （2）充要条件假言判断直接推理的有效式 （p←→q）→（p∧q）∨（?p∧?q） 或 （p←→q）→（p→q）∧（q→p） 例如： “当且仅当人活着，那么人呼吸” 推出“或者人活着并且人呼吸或者人死去并且人不呼吸” 推出“如果人活着那么人呼吸并且如果人呼吸那么人活着” 第六章 复合判断推理 · · 第四节 假言判断推理 四、充要条件假言判断推理 2、充要条件假言判断间接推理 （1）充要条件假言判断间接推理的定义 充要条件假言判断间接推理是由一个充要条件假言判断和一个性质判断结合根据充要条件假言判断的逻辑性质推出结论的推理 例如：“当且仅当三角形是等边的，那么它是等角的， 三角形是等边的，所以，三角形是等角的” 第六章 复合判断推理 · · 第四节 假言判断推理 四、充要条件假言判断推理 2、充要条件假言判断间接推理 （2）充要条件假言判断间接推理的结构 假言判断前提、性质判断前提、结论 例如： 当且仅当达到100度，才会水沸腾（假言判断前提） 水不是沸腾的（性质判断前提） 所以，温度不是100度（结论） 第六章 复合判断推理 · · 第四节 假言判断推理 四、充要条件假言判断推理 2、充要条件假言判断间接推理 （3）充要条件假言判断间接推理的规则 肯定前件就要肯定后件，肯定后件就要肯定前件 否定前件就要否定后件，否定后件就要否定前件 第六章 复合判断推理 · · 1 0 0 0 1 0 0 0 1 1 1 1 P←→q q p 第四节 假言判断推理 四、充要条件假言判断推理 2、充要条件假言判断间接推理 （4）充要条件假言判断间接推理的有效式 肯定后件就要肯定前件，肯定前件不能肯定后件 否定前件就要否定后件，否定后件不能否定前件 肯定前件式：（p←→q）∧p→q 肯定后件式：（P←→q）∧q→p 否定前件式：（P←→q）∧?p→?q 否定后件式：（P←→q）∧?q→?p 第六章 复合判断推理 · · 第四节 假言判断推理 单假言判断推理规则的记忆 肯定前件就要肯定后件，肯定后件不能肯定前件 否定后件就要否定前件，否定前件不能否定后件 肯定后件就要肯定前件，肯定前件不能肯定后件 否定前件就要否定后件，否定后件不能否定前件 肯定前件就要肯定后件，肯定后件就要肯定前件 否定前件就要否定后件，否定后件就要否定前件 充分条件假言判断推理和必要条件假言判断推理的区别： “冲锋肯定在前线，必要保障在后面” 第六章 复合判断推理 · · 充分 必要 充要 第四节 假言判断推理 五、多假言判断推理 1、