高中数学命题的四种形式例题解析