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