先假设命题不成立,从假设出发,经过推理得出与_______矛盾,或者与______,________和_____