1.2定义与命题(2) -