12_1定义与命题 (2)