特称命题的定义,求高中人教版数学中的定义