找考题网-背景图
单项选择题

A.分配律B.自反律C.传递律D.增广律若A→B为F所逻辑蕴涵,且C(图片)U,则AC→BC为F所逻辑蕴涵,这……

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

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