1.2(2)定义与命题