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

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

消除歸納法包含兩個(gè)前提：

①兩個(gè)或多個(gè)普遍陳述的析??；

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

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

a是S，并且a是P

所以，每一S都是P