7.2定义与命题