02 命题种类