是否存在一种方法是假设要论证的条件成立，在该条件成立的情况下得出与题干相符的条件证明该命题是正确的