问题
单项选择题
若A→B为F所逻辑蕴涵，且C
U，则AC→BC为F所逻辑蕴涵，这是函数依赖的( )推理规则。
A．分配律
B．自反律
C．传递律
D．增广律
答案
参考答案：D
解析： Armstrong公理系统包括3条基本的推理规则： ①自反律。若Y
X
U，则X→Y为F所逻辑蕴含。 ②增广律。若X→Y为F所逻辑蕴含，且Z
U，则XZ→YZ为F所逻辑蕴含。 ③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。 由以上的说明可以看出，题干所给的推理规则符合增广律的格式。