消除歸納法是指由前提中幾個簡單命題構(gòu)成的相容析取命題出發(fā)，通過否定這個析取命題除了一支外的其他所有支，從而找出唯一未被否定的那一支的推理方法。該方法實質(zhì)上屬于相容選言推理的否定肯定式，結(jié)論相對于前提來說是必然得出的。

消除歸納法的基本原理是：首先提出兩個或兩個以上的假設(shè)，然后歸納性地反駁消除其中一個或多個假設(shè)，剩下的惟一未被反駁的假設(shè)則是欲求的，可能成立的。

消除歸納法包含兩個前提：

①兩個或多個普遍陳述的析??；

②單稱陳述(同枚舉歸納法)，它們歸納性地反駁(消除)前面析取陳述中除一支外的其他所有枝，而結(jié)論(演繹地)則是惟一未被反駁(消除)的那一支(排中律)。例如：

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

a是S，并且a是P

所以，每一S都是P