3.2 推导规则