7.2 定义与命题(1)