复合判断及其演绎推理(二).docVIP

PAGE PAGE 29 第六章 复合判断及其演绎推理(二) 韦克难、赵志仁 学习目标： 1重点掌握假言三段论推理各种形式及其推理规则，掌握假言间接推理的各种形式； 2明确什么是负判断，掌握负判断及其等值推理； 3理解真值表的涵义，掌握运用真值表计算、显示复合判断真假关系，掌握真值表判定 复合判断推理是否有效的方法； 4提高综合运用假言推理解题的能力。 第一节 假言三段论推理 假言三段论推理，是一个前提为假言判断，另一个前提是性质判断，并且根据假言联结项 的逻辑性质推出结论的演绎推理。 假言三段论推理根据前提中假言判断种类的不同，分为充分条件假言三段论推理、必要条 件假言三段论推理和充分必要条件假言三段论推理三种。 一、充分条件假言三段论推理 充分条件假言三段论推理是一个前提为充分条件假言判断，另一个前提为性质判断，并且 根据充分条件假言判断联结项的性质推出结论的假言三段论推理。 根据充分条件假言判断有前件必然有后件，没有后件必然没有前件的逻辑性质，进行充分 条件假言三段论推理必须遵守两条规则： (1)肯定前件就要肯定后件；否定后件就要否定前件。 (2)否定前件不能否定后件；肯定后件不能肯定前件。 据此，充分条件假言直言推理有两种有效推理形式： 1肯定前件式：即在前提中肯定充分条件假言判断的前件，而结论肯定它的后件 其逻辑形式