选言证法是通过先论证与原论题相关的其他可能性的论断都不能成立，然后确定论题真的 一种间接论证方法。其依据的是( )
A.选言推理的否定肯定式
B.充分条件假言推理的肯定前件式
C.必要条件假言推理的否定前件式
D.联言推理的合成式