有一种传统的演绎策略值得特别关注，尽管严格来说，它只是 否定后件式 的变体。它就是 归谬法 （reductio ad absurdum）。 归谬法 论证（ 有时被称为“间接证明” ）的原理是，假定原命题不成立，然后从该假定中推导出 谬论 ：一个与原命题矛盾的，或者愚蠢的结果。这种论证意味着，除了接受原结论，你别无选择。

欲证：p。

假定原命题不成立：非p。

论证在这种假定情况下，结论只能是：q。

证明q是错误的（矛盾、荒谬、在道德或实践中不可接受……）。

结论：最终看来，p必定是正确的。

比如，我们来看看下面这个“性感”的短论：

无人曾在太空做爱。当然，不会有人承认。但是，假设——纯粹为了论证方便——有人 确实 曾在太空做爱。这就意味着，有人曾在太空做爱却没有对任何人说起过。而这实在是难以置信。没有人会把这件事憋在心里的！

改写成 归谬法 的格式：

欲证 ：无人曾在太空做爱。

假定原命题不成立 ：有人曾在太空做爱。

论证在这种假定情况下，结论只能是 ，有人曾在太空做爱，却没有对任何人说起过。

但是 ：那“实在是难以置信”。

结论 ：无人曾在太空做爱。

论证成立。但是，关键前提是否正确呢？你能保守住这个秘密吗？ TWMp4+YcvEtG/0h0VyXOtaphKhI0ThOMocBtS8ipkCSj5mXlsz5F1mgmrJQqZ8oI