归谬赋值法

---

亦称简化真值表法，一种用于判定命题逻辑中一蕴涵式是否为一重言式的方法。

一蕴涵式为一重言式，当且仅当不存在一组真值指派，使其前件真，后件假。运用归谬赋值法时，先假定所要判定的蕴涵式前件真，后件假，并根据这一假定给每一命题变元赋值，如果在这样的赋值过程中出现矛盾赋值，即为满足前件真后件假必须给同一命题变元既赋以真又赋以假，这说明原假定不成立，因而该蕴涵式是重言式；反之，如果不出现矛盾赋值该蕴涵式就不是重言式。