单项选择题
若A→B为F所逻辑蕴涵，且C
U，则AC→BC为F所逻辑蕴涵，这是函数依赖的( )推理规则。