间接论证主要有：（）和选言证法。