反证法是一种间接论证。