1定义与命题