排除法

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第87页（938字）

运用选言推理的否定肯定式进行证明的方法，亦称选言证法，是间接论证的一种。

其步骤是：(1)先找出同论题有关的互相排斥的全部可能情况，使论题成为其中的一种可能；(2)用一系列真实论据，证明除论题之外的其它可能情况都假，即排除论题之外的其它几种可能；(3)通过选言推理的否定肯定式，确定论题的真实性。其逻辑形式是

论题：A

证明：或者A，或者B，或者C(A，B，C穷尽了一切可能情况)

B假

C假

所以，A真。

例如，毛泽东在《中国革命战争的战略问题》一文中，在论证“中国革命战争只能由中国无产阶级及其政党来领导”时，就用了排除法。他说：

中国革命战争的主要敌人，是帝国主义和封建势力。

中国资产阶级虽然在某种历史时机可以参加革命战争，然而由于它的自私自利性和政治上经济上的缺乏独立性，不愿意也不能领导中国革命战争走上彻底胜利的道路。中国农民群众和小资产阶级群众，是愿意积极地参加革命战争，并愿意使战争得到彻底胜利的。

他们是革命战争的主力军；然而他们的小生产的特点，使他们的政治眼光受到限制(一部分失业群众则具有无政府思想)，所以他们不能成为战争的正确的领导者。因此，在无产阶级已经走上政治舞台的时代，中国革命战争的领导责任，就不得不落到中国共产党的肩上。

(《毛泽东选集》，第1卷，第167页)

在这段议论中，毛泽东没有直接论证他的论题，而是先提出了与中国革命战争由谁来领导这个问题有关的几种可能情况：即或者由资产阶级来领导，或者由农民阶级和小资产阶级来领导，或者由无产阶级及其政党中国共产党来领导，然后他一一论证前两种可能均不能成立，最后得出结论：“中国革命战争只能由中国无产阶级及其政党中国共产党来领导”(论题)。

这里所使用的就是排除法。