7.2定义与命题(2)