有一种传统的演绎策略值得特别关注，尽管严格来说，它只是否定后件式 的变体。它就是归谬法 （reductio ad absurdum）。归谬法 论证（有时被称为“间接证明” ）的原理是，假定原命题不成立，然后从该假定中推导出谬论 ：一个与原命题矛盾的，或者愚蠢的结果。这种论证意味着，除了接受原结论，你别无选择。
欲证：p。
假定原命题不成立：非p。
论证在这种假定情况下，结论只能是：q。
证明q是错误的（矛盾、荒谬、在道德或实践中不可接受……）。
结论：最终看来，p必定是正确的。
比如，我们来看看下面这个“性感”的短论：
无人曾在太空做爱。当然，不会有人承认。但是，假设——纯粹为了论证方便——有人确实 曾在太空做爱。这就意味着，有人曾在太空做爱却没有对任何人说起过。而这实在是难以置信。没有人会把这件事憋在心里的！ [5]
改写成归谬法 的格式：
欲证 ：无人曾在太空做爱。
假定原命题不成立 ：有人曾在太空做爱。
论证在这种假定情况下，结论只能是 ，有人曾在太空做爱，却没有对任何人说起过。
但是 ：那“实在是难以置信”。
结论 ：无人曾在太空做爱。
论证成立。但是，关键前提是否正确呢？你能保守住这个秘密吗？