否定后件式推理是一种逻辑推理规则，具体来说，它是一种演绎推理方法，用于从条件语句中推导出结论。在逻辑学中，一个条件语句通常表示为“如果P，则Q”，其中P是前件，Q是后件。

在否定后件式推理中，如果我们知道“非Q”（即Q的否定）是真的，那么我们可以推断出“非P”（即P的否定）也是真的。这种推理形式可以表示为：

大前提：如果P，则Q

小前提：非Q

结论：非P

这种推理形式是有效的，意味着如果前提都是真的，那么结论必然也是真的。

需要注意的是，否定后件式推理与肯定前件式推理是逻辑上不同的。肯定前件式推理是指，如果我们知道“如果P，则Q”是真的，并且知道P是真的，那么我们可以推断出Q也是真的。

希望这能帮助你理解否定后件式推理的概念