4.5 粗糙函数依赖的推理规则与附加的推理规则