高中数学的命题有哪些