什么是归谬赋值法？

归谬赋值法又称为简化真值表法，主要用来判定一个蕴含式是否为重言式。

该法的做题程序为：

首先，假设蕴含式为假，在其主联结词下面写上0.

其次，根据上述假设，先对前件赋值为真，对后件赋值为假，分别在前件下面协商1，在后件下面写上0；然后，基于五个真值联结词的运算规则，逐层赋值，为真的在联结词下面写1，为假的写0.直到每个命题变项都被赋值为止。

最后，如果根据赋值导致逻辑矛盾，说明假设错误，则命题公示是重言式；如果假设成立，不导致矛盾，则不是重言式。

例如：（p ∧ q →r） → p → （ q→ r）

1 1 1 10 0 1 0 1 0 0

0

（ps：这里一提交后，就对不齐了，没办法说明一下。第一排第一个p下面是1，接下来是合取符号下面的1，接下来是q下面的1，然后是第一个箭头下的1，r下的是0，第二个箭头下的0，接下来额那个p的下面是1，第三个箭头是0，q下1.第四个箭头下0‘最后一个r下面0。第二排的0在第一个箭头下面，必须每一个都对齐）

由此可见当假设蕴含式为假时会导致矛盾，所以蕴含式不为假，则为重言式。