情境引入
对于下列命题：（1） 所有的人都喝水；　（2）存在有理数x，使           ；　（3）对所有实数a，都有│a│≥0.思考　尝试对上述命题进行否定，你发现了什么规律？
探究1
从命题形式上看,这三个全称命题的否定都变成了存在性命题.
一般地,对于含有一个量词的全称命题的否定,有下面的结论:全称命题p:
全称命题的否定是存在性命题.