选言证法是通过先论证与原论题相关的其他（）都不能成立，然后确定论题真的一种间接论证方法。