归谬法

间接反驳的一种方法。运用这种方法，为了反驳一个判断命题p，先假定P是真实的，然后以p为前提作一系列的推论，最后推出一个显然荒谬的判断r，由r判断的虚假性必然推出p判断的虚假性。归谬法可用公式表示如下：

反驳p，

假设p真，

由p推出q，

由q推出r，

r显然荒谬，

所以，q假，

所以，p假。

例如，反驳“语言是生产工具”这一判断，假设语言是生产工具，那么语言就能生产物质资料;如果语言能够生产物质资料，那么夸夸其谈的人就会成为世界上最富有的人了。最后推论出来的这个结论显然荒谬，所以，“语言是生产工具”这个判断是假的。

通过假定被反驳的论题为真，然后由此引申出一个明显荒谬的判断，根据充分条件假设推理的否定后件式，得出否定前件的结论，从而确定被反驳的论题虚假性的方法。归谬法的结构式如下：

被反驳论题：A，

设：A真，

证明：如果A，则B，

非B(B假)

所以非A(A假)(根据充分条件假言推理否定后件式归谬法也被运用到间接证明的反证法中。其结构式如下：

论题：A，

反论题：非A，

设：非A真，

证明：如果非A，则B，

非B(B假)

并非非A(非A假)(根据充分条件假言推理否定后件式)，

所以，A真(根据排中律)