选言证法

间接论证的一种。把论题作为已知或已证其真实性的选言判断的一个选言肢，通过证明其余选言肢的虚假、来证明论题的真实性。形式是
论题：P
P或q₁或q₂或…或q_r
非q₁
…
非q_r
所以，P

选言证法

间接论证的一种方法。它把被证明的论题看作是有关该问题全部可能成立的几种情况之一，并把这几种可能的情况联结成一个选言判断（命题），然后找出根据，证明除了论题这一情况外，其他几种可能的情况都不成立，最后根据选言推理的规则，使用否定肯定式的推理形式，推出原论题的真实性。选言证法可用公式表示如下：
论题 p
论证 或p或q或r,
　非q，非r,
　所以，p。
例如，论证“人是自然界长期发展的产物”，构成这样一个选言判断“或者人是自然界长期发展的产物，或者是上帝创造的，或者是从来就有的”，根据科学证实，人不是上帝创造的，人也不是从来就有的，所以，人是自然界长期发展的产物。在使用选言证法时，要注意必须穷尽有关该问题的全部可能情况，否则，论题的真实性是难以保证的。