假设命题的结论不成立