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