消除归纳法是指由前提中几个简单命题构成的相容析取命题出发，通过否定这个析取命题除了一支外的其他所有支，从而找出唯一未被否定的那一支的推理方法。该方法实质上属于相容选言推理的否定肯定式，结论相对于前提来说是必然得出的。

消除归纳法的基本原理是：首先提出两个或两个以上的假设，然后归纳性地反驳消除其中一个或多个假设，剩下的惟一未被反驳的假设则是欲求的，可能成立的。

消除归纳法包含两个前提：

①两个或多个普遍陈述的析取；

②单称陈述(同枚举归纳法)，它们归纳性地反驳(消除)前面析取陈述中除一支外的其他所有枝，而结论(演绎地)则是惟一未被反驳(消除)的那一支(排中律)。例如：

每一S都是P，或者无一S是P

a是S，并且a是P

所以，每一S都是P