单项选择题

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

A.分配律
B.自反律
C.传递律
D.增广律