什么是穷举法

穷举法也称枚举法，是反证法论证的一种方式，属于选言式间接论证。

穷举法推理公式

穷举法的推理公式是：

求证论题：A

证明：1.或者4，或者B，B、C、D穷尽了一切可能)

2. B不能成立；

3.C不能成立；

4.D不能成立；

5.所以，只有4成立。或者G，或者D；