第五节 定义判断之代入定义法