"有的直线没有斜率"的否定是什么