使用间接证明法进行演绎法推理的时候，是把结论的否定作为附加前提引入，然后推导出一个矛盾式。