间接论证分为反证法和()。