选言证法

间接论证的一种方法。它把被证明的论题看作是有关该问题全部可能成立的几种情况之一，并把这几种可能的情况联结成一个选言判断(命题)，然后找出根据，证明除了论题这一情况外，其他几种可能的情况都不成立，最后根据选言推理的规则，使用否定肯定式的推理形式，推出原论题的真实性。选言证法可用公式表示如下：

论题 p

论证 或p或q或r，

　　　非q，非r，

　　　所以，p。

例如，论证“人是自然界长期发展的产物”，构成这样一个选言判断“或者人是自然界长期发展的产物，或者是上帝创造的，或者是从来就有的”，根据科学证实，人不是上帝创造的，人也不是从来就有的，所以，人是自然界长期发展的产物。在使用选言证法时，要注意必须穷尽有关该问题的全部可能情况，否则，论题的真实性是难以保证的。