消除歸納法
用手机看条目
出自 MBA智库百科(https://wiki.mbalib.com/)
目錄 |
[編輯]
什麼是消除歸納法[1]
消除歸納法是指由前提中幾個簡單命題構成的相容析取命題出發，通過否定這個析取命題除了一支外的其他所有支，從而找出唯一未被否定的那一支的推理方法。該方法實質上屬於相容選言推理的否定肯定式，結論相對於前提來說是必然得出的。
[編輯]
消除歸納法的基本原理[2]
消除歸納法的基本原理是：首先提出兩個或兩個以上的假設，然後歸納性地反駁消除其中一個或多個假設，剩下的惟一未被反駁的假設則是欲求的，可能成立的。
[編輯]
消除歸納法的前提[3]
消除歸納法包含兩個前提：
①兩個或多個普遍陳述的析取；
②單稱陳述(同枚舉歸納法)，它們歸納性地反駁(消除)前面析取陳述中除一支外的其他所有枝，而結論(演繹地)則是惟一未被反駁(消除)的那一支(排中律)。例如：
每一S都是P，或者無一S是P
a是S，並且a是P
所以，每一S都是P
[編輯]
[編輯]
