为证明某一命题成立,先提出与此命题相反的假设,再从这个假设中得出和已知条件相矛盾的结果,以否定此假设而肯定原来的命题。
归谬法(Reductio ad absurdum)是一种论证方式,首先假设某命题成立,然后推理出矛盾、不符已知事实、或荒谬难以接受的结果,从而下结论说某命题不成立。
归谬法与反证法相似,差别在于反证法只限于推理出逻辑上矛盾的结果。
逻辑|拉丁语逻辑短语