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