间接论证的基本推理形式有哪些种类和特点