间接证明法包括以下几种：
反证法：
通过确定与论题相矛盾的命题的虚假从而间接确定论题的真实性。
选言证法 （也叫选言排他法）：通过确定除论题所指的可能情况外，选言命题所包含的其余可能情况都是假的，从而确立论题的真实性。
求同法：
通过比较不同情况下论题的结果，找出共同点，从而证明论题的真实性。
求异法：
通过比较不同情况下论题的结果，找出差异点，从而证明论题的真实性。
归谬法：
通过假设论题的否定结论成立，然后推导出矛盾，从而证明论题的真实性。
建议在实际应用中，可以根据具体问题的性质和已知条件选择合适的间接证明方法。
