[单选题]

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

A.分配律

B.自反律

C.传递律

D.增广律

参考答案与解析:

相关试题

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