高中数学命题的否定条件结论都否定么