窮舉法
用手机看条目
出自 MBA智库百科(https://wiki.mbalib.com/)
目錄 |
[編輯]
窮舉法也稱枚舉法，是反證法論證的一種方式，屬於選言式間接論證。窮舉法的基本思想是根據題目的部分條件確定答案的大致範圍，併在此範圍內對所有可能的情況逐一驗證，直到全部情況驗證完畢。若某個情況驗證符合題目的全部條件，則為本問題的一個解；若全部情況驗證後都不符合題目的全部條件，則本題無解。窮舉法也稱為枚舉法。
[編輯]
窮舉法的推理公式是：
求證論題：A
證明：1.或者4，或者B，B、C、D窮盡了一切可能)
2. B不能成立；
3.C不能成立；
4.D不能成立；
5.所以，只有4成立。或者G，或者D；
？