( )就是通过论证与原命题相关的其他几种可能情况为假，从而得出论题为真的间接论证。