《形式逻辑》多媒体课件 第六章 演绎推理（二）.pptVIP

《形式逻辑》课件 第六章 演绎推理（二） 第六章 演绎推理︵二︶ ——复合判断推理 教学目的要求：要求学生掌握复合推理的内容及其形式，学会在实际中运用复合判断推理。 教学重点难点：各复合判断推理的有效式；二难推理的形式及应用与驳斥。 第一节 假言推理 假言推理是前提中有一个假言判断，并且根据假言判断的逻辑性质而进行的推理。 在假言推理中，根据前提中假言判前后件之间的条件关系的不同，可分为充分条件假言推理、必要条件假言推理和充分必要条件假言推理。 一、充分条件假言推理 1、充分条件假言推理 充分条件假言推理就是前提中有一个是充分条件假言判断，并根据充分条件假言判断的逻辑性质进行的推理。 一个为真的充分条件假言判断，其前后件之间的真假关系有以下四种情形： ⑴前件真时，后件必真；⑵后件假时，前件必假；⑶前件假时，后件可真可假；⑷后件真时，前件可真可假。 2、充分条件假言推理的四条规则： 第一，肯定前件就要肯定后件； 第二，否定后件就要否定前件； 第三，否定前件不能否定后件； 第四，肯定后件不能肯定前件。 3、相应于规则1和规则2，充分条件假言推理有两种有效式： ⑴肯定前件式 前提中肯定充分条件假言前提的前件，结论则肯定该充分条件假言前提的后件。 其形式为： 如果p，那么q， p； 所以，q 也可以用符号表示为： [p→q，p]→q 如： 如果张三的行为构成过失杀人罪，那么他将被判处五年以下有期徒刑， 张三的行为构成了过失杀人罪； 所以，张三将被判处五年以下有期徒刑。 ⑵否定后件式 前提中否定充分条件假言前提的后件，结论则否定该充分条什假言前提的前件。其形式为： 如果p，那么q， 非q； 所以，非p。 也可以用符号表示为： [p→q，﹁q]→﹁p 如：如果那棵菩提树没有获得适当的水份，那么它就会枯死， 那棵菩提树并未枯死； 所以，那棵菩提树获得了适当的水份。 4、充分条件假言推理的肯定前件式和否定后件式都是有效推理形式。 根据规则3和规则4，在充分条件假言推理中，否定前件式和肯定后件式都是非有效式。 如：如果天下雨，那么马路湿， 天没下雨； 所以，马路不湿。 如果∠A和∠B是对顶角，那么∠A和∠B相等， ∠A和∠B相等； 所以∠A和∠B是对顶角。 二、必要条件假言推理 1、必要条件假言推理 必要条件假言推理，就是前提中有一个是必要条件假言判断，并且根据必要条件假言判断的逻辑性质进行的推理。 一个为真的必要条件假言判断，其前后件之间的真假关系有以下四种情形： ⑴前件假时，后件必假；⑵后件真时，前件必真；⑶前件真时，后件可真可假；⑷后件假时，前件可真可假。 2、必要条件假言推理的四条规则： 第一，否定前件就要否定后件； 第二，肯定后件就要肯定前件； 第三，肯定前件不能肯定后件； 第四，否定后件不能否定前件。 相应于规则1和规则2，必要条件假言推理有下面两种有效式： ⑴否定前件式 前提中否定了必要条件假言前提的前件，结论则否定该必要条件假言前提的后件。 只有P，才q， 非p； 所以，非q 也可以用符号表示为： [p←q，﹁p]→﹁q 如：只有高考成绩上线，才会被高校录取， 小王的高考成绩未上线； 所以，小王不会被高校录取。 ⑵肯定后件式 前提中肯定了必要条件假言前提的后件，结论则肯定该必要条件假言前提的前件。 其形式为： 只有p，才q， q； 所以，p 也可以用符号表示为： [p←q，q]→p 如： 这个死者只有是进食后不久死亡的，其胃内才会有大量未消化的食物， 这个死者胃内有大量未消化的食物， 所以，这个死者是进食后不久死亡的。 必要条件假言推理的否定前件式和肯定后件式都是有效推理形式。 根据规则3和规则4，在必要条件假言推理中，肯定前件式和否定后件式都是非有效式。 如：只有具有杀人的故意，张三才犯故意杀人罪， 张三具有杀人的故意； 所以，张三犯了故意杀人罪。 只有年满十八岁，才有选举权， 李四没有选举权； 所以李四没满十八岁。 三、充分必要条件假言推理 1、充分必要条件假言推理 充分必要条件假言推理就是前提中有一个是充分必要条件假言判断，并且根据充分必要条件假言判断的逻辑性质进行的推理。 一个为真的充分必要条件假言判断，其前后件之间的真假关系有以下四种情形： ⑴前件真时，后件必真；⑵前件假时，后件必假；⑶后件真时，前件必真；⑷后件假时，前件必假。 2、充分必要条件假言推理的四条规则： 第一，肯定前件就要肯定后件； 第二，否定前件就要否定后件； 第三，肯定后件就要肯定前件； 第四，否定后件就要否定前件。 3、充分必要条件假言推理的四种有效式： ⑴肯定前件式： p当且仅当q， p； 所以，q 也可以用符号表示为： [p←→q，p]→q 如： △ABC是等角的，当且仅当它是等边的。 △ABC是等角的； 所