命题的分类