归谬赋值法

归谬赋值法是一种运用反证推理来检验复合命题推理形式是否有效的方法。前面所学的真值表方法也可以检验蕴涵式是否有效，但是，如果某一复合命题推理形式变项较多，公式较长，那么，真值表的行和列就要相应增加，真值表的判定就显得繁琐复杂。

归谬赋值法是一种运用反证推理来检验复合命题推理形式是否有效的方法。前面所学的真值表方法也可以检验蕴涵式是否有效，但是，如果某一复合命题推理形式变项较多，公式较长，那么，真值表的行和列就要相应增加，真值表的判定就显得繁琐复杂。归谬赋值法的出现弥补了真值表方法的不足。但是，从复合命题推理的公式可以看出，复合命题推理形式都是蕴涵式，而归谬赋值法仅是检验蕴涵式是否有效的方法，它没有真值表法应用那么广泛。 [1]

归谬赋值法的原理是：要说明一个蕴涵式为重言式，则须证明该蕴涵式为假是不可能的，即该蕴涵式不会出现前件真后件假的情况。根据反证推理形式，如果我们假设该蕴涵式为假，通过推导，发现变项取值有逻辑矛盾，那么我们可以断定该蕴涵式为假是不可能的，也就是说该蕴涵式为真；反之，如果变项取值没有逻辑矛盾，则说明原假设该蕴涵式为假成立，即该蕴涵式不是有效式。 [1]